2023-07-29 22:16:59 +00:00
|
|
|
local comms = require("scada-common.comms")
|
|
|
|
local log = require("scada-common.log")
|
|
|
|
local util = require("scada-common.util")
|
2023-04-18 17:47:06 +00:00
|
|
|
|
2023-07-29 22:16:59 +00:00
|
|
|
local iocontrol = require("pocket.iocontrol")
|
2023-04-12 16:40:13 +00:00
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
local PROTOCOL = comms.PROTOCOL
|
|
|
|
local DEVICE_TYPE = comms.DEVICE_TYPE
|
|
|
|
local ESTABLISH_ACK = comms.ESTABLISH_ACK
|
2023-08-30 20:45:48 +00:00
|
|
|
local MGMT_TYPE = comms.MGMT_TYPE
|
2024-04-13 00:41:47 +00:00
|
|
|
local CRDN_TYPE = comms.CRDN_TYPE
|
2023-04-12 16:40:13 +00:00
|
|
|
|
2023-07-29 22:16:59 +00:00
|
|
|
local LINK_STATE = iocontrol.LINK_STATE
|
2023-04-18 17:47:06 +00:00
|
|
|
|
2023-04-12 16:40:13 +00:00
|
|
|
local pocket = {}
|
|
|
|
|
2024-06-14 01:43:56 +00:00
|
|
|
local MQ__RENDER_CMD = {
|
|
|
|
UNLOAD_SV_APPS = 1,
|
|
|
|
UNLOAD_API_APPS = 2
|
|
|
|
}
|
|
|
|
|
|
|
|
local MQ__RENDER_DATA = {
|
|
|
|
LOAD_APP = 1
|
|
|
|
}
|
|
|
|
|
|
|
|
pocket.MQ__RENDER_CMD = MQ__RENDER_CMD
|
|
|
|
pocket.MQ__RENDER_DATA = MQ__RENDER_DATA
|
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
---@type pkt_config
|
|
|
|
local config = {}
|
|
|
|
|
|
|
|
pocket.config = config
|
|
|
|
|
|
|
|
-- load the pocket configuration
|
|
|
|
function pocket.load_config()
|
|
|
|
if not settings.load("/pocket.settings") then return false end
|
|
|
|
|
2024-05-27 23:31:24 +00:00
|
|
|
config.TempScale = settings.get("TempScale")
|
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
config.SVR_Channel = settings.get("SVR_Channel")
|
|
|
|
config.CRD_Channel = settings.get("CRD_Channel")
|
|
|
|
config.PKT_Channel = settings.get("PKT_Channel")
|
|
|
|
config.ConnTimeout = settings.get("ConnTimeout")
|
|
|
|
config.TrustedRange = settings.get("TrustedRange")
|
|
|
|
config.AuthKey = settings.get("AuthKey")
|
|
|
|
|
|
|
|
config.LogMode = settings.get("LogMode")
|
|
|
|
config.LogPath = settings.get("LogPath")
|
|
|
|
config.LogDebug = settings.get("LogDebug")
|
|
|
|
|
|
|
|
local cfv = util.new_validator()
|
|
|
|
|
2024-05-27 23:31:24 +00:00
|
|
|
cfv.assert_type_int(config.TempScale)
|
|
|
|
cfv.assert_range(config.TempScale, 1, 4)
|
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
cfv.assert_channel(config.SVR_Channel)
|
|
|
|
cfv.assert_channel(config.CRD_Channel)
|
|
|
|
cfv.assert_channel(config.PKT_Channel)
|
|
|
|
cfv.assert_type_num(config.ConnTimeout)
|
|
|
|
cfv.assert_min(config.ConnTimeout, 2)
|
|
|
|
cfv.assert_type_num(config.TrustedRange)
|
|
|
|
cfv.assert_min(config.TrustedRange, 0)
|
|
|
|
cfv.assert_type_str(config.AuthKey)
|
|
|
|
|
|
|
|
if type(config.AuthKey) == "string" then
|
|
|
|
local len = string.len(config.AuthKey)
|
|
|
|
cfv.assert(len == 0 or len >= 8)
|
|
|
|
end
|
|
|
|
|
|
|
|
cfv.assert_type_int(config.LogMode)
|
|
|
|
cfv.assert_range(config.LogMode, 0, 1)
|
|
|
|
cfv.assert_type_str(config.LogPath)
|
|
|
|
cfv.assert_type_bool(config.LogDebug)
|
|
|
|
|
|
|
|
return cfv.valid()
|
|
|
|
end
|
|
|
|
|
2024-06-14 01:43:56 +00:00
|
|
|
---@enum POCKET_APP_ID
|
|
|
|
local APP_ID = {
|
|
|
|
ROOT = 1,
|
|
|
|
-- main app pages
|
|
|
|
UNITS = 2,
|
|
|
|
GUIDE = 3,
|
|
|
|
ABOUT = 4,
|
|
|
|
-- diag app page
|
|
|
|
ALARMS = 5,
|
|
|
|
-- other
|
|
|
|
DUMMY = 6,
|
|
|
|
NUM_APPS = 6
|
|
|
|
}
|
|
|
|
|
|
|
|
pocket.APP_ID = APP_ID
|
|
|
|
|
|
|
|
---@class nav_tree_page
|
|
|
|
---@field _p nav_tree_page|nil page's parent
|
|
|
|
---@field _c table page's children
|
|
|
|
---@field nav_to function function to navigate to this page
|
|
|
|
---@field switcher function|nil function to switch between children
|
|
|
|
---@field tasks table tasks to run while viewing this page
|
|
|
|
|
|
|
|
-- allocate the page navigation system
|
|
|
|
---@param render_queue mqueue
|
|
|
|
function pocket.init_nav(render_queue)
|
|
|
|
local self = {
|
|
|
|
pane = nil, ---@type graphics_element
|
|
|
|
apps = {},
|
|
|
|
containers = {},
|
|
|
|
help_map = {},
|
|
|
|
help_return = nil,
|
|
|
|
cur_app = APP_ID.ROOT
|
|
|
|
}
|
|
|
|
|
|
|
|
self.cur_page = self.root
|
|
|
|
|
|
|
|
---@class pocket_nav
|
|
|
|
local nav = {}
|
|
|
|
|
|
|
|
-- set the root pane element to switch between apps with
|
|
|
|
---@param root_pane graphics_element
|
|
|
|
function nav.set_pane(root_pane)
|
|
|
|
self.pane = root_pane
|
|
|
|
end
|
|
|
|
|
|
|
|
function nav.set_sidebar(sidebar)
|
|
|
|
self.sidebar = sidebar
|
|
|
|
end
|
|
|
|
|
|
|
|
-- register an app
|
|
|
|
---@param app_id POCKET_APP_ID app ID
|
|
|
|
---@param container graphics_element element that contains this app (usually a Div)
|
|
|
|
---@param pane graphics_element? multipane if this is a simple paned app, then nav_to must be a number
|
|
|
|
function nav.register_app(app_id, container, pane)
|
|
|
|
---@class pocket_app
|
|
|
|
local app = {
|
|
|
|
loaded = false,
|
|
|
|
load = nil,
|
|
|
|
cur_page = nil, ---@type nav_tree_page
|
|
|
|
pane = pane,
|
|
|
|
paned_pages = {},
|
|
|
|
sidebar_items = {}
|
|
|
|
}
|
|
|
|
|
|
|
|
app.load = function () app.loaded = true end
|
|
|
|
|
|
|
|
-- delayed set of the pane if it wasn't ready at the start
|
|
|
|
---@param root_pane graphics_element multipane
|
|
|
|
function app.set_root_pane(root_pane)
|
|
|
|
app.pane = root_pane
|
|
|
|
end
|
|
|
|
|
|
|
|
function app.set_sidebar(items)
|
|
|
|
app.sidebar_items = items
|
|
|
|
if self.sidebar then self.sidebar.update(items) end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- function to run on initial load into memory
|
|
|
|
---@param on_load function callback
|
|
|
|
function app.set_on_load(on_load)
|
|
|
|
app.load = function ()
|
|
|
|
on_load()
|
|
|
|
app.loaded = true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- if a pane was provided, this will switch between numbered pages
|
|
|
|
---@param idx integer page index
|
|
|
|
function app.switcher(idx)
|
|
|
|
if app.paned_pages[idx] then
|
|
|
|
app.paned_pages[idx].nav_to()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- create a new page entry in the app's page navigation tree
|
|
|
|
---@param parent nav_tree_page? a parent page or nil to set this as the root
|
|
|
|
---@param nav_to function|integer function to navigate to this page or pane index
|
|
|
|
---@return nav_tree_page new_page this new page
|
|
|
|
function app.new_page(parent, nav_to)
|
|
|
|
---@type nav_tree_page
|
|
|
|
local page = { _p = parent, _c = {}, nav_to = function () end, switcher = function () end, tasks = {} }
|
|
|
|
|
|
|
|
if parent == nil and app.cur_page == nil then
|
|
|
|
app.cur_page = page
|
|
|
|
end
|
|
|
|
|
|
|
|
if type(nav_to) == "number" then
|
|
|
|
app.paned_pages[nav_to] = page
|
|
|
|
|
|
|
|
function page.nav_to()
|
|
|
|
app.cur_page = page
|
|
|
|
if app.pane then app.pane.set_value(nav_to) end
|
|
|
|
end
|
|
|
|
else
|
|
|
|
function page.nav_to()
|
|
|
|
app.cur_page = page
|
|
|
|
nav_to()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- switch between children
|
|
|
|
---@param id integer child ID
|
|
|
|
function page.switcher(id) if page._c[id] then page._c[id].nav_to() end end
|
|
|
|
|
|
|
|
if parent ~= nil then
|
|
|
|
table.insert(page._p._c, page)
|
|
|
|
end
|
|
|
|
|
|
|
|
return page
|
|
|
|
end
|
|
|
|
|
|
|
|
-- get the currently active page
|
|
|
|
function app.get_current_page() return app.cur_page end
|
|
|
|
|
|
|
|
-- attempt to navigate up the tree
|
|
|
|
---@return boolean success true if successfully navigated up
|
|
|
|
function app.nav_up()
|
|
|
|
local parent = app.cur_page._p
|
|
|
|
if parent then parent.nav_to() end
|
|
|
|
return parent ~= nil
|
|
|
|
end
|
|
|
|
|
|
|
|
self.apps[app_id] = app
|
|
|
|
self.containers[app_id] = container
|
|
|
|
|
|
|
|
return app
|
|
|
|
end
|
|
|
|
|
|
|
|
-- open a given app
|
|
|
|
---@param app_id POCKET_APP_ID
|
|
|
|
function nav.open_app(app_id)
|
|
|
|
-- reset help return on navigating out of an app
|
|
|
|
if app_id == APP_ID.ROOT then self.help_return = nil end
|
|
|
|
|
|
|
|
local app = self.apps[app_id] ---@type pocket_app
|
|
|
|
if app then
|
|
|
|
if not app.loaded then render_queue.push_data(MQ__RENDER_DATA.LOAD_APP, app_id) end
|
|
|
|
|
|
|
|
self.cur_app = app_id
|
|
|
|
self.pane.set_value(app_id)
|
|
|
|
|
|
|
|
if #app.sidebar_items > 0 then
|
|
|
|
self.sidebar.update(app.sidebar_items)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("tried to open unknown app")
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- load a given app
|
|
|
|
---@param app_id POCKET_APP_ID
|
|
|
|
function nav.load_app(app_id)
|
|
|
|
self.apps[app_id].load()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- get a list of the app containers (usually Div elements)
|
|
|
|
function nav.get_containers() return self.containers end
|
|
|
|
|
|
|
|
-- get the currently active page
|
|
|
|
---@return nav_tree_page
|
|
|
|
function nav.get_current_page()
|
|
|
|
return self.apps[self.cur_app].get_current_page()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- attempt to navigate up
|
|
|
|
function nav.nav_up()
|
|
|
|
-- return out of help if opened with open_help
|
|
|
|
if self.help_return then
|
|
|
|
nav.open_app(self.help_return)
|
|
|
|
self.help_return = nil
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
local app = self.apps[self.cur_app] ---@type pocket_app
|
|
|
|
log.debug("attempting app nav up for app " .. self.cur_app)
|
|
|
|
|
|
|
|
if not app.nav_up() then
|
|
|
|
log.debug("internal app nav up failed, going to home screen")
|
|
|
|
nav.open_app(APP_ID.ROOT)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- open the help app, to show the reference for a key
|
|
|
|
function nav.open_help(key)
|
|
|
|
self.help_return = self.cur_app
|
|
|
|
|
|
|
|
nav.open_app(APP_ID.GUIDE)
|
|
|
|
|
|
|
|
local load = self.help_map[key]
|
|
|
|
if load then load() end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- link the help map from the guide app
|
|
|
|
function nav.link_help(map) self.help_map = map end
|
|
|
|
|
|
|
|
return nav
|
|
|
|
end
|
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
-- pocket coordinator + supervisor communications
|
|
|
|
---@nodiscard
|
|
|
|
---@param version string pocket version
|
2023-06-21 23:04:39 +00:00
|
|
|
---@param nic nic network interface device
|
2023-04-16 23:50:16 +00:00
|
|
|
---@param sv_watchdog watchdog
|
|
|
|
---@param api_watchdog watchdog
|
2024-02-19 19:07:26 +00:00
|
|
|
function pocket.comms(version, nic, sv_watchdog, api_watchdog)
|
2023-04-16 23:50:16 +00:00
|
|
|
local self = {
|
|
|
|
sv = {
|
|
|
|
linked = false,
|
2023-06-05 05:13:22 +00:00
|
|
|
addr = comms.BROADCAST,
|
2023-04-16 23:50:16 +00:00
|
|
|
seq_num = 0,
|
|
|
|
r_seq_num = nil, ---@type nil|integer
|
|
|
|
last_est_ack = ESTABLISH_ACK.ALLOW
|
|
|
|
},
|
|
|
|
api = {
|
|
|
|
linked = false,
|
2023-06-05 05:13:22 +00:00
|
|
|
addr = comms.BROADCAST,
|
2023-04-16 23:50:16 +00:00
|
|
|
seq_num = 0,
|
|
|
|
r_seq_num = nil, ---@type nil|integer
|
|
|
|
last_est_ack = ESTABLISH_ACK.ALLOW
|
|
|
|
},
|
|
|
|
establish_delay_counter = 0
|
|
|
|
}
|
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
comms.set_trusted_range(config.TrustedRange)
|
2023-04-16 23:50:16 +00:00
|
|
|
|
|
|
|
-- PRIVATE FUNCTIONS --
|
|
|
|
|
2023-06-21 23:04:39 +00:00
|
|
|
-- configure network channels
|
|
|
|
nic.closeAll()
|
2024-02-19 19:07:26 +00:00
|
|
|
nic.open(config.PKT_Channel)
|
2023-04-16 23:50:16 +00:00
|
|
|
|
|
|
|
-- send a management packet to the supervisor
|
2023-08-30 20:45:48 +00:00
|
|
|
---@param msg_type MGMT_TYPE
|
2023-04-16 23:50:16 +00:00
|
|
|
---@param msg table
|
|
|
|
local function _send_sv(msg_type, msg)
|
|
|
|
local s_pkt = comms.scada_packet()
|
|
|
|
local pkt = comms.mgmt_packet()
|
|
|
|
|
|
|
|
pkt.make(msg_type, msg)
|
2023-06-05 05:13:22 +00:00
|
|
|
s_pkt.make(self.sv.addr, self.sv.seq_num, PROTOCOL.SCADA_MGMT, pkt.raw_sendable())
|
2023-04-16 23:50:16 +00:00
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
nic.transmit(config.SVR_Channel, config.PKT_Channel, s_pkt)
|
2023-04-16 23:50:16 +00:00
|
|
|
self.sv.seq_num = self.sv.seq_num + 1
|
|
|
|
end
|
|
|
|
|
|
|
|
-- send a management packet to the coordinator
|
2023-08-30 20:45:48 +00:00
|
|
|
---@param msg_type MGMT_TYPE
|
2023-04-16 23:50:16 +00:00
|
|
|
---@param msg table
|
|
|
|
local function _send_crd(msg_type, msg)
|
|
|
|
local s_pkt = comms.scada_packet()
|
|
|
|
local pkt = comms.mgmt_packet()
|
|
|
|
|
|
|
|
pkt.make(msg_type, msg)
|
2023-06-05 05:13:22 +00:00
|
|
|
s_pkt.make(self.api.addr, self.api.seq_num, PROTOCOL.SCADA_MGMT, pkt.raw_sendable())
|
2023-04-16 23:50:16 +00:00
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
nic.transmit(config.CRD_Channel, config.PKT_Channel, s_pkt)
|
2023-04-16 23:50:16 +00:00
|
|
|
self.api.seq_num = self.api.seq_num + 1
|
|
|
|
end
|
|
|
|
|
2024-05-11 23:19:52 +00:00
|
|
|
-- send an API packet to the coordinator
|
|
|
|
---@param msg_type CRDN_TYPE
|
|
|
|
---@param msg table
|
|
|
|
local function _send_api(msg_type, msg)
|
|
|
|
local s_pkt = comms.scada_packet()
|
|
|
|
local pkt = comms.crdn_packet()
|
|
|
|
|
|
|
|
pkt.make(msg_type, msg)
|
|
|
|
s_pkt.make(self.api.addr, self.api.seq_num, PROTOCOL.SCADA_CRDN, pkt.raw_sendable())
|
|
|
|
|
|
|
|
nic.transmit(config.CRD_Channel, config.PKT_Channel, s_pkt)
|
|
|
|
self.api.seq_num = self.api.seq_num + 1
|
|
|
|
end
|
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
-- attempt supervisor connection establishment
|
|
|
|
local function _send_sv_establish()
|
2023-08-30 20:45:48 +00:00
|
|
|
_send_sv(MGMT_TYPE.ESTABLISH, { comms.version, version, DEVICE_TYPE.PKT })
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- attempt coordinator API connection establishment
|
|
|
|
local function _send_api_establish()
|
2024-04-13 15:02:41 +00:00
|
|
|
_send_crd(MGMT_TYPE.ESTABLISH, { comms.version, version, DEVICE_TYPE.PKT, comms.api_version })
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- keep alive ack to supervisor
|
|
|
|
---@param srv_time integer
|
|
|
|
local function _send_sv_keep_alive_ack(srv_time)
|
2023-08-30 20:45:48 +00:00
|
|
|
_send_sv(MGMT_TYPE.KEEP_ALIVE, { srv_time, util.time() })
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- keep alive ack to coordinator
|
|
|
|
---@param srv_time integer
|
|
|
|
local function _send_api_keep_alive_ack(srv_time)
|
2023-08-30 20:45:48 +00:00
|
|
|
_send_crd(MGMT_TYPE.KEEP_ALIVE, { srv_time, util.time() })
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- PUBLIC FUNCTIONS --
|
|
|
|
|
|
|
|
---@class pocket_comms
|
|
|
|
local public = {}
|
|
|
|
|
|
|
|
-- close connection to the supervisor
|
|
|
|
function public.close_sv()
|
|
|
|
sv_watchdog.cancel()
|
|
|
|
self.sv.linked = false
|
2023-06-06 00:59:28 +00:00
|
|
|
self.sv.r_seq_num = nil
|
|
|
|
self.sv.addr = comms.BROADCAST
|
2023-08-30 20:45:48 +00:00
|
|
|
_send_sv(MGMT_TYPE.CLOSE, {})
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- close connection to coordinator API server
|
|
|
|
function public.close_api()
|
|
|
|
api_watchdog.cancel()
|
|
|
|
self.api.linked = false
|
2023-06-06 00:59:28 +00:00
|
|
|
self.api.r_seq_num = nil
|
|
|
|
self.api.addr = comms.BROADCAST
|
2023-08-30 20:45:48 +00:00
|
|
|
_send_crd(MGMT_TYPE.CLOSE, {})
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- close the connections to the servers
|
|
|
|
function public.close()
|
|
|
|
public.close_sv()
|
|
|
|
public.close_api()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- attempt to re-link if any of the dependent links aren't active
|
|
|
|
function public.link_update()
|
|
|
|
if not self.sv.linked then
|
2023-07-29 22:16:59 +00:00
|
|
|
iocontrol.report_link_state(util.trinary(self.api.linked, LINK_STATE.API_LINK_ONLY, LINK_STATE.UNLINKED))
|
2023-04-20 00:35:42 +00:00
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
if self.establish_delay_counter <= 0 then
|
|
|
|
_send_sv_establish()
|
|
|
|
self.establish_delay_counter = 4
|
|
|
|
else
|
|
|
|
self.establish_delay_counter = self.establish_delay_counter - 1
|
|
|
|
end
|
|
|
|
elseif not self.api.linked then
|
2023-07-29 22:16:59 +00:00
|
|
|
iocontrol.report_link_state(LINK_STATE.SV_LINK_ONLY)
|
2023-04-20 00:35:42 +00:00
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
if self.establish_delay_counter <= 0 then
|
|
|
|
_send_api_establish()
|
|
|
|
self.establish_delay_counter = 4
|
|
|
|
else
|
|
|
|
self.establish_delay_counter = self.establish_delay_counter - 1
|
|
|
|
end
|
|
|
|
else
|
|
|
|
-- linked, all good!
|
2024-05-11 19:03:14 +00:00
|
|
|
iocontrol.report_link_state(LINK_STATE.LINKED, self.sv.addr, self.api.addr)
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-07-30 04:13:26 +00:00
|
|
|
-- supervisor get active alarm tones
|
|
|
|
function public.diag__get_alarm_tones()
|
2023-08-30 20:45:48 +00:00
|
|
|
if self.sv.linked then _send_sv(MGMT_TYPE.DIAG_TONE_GET, {}) end
|
2023-07-30 04:13:26 +00:00
|
|
|
end
|
|
|
|
|
2023-07-29 22:16:59 +00:00
|
|
|
-- supervisor test alarm tones by tone
|
2023-07-30 04:13:26 +00:00
|
|
|
---@param id TONE|0 tone ID, or 0 to stop all
|
2023-07-29 22:16:59 +00:00
|
|
|
---@param state boolean tone state
|
|
|
|
function public.diag__set_alarm_tone(id, state)
|
2023-08-30 20:45:48 +00:00
|
|
|
if self.sv.linked then _send_sv(MGMT_TYPE.DIAG_TONE_SET, { id, state }) end
|
2023-07-29 22:16:59 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
-- supervisor test alarm tones by alarm
|
|
|
|
---@param id ALARM|0 alarm ID, 0 to stop all
|
|
|
|
---@param state boolean alarm state
|
|
|
|
function public.diag__set_alarm(id, state)
|
2023-08-30 20:45:48 +00:00
|
|
|
if self.sv.linked then _send_sv(MGMT_TYPE.DIAG_ALARM_SET, { id, state }) end
|
2023-07-29 22:16:59 +00:00
|
|
|
end
|
|
|
|
|
2024-05-11 23:19:52 +00:00
|
|
|
-- coordinator get unit data
|
|
|
|
function public.api__get_unit(unit)
|
|
|
|
if self.api.linked then _send_api(CRDN_TYPE.API_GET_UNIT, { unit }) end
|
|
|
|
end
|
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
-- parse a packet
|
|
|
|
---@param side string
|
|
|
|
---@param sender integer
|
|
|
|
---@param reply_to integer
|
|
|
|
---@param message any
|
|
|
|
---@param distance integer
|
2023-08-30 20:45:48 +00:00
|
|
|
---@return mgmt_frame|crdn_frame|nil packet
|
2023-04-16 23:50:16 +00:00
|
|
|
function public.parse_packet(side, sender, reply_to, message, distance)
|
2023-06-23 18:12:41 +00:00
|
|
|
local s_pkt = nic.receive(side, sender, reply_to, message, distance)
|
2023-04-16 23:50:16 +00:00
|
|
|
local pkt = nil
|
|
|
|
|
2023-06-23 18:12:41 +00:00
|
|
|
if s_pkt then
|
2023-04-16 23:50:16 +00:00
|
|
|
-- get as SCADA management packet
|
|
|
|
if s_pkt.protocol() == PROTOCOL.SCADA_MGMT then
|
|
|
|
local mgmt_pkt = comms.mgmt_packet()
|
|
|
|
if mgmt_pkt.decode(s_pkt) then
|
|
|
|
pkt = mgmt_pkt.get()
|
|
|
|
end
|
2023-08-30 20:45:48 +00:00
|
|
|
-- get as coordinator packet
|
|
|
|
elseif s_pkt.protocol() == PROTOCOL.SCADA_CRDN then
|
|
|
|
local crdn_pkt = comms.crdn_packet()
|
|
|
|
if crdn_pkt.decode(s_pkt) then
|
|
|
|
pkt = crdn_pkt.get()
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("attempted parse of illegal packet type " .. s_pkt.protocol(), true)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
return pkt
|
|
|
|
end
|
|
|
|
|
2024-04-13 00:41:47 +00:00
|
|
|
---@param packet mgmt_frame|crdn_frame
|
|
|
|
---@param length integer
|
|
|
|
---@param max integer?
|
|
|
|
---@return boolean
|
|
|
|
local function _check_length(packet, length, max)
|
2024-04-13 15:02:41 +00:00
|
|
|
local ok = util.trinary(max == nil, packet.length == length, packet.length >= length and packet.length <= (max or 0))
|
2024-04-13 00:41:47 +00:00
|
|
|
if not ok then
|
|
|
|
local fmt = "[comms] RX_PACKET{r_chan=%d,proto=%d,type=%d}: packet length mismatch -> expect %d != actual %d"
|
2024-05-23 01:45:52 +00:00
|
|
|
log.debug(util.sprintf(fmt, packet.scada_frame.remote_channel(), packet.scada_frame.protocol(), packet.type, length, packet.scada_frame.length()))
|
2024-04-13 00:41:47 +00:00
|
|
|
end
|
|
|
|
return ok
|
|
|
|
end
|
|
|
|
|
|
|
|
---@param packet mgmt_frame|crdn_frame
|
|
|
|
local function _fail_type(packet)
|
|
|
|
local fmt = "[comms] RX_PACKET{r_chan=%d,proto=%d,type=%d}: unrecognized packet type"
|
|
|
|
log.debug(util.sprintf(fmt, packet.scada_frame.remote_channel(), packet.scada_frame.protocol(), packet.type))
|
|
|
|
end
|
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
-- handle a packet
|
2023-08-30 20:45:48 +00:00
|
|
|
---@param packet mgmt_frame|crdn_frame|nil
|
2023-04-16 23:50:16 +00:00
|
|
|
function public.handle_packet(packet)
|
2023-07-29 22:16:59 +00:00
|
|
|
local diag = iocontrol.get_db().diag
|
|
|
|
|
2023-04-16 23:50:16 +00:00
|
|
|
if packet ~= nil then
|
2023-06-06 00:59:28 +00:00
|
|
|
local l_chan = packet.scada_frame.local_channel()
|
|
|
|
local r_chan = packet.scada_frame.remote_channel()
|
2023-04-18 17:47:06 +00:00
|
|
|
local protocol = packet.scada_frame.protocol()
|
2023-06-06 00:59:28 +00:00
|
|
|
local src_addr = packet.scada_frame.src_addr()
|
2023-04-16 23:50:16 +00:00
|
|
|
|
2024-02-19 19:07:26 +00:00
|
|
|
if l_chan ~= config.PKT_Channel then
|
2023-06-05 05:13:22 +00:00
|
|
|
log.debug("received packet on unconfigured channel " .. l_chan, true)
|
2024-02-19 19:07:26 +00:00
|
|
|
elseif r_chan == config.CRD_Channel then
|
2023-04-16 23:50:16 +00:00
|
|
|
-- check sequence number
|
|
|
|
if self.api.r_seq_num == nil then
|
|
|
|
self.api.r_seq_num = packet.scada_frame.seq_num()
|
2023-04-21 21:10:15 +00:00
|
|
|
elseif self.connected and ((self.api.r_seq_num + 1) ~= packet.scada_frame.seq_num()) then
|
2023-06-06 00:59:28 +00:00
|
|
|
log.warning("sequence out-of-order (API): last = " .. self.api.r_seq_num .. ", new = " .. packet.scada_frame.seq_num())
|
|
|
|
return
|
2023-06-07 18:22:35 +00:00
|
|
|
elseif self.api.linked and (src_addr ~= self.api.addr) then
|
2023-06-07 16:48:43 +00:00
|
|
|
log.debug("received packet from unknown computer " .. src_addr .. " while linked (API expected " .. self.api.addr ..
|
2024-04-13 00:41:47 +00:00
|
|
|
"); channel in use by another system?")
|
2023-04-16 23:50:16 +00:00
|
|
|
return
|
|
|
|
else
|
|
|
|
self.api.r_seq_num = packet.scada_frame.seq_num()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- feed watchdog on valid sequence number
|
|
|
|
api_watchdog.feed()
|
|
|
|
|
2024-04-13 00:41:47 +00:00
|
|
|
if protocol == PROTOCOL.SCADA_CRDN then
|
|
|
|
---@cast packet crdn_frame
|
|
|
|
if self.api.linked then
|
|
|
|
if packet.type == CRDN_TYPE.API_GET_FAC then
|
|
|
|
if _check_length(packet, 11) then
|
|
|
|
iocontrol.record_facility_data(packet.data)
|
|
|
|
end
|
2024-05-11 23:19:52 +00:00
|
|
|
elseif packet.type == CRDN_TYPE.API_GET_UNIT then
|
2024-05-22 21:55:59 +00:00
|
|
|
if _check_length(packet, 11) and type(packet.data[1]) == "number" and iocontrol.get_db().units[packet.data[1]] then
|
2024-05-11 23:19:52 +00:00
|
|
|
iocontrol.record_unit_data(packet.data)
|
|
|
|
end
|
2024-04-13 00:41:47 +00:00
|
|
|
else _fail_type(packet) end
|
|
|
|
else
|
|
|
|
log.debug("discarding coordinator SCADA_CRDN packet before linked")
|
|
|
|
end
|
|
|
|
elseif protocol == PROTOCOL.SCADA_MGMT then
|
2023-04-16 23:50:16 +00:00
|
|
|
---@cast packet mgmt_frame
|
2023-07-29 22:16:59 +00:00
|
|
|
if self.api.linked then
|
2023-08-30 20:45:48 +00:00
|
|
|
if packet.type == MGMT_TYPE.KEEP_ALIVE then
|
2023-07-29 22:16:59 +00:00
|
|
|
-- keep alive request received, echo back
|
2024-04-13 00:41:47 +00:00
|
|
|
if _check_length(packet, 1) then
|
2023-07-29 22:16:59 +00:00
|
|
|
local timestamp = packet.data[1]
|
|
|
|
local trip_time = util.time() - timestamp
|
|
|
|
|
|
|
|
if trip_time > 750 then
|
|
|
|
log.warning("pocket coordinator KEEP_ALIVE trip time > 750ms (" .. trip_time .. "ms)")
|
|
|
|
end
|
|
|
|
|
2024-04-13 15:02:41 +00:00
|
|
|
-- log.debug("pocket coordinator TT = " .. trip_time .. "ms")
|
2023-07-29 22:16:59 +00:00
|
|
|
|
|
|
|
_send_api_keep_alive_ack(timestamp)
|
2024-01-14 19:20:59 +00:00
|
|
|
|
|
|
|
iocontrol.report_crd_tt(trip_time)
|
2023-07-29 22:16:59 +00:00
|
|
|
end
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.CLOSE then
|
2023-07-29 22:16:59 +00:00
|
|
|
-- handle session close
|
|
|
|
api_watchdog.cancel()
|
|
|
|
self.api.linked = false
|
|
|
|
self.api.r_seq_num = nil
|
|
|
|
self.api.addr = comms.BROADCAST
|
|
|
|
log.info("coordinator server connection closed by remote host")
|
2024-04-13 00:41:47 +00:00
|
|
|
else _fail_type(packet) end
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.ESTABLISH then
|
2023-04-16 23:50:16 +00:00
|
|
|
-- connection with coordinator established
|
2024-04-13 00:41:47 +00:00
|
|
|
if _check_length(packet, 1, 2) then
|
2023-04-16 23:50:16 +00:00
|
|
|
local est_ack = packet.data[1]
|
|
|
|
|
|
|
|
if est_ack == ESTABLISH_ACK.ALLOW then
|
2024-04-13 00:41:47 +00:00
|
|
|
if packet.length == 2 then
|
|
|
|
local fac_config = packet.data[2]
|
|
|
|
|
|
|
|
if type(fac_config) == "table" and #fac_config == 2 then
|
|
|
|
-- get configuration
|
|
|
|
local conf = { num_units = fac_config[1], cooling = fac_config[2] }
|
|
|
|
|
2024-05-27 23:31:24 +00:00
|
|
|
iocontrol.init_fac(conf, config.TempScale)
|
2024-04-13 00:41:47 +00:00
|
|
|
|
|
|
|
log.info("coordinator connection established")
|
|
|
|
self.establish_delay_counter = 0
|
|
|
|
self.api.linked = true
|
|
|
|
self.api.addr = src_addr
|
|
|
|
|
|
|
|
if self.sv.linked then
|
2024-05-11 19:03:14 +00:00
|
|
|
iocontrol.report_link_state(LINK_STATE.LINKED, self.sv.addr, self.api.addr)
|
2024-04-13 00:41:47 +00:00
|
|
|
else
|
|
|
|
iocontrol.report_link_state(LINK_STATE.API_LINK_ONLY)
|
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("invalid facility configuration table received from coordinator, establish failed")
|
|
|
|
end
|
2023-04-18 17:47:06 +00:00
|
|
|
else
|
2024-04-13 00:41:47 +00:00
|
|
|
log.debug("received coordinator establish allow without facility configuration")
|
2023-04-18 17:47:06 +00:00
|
|
|
end
|
2023-04-16 23:50:16 +00:00
|
|
|
elseif est_ack == ESTABLISH_ACK.DENY then
|
|
|
|
if self.api.last_est_ack ~= est_ack then
|
|
|
|
log.info("coordinator connection denied")
|
|
|
|
end
|
|
|
|
elseif est_ack == ESTABLISH_ACK.COLLISION then
|
|
|
|
if self.api.last_est_ack ~= est_ack then
|
|
|
|
log.info("coordinator connection denied due to collision")
|
|
|
|
end
|
|
|
|
elseif est_ack == ESTABLISH_ACK.BAD_VERSION then
|
|
|
|
if self.api.last_est_ack ~= est_ack then
|
|
|
|
log.info("coordinator comms version mismatch")
|
|
|
|
end
|
2024-04-13 00:41:47 +00:00
|
|
|
elseif est_ack == ESTABLISH_ACK.BAD_API_VERSION then
|
|
|
|
if self.api.last_est_ack ~= est_ack then
|
|
|
|
log.info("coordinator api version mismatch")
|
|
|
|
end
|
2023-04-16 23:50:16 +00:00
|
|
|
else
|
|
|
|
log.debug("coordinator SCADA_MGMT establish packet reply unsupported")
|
|
|
|
end
|
|
|
|
|
|
|
|
self.api.last_est_ack = est_ack
|
|
|
|
end
|
2023-06-07 16:27:13 +00:00
|
|
|
else
|
2023-06-07 16:48:43 +00:00
|
|
|
log.debug("discarding coordinator non-link SCADA_MGMT packet before linked")
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("illegal packet type " .. protocol .. " from coordinator", true)
|
|
|
|
end
|
2024-02-19 19:07:26 +00:00
|
|
|
elseif r_chan == config.SVR_Channel then
|
2023-04-16 23:50:16 +00:00
|
|
|
-- check sequence number
|
|
|
|
if self.sv.r_seq_num == nil then
|
|
|
|
self.sv.r_seq_num = packet.scada_frame.seq_num()
|
2023-04-21 21:10:15 +00:00
|
|
|
elseif self.connected and ((self.sv.r_seq_num + 1) ~= packet.scada_frame.seq_num()) then
|
2023-06-06 00:59:28 +00:00
|
|
|
log.warning("sequence out-of-order (SVR): last = " .. self.sv.r_seq_num .. ", new = " .. packet.scada_frame.seq_num())
|
|
|
|
return
|
2023-06-07 18:22:35 +00:00
|
|
|
elseif self.sv.linked and (src_addr ~= self.sv.addr) then
|
2023-06-07 16:48:43 +00:00
|
|
|
log.debug("received packet from unknown computer " .. src_addr .. " while linked (SVR expected " .. self.sv.addr ..
|
|
|
|
"); channel in use by another system?")
|
2023-04-16 23:50:16 +00:00
|
|
|
return
|
|
|
|
else
|
|
|
|
self.sv.r_seq_num = packet.scada_frame.seq_num()
|
|
|
|
end
|
|
|
|
|
|
|
|
-- feed watchdog on valid sequence number
|
|
|
|
sv_watchdog.feed()
|
|
|
|
|
|
|
|
-- handle packet
|
|
|
|
if protocol == PROTOCOL.SCADA_MGMT then
|
|
|
|
---@cast packet mgmt_frame
|
2023-07-29 22:16:59 +00:00
|
|
|
if self.sv.linked then
|
2023-08-30 20:45:48 +00:00
|
|
|
if packet.type == MGMT_TYPE.KEEP_ALIVE then
|
2023-07-29 22:16:59 +00:00
|
|
|
-- keep alive request received, echo back
|
2024-04-13 00:41:47 +00:00
|
|
|
if _check_length(packet, 1) then
|
2023-07-29 22:16:59 +00:00
|
|
|
local timestamp = packet.data[1]
|
|
|
|
local trip_time = util.time() - timestamp
|
|
|
|
|
|
|
|
if trip_time > 750 then
|
|
|
|
log.warning("pocket supervisor KEEP_ALIVE trip time > 750ms (" .. trip_time .. "ms)")
|
|
|
|
end
|
|
|
|
|
2024-04-13 15:02:41 +00:00
|
|
|
-- log.debug("pocket supervisor TT = " .. trip_time .. "ms")
|
2023-07-29 22:16:59 +00:00
|
|
|
|
|
|
|
_send_sv_keep_alive_ack(timestamp)
|
2024-01-14 19:20:59 +00:00
|
|
|
|
|
|
|
iocontrol.report_svr_tt(trip_time)
|
2023-07-29 22:16:59 +00:00
|
|
|
end
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.CLOSE then
|
2023-07-29 22:16:59 +00:00
|
|
|
-- handle session close
|
|
|
|
sv_watchdog.cancel()
|
|
|
|
self.sv.linked = false
|
|
|
|
self.sv.r_seq_num = nil
|
|
|
|
self.sv.addr = comms.BROADCAST
|
|
|
|
log.info("supervisor server connection closed by remote host")
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.DIAG_TONE_GET then
|
2024-04-13 00:41:47 +00:00
|
|
|
if _check_length(packet, 8) then
|
2023-07-29 22:16:59 +00:00
|
|
|
for i = 1, #packet.data do
|
|
|
|
diag.tone_test.tone_indicators[i].update(packet.data[i] == true)
|
|
|
|
end
|
|
|
|
end
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.DIAG_TONE_SET then
|
2023-07-29 22:16:59 +00:00
|
|
|
if packet.length == 1 and packet.data[1] == false then
|
|
|
|
diag.tone_test.ready_warn.set_value("testing denied")
|
|
|
|
log.debug("supervisor SCADA diag tone set failed")
|
|
|
|
elseif packet.length == 2 and type(packet.data[2]) == "table" then
|
|
|
|
local ready = packet.data[1]
|
|
|
|
local states = packet.data[2]
|
|
|
|
|
|
|
|
diag.tone_test.ready_warn.set_value(util.trinary(ready, "", "system not ready"))
|
|
|
|
|
|
|
|
for i = 1, #states do
|
|
|
|
if diag.tone_test.tone_buttons[i] ~= nil then
|
|
|
|
diag.tone_test.tone_buttons[i].set_value(states[i] == true)
|
|
|
|
diag.tone_test.tone_indicators[i].update(states[i] == true)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("supervisor SCADA diag tone set packet length/type mismatch")
|
|
|
|
end
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.DIAG_ALARM_SET then
|
2023-07-29 22:16:59 +00:00
|
|
|
if packet.length == 1 and packet.data[1] == false then
|
|
|
|
diag.tone_test.ready_warn.set_value("testing denied")
|
|
|
|
log.debug("supervisor SCADA diag alarm set failed")
|
|
|
|
elseif packet.length == 2 and type(packet.data[2]) == "table" then
|
|
|
|
local ready = packet.data[1]
|
|
|
|
local states = packet.data[2]
|
|
|
|
|
|
|
|
diag.tone_test.ready_warn.set_value(util.trinary(ready, "", "system not ready"))
|
|
|
|
|
|
|
|
for i = 1, #states do
|
|
|
|
if diag.tone_test.alarm_buttons[i] ~= nil then
|
|
|
|
diag.tone_test.alarm_buttons[i].set_value(states[i] == true)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("supervisor SCADA diag alarm set packet length/type mismatch")
|
|
|
|
end
|
2024-04-13 00:41:47 +00:00
|
|
|
else _fail_type(packet) end
|
2023-08-30 20:45:48 +00:00
|
|
|
elseif packet.type == MGMT_TYPE.ESTABLISH then
|
2023-04-16 23:50:16 +00:00
|
|
|
-- connection with supervisor established
|
2024-04-13 00:41:47 +00:00
|
|
|
if _check_length(packet, 1) then
|
2023-04-16 23:50:16 +00:00
|
|
|
local est_ack = packet.data[1]
|
|
|
|
|
|
|
|
if est_ack == ESTABLISH_ACK.ALLOW then
|
|
|
|
log.info("supervisor connection established")
|
|
|
|
self.establish_delay_counter = 0
|
|
|
|
self.sv.linked = true
|
2023-06-06 00:59:28 +00:00
|
|
|
self.sv.addr = src_addr
|
2023-04-18 17:47:06 +00:00
|
|
|
|
|
|
|
if self.api.linked then
|
2024-05-11 19:03:14 +00:00
|
|
|
iocontrol.report_link_state(LINK_STATE.LINKED, self.sv.addr, self.api.addr)
|
2023-04-18 17:47:06 +00:00
|
|
|
else
|
2023-07-29 22:16:59 +00:00
|
|
|
iocontrol.report_link_state(LINK_STATE.SV_LINK_ONLY)
|
2023-04-18 17:47:06 +00:00
|
|
|
end
|
2023-04-16 23:50:16 +00:00
|
|
|
elseif est_ack == ESTABLISH_ACK.DENY then
|
|
|
|
if self.sv.last_est_ack ~= est_ack then
|
|
|
|
log.info("supervisor connection denied")
|
|
|
|
end
|
|
|
|
elseif est_ack == ESTABLISH_ACK.COLLISION then
|
|
|
|
if self.sv.last_est_ack ~= est_ack then
|
|
|
|
log.info("supervisor connection denied due to collision")
|
|
|
|
end
|
|
|
|
elseif est_ack == ESTABLISH_ACK.BAD_VERSION then
|
|
|
|
if self.sv.last_est_ack ~= est_ack then
|
|
|
|
log.info("supervisor comms version mismatch")
|
|
|
|
end
|
|
|
|
else
|
|
|
|
log.debug("supervisor SCADA_MGMT establish packet reply unsupported")
|
|
|
|
end
|
|
|
|
|
|
|
|
self.sv.last_est_ack = est_ack
|
|
|
|
end
|
2023-06-07 16:27:13 +00:00
|
|
|
else
|
2023-06-07 16:48:43 +00:00
|
|
|
log.debug("discarding supervisor non-link SCADA_MGMT packet before linked")
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
2024-04-13 00:41:47 +00:00
|
|
|
else _fail_type(packet) end
|
2023-04-16 23:50:16 +00:00
|
|
|
else
|
2023-06-05 05:13:22 +00:00
|
|
|
log.debug("received packet from unconfigured channel " .. r_chan, true)
|
2023-04-16 23:50:16 +00:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- check if we are still linked with the supervisor
|
|
|
|
---@nodiscard
|
|
|
|
function public.is_sv_linked() return self.sv.linked end
|
|
|
|
|
|
|
|
-- check if we are still linked with the coordinator
|
|
|
|
---@nodiscard
|
|
|
|
function public.is_api_linked() return self.api.linked end
|
|
|
|
|
|
|
|
return public
|
|
|
|
end
|
|
|
|
|
2023-04-12 16:40:13 +00:00
|
|
|
return pocket
|