基于有限状态机机制的双机热备系统研究
发布时间:2022-01-16 17:56
针对现有的人员定位管理定位系统的双机热备方案存在的操作困难、可靠性差、运行不稳定等缺点,设计一套基于有限状态机机制的双机热备系统,该系统依照人员定位系统的实际应用场景,监控单元同时监测PostgreSQL、Redis与通信服务的工作状态,形成一个稳定的双机热备解决方案,提高了双机热备的可靠性。
【文章来源】:科学技术创新. 2020,(19)
【文章页数】:2 页
【部分图文】:
有限状态机状态转移图
基于有限状态机的双机热备系统的总体架构如图2所示,在两台机器中分别运行一套控制系统,包括UI界面、应用服务、Postgre SQL、Redis、通讯服务与热备服务。其中,UI界面主要是展示展示各模块的状态与操作按钮;应用服务主要是用来获取Postgre SQL数据库、Redis数据库、通讯服务以及热备服务的各模块的状态;热备服务主要是用来监测各服务的状态与控制A机和B机的状态切换。3.2 内部架构
监控单元主要监控A机与B机的状态,并根据A机与B机的状态进行工作状态的迁移,其中机器的工作状态包含通讯服务的工作状态、Postgre SQL的工作状态与Redis的工作状态。机器的状态转移,包含迁移状态与终态,其中,迁移状态包含:待协商、待确认、尝试进入主模式、尝试进入备模式、尝试提升为主模式,终态包括:主模式与备模式。为进一步说明状态迁移的流程如图3所示,为A机机器启动的完整工作流程:其中,条件a:返回的B机状态未知或未获取到B机的状态条件b:返回的B机的状态属于状态集2;条件c:A机的Postgre SQL以备模式启动、Redis以备模式启动与通讯服务为备模式;条件d:A机的Postgre SQL以主模式启动、Redis以主模式启动与通讯服务为主模式;条件e:返回的B机的状态属于状态集1;条件f:返回B机的Postgre SQL数据库状态(某表的数据量)确定A机的优先级比B机的优先级高;条件g:返回B机的Postgre SQL数据库状态(某表的数据量),确定A机的优先级比B机的优先级低;条件h:A机的优先级比B机的优先级高;条件i A机的Postgre SQL以主模式启动、Redis以主模式启动与通讯服务为主模式;其中:状态集1包含:“协商”与“确认”;状态集2包含:“尝试进入主模式”、“切换为主模式”与“主模式”;状态集3包含:“尝试进入备模式”与“备模式”;初始状态:“协商”;最终状态:“主模式”与“备模式”。
【参考文献】:
期刊论文
[1]一种双机热备份的方法及实现[J]. 方中海,方琪. 通信与广播电视. 2019(04)
[2]一种双机热备份的方法及实现[J]. 方中海,方琪. 通信与广播电视. 2019 (04)
[3]煤矿监控系统双机热备数据同步软件设计[J]. 丁瑞琦. 工矿自动化. 2014(11)
本文编号:3593157
【文章来源】:科学技术创新. 2020,(19)
【文章页数】:2 页
【部分图文】:
有限状态机状态转移图
基于有限状态机的双机热备系统的总体架构如图2所示,在两台机器中分别运行一套控制系统,包括UI界面、应用服务、Postgre SQL、Redis、通讯服务与热备服务。其中,UI界面主要是展示展示各模块的状态与操作按钮;应用服务主要是用来获取Postgre SQL数据库、Redis数据库、通讯服务以及热备服务的各模块的状态;热备服务主要是用来监测各服务的状态与控制A机和B机的状态切换。3.2 内部架构
监控单元主要监控A机与B机的状态,并根据A机与B机的状态进行工作状态的迁移,其中机器的工作状态包含通讯服务的工作状态、Postgre SQL的工作状态与Redis的工作状态。机器的状态转移,包含迁移状态与终态,其中,迁移状态包含:待协商、待确认、尝试进入主模式、尝试进入备模式、尝试提升为主模式,终态包括:主模式与备模式。为进一步说明状态迁移的流程如图3所示,为A机机器启动的完整工作流程:其中,条件a:返回的B机状态未知或未获取到B机的状态条件b:返回的B机的状态属于状态集2;条件c:A机的Postgre SQL以备模式启动、Redis以备模式启动与通讯服务为备模式;条件d:A机的Postgre SQL以主模式启动、Redis以主模式启动与通讯服务为主模式;条件e:返回的B机的状态属于状态集1;条件f:返回B机的Postgre SQL数据库状态(某表的数据量)确定A机的优先级比B机的优先级高;条件g:返回B机的Postgre SQL数据库状态(某表的数据量),确定A机的优先级比B机的优先级低;条件h:A机的优先级比B机的优先级高;条件i A机的Postgre SQL以主模式启动、Redis以主模式启动与通讯服务为主模式;其中:状态集1包含:“协商”与“确认”;状态集2包含:“尝试进入主模式”、“切换为主模式”与“主模式”;状态集3包含:“尝试进入备模式”与“备模式”;初始状态:“协商”;最终状态:“主模式”与“备模式”。
【参考文献】:
期刊论文
[1]一种双机热备份的方法及实现[J]. 方中海,方琪. 通信与广播电视. 2019(04)
[2]一种双机热备份的方法及实现[J]. 方中海,方琪. 通信与广播电视. 2019 (04)
[3]煤矿监控系统双机热备数据同步软件设计[J]. 丁瑞琦. 工矿自动化. 2014(11)
本文编号:3593157
本文链接:https://www.wllwen.com/kejilunwen/anquangongcheng/3593157.html