高可用性双机系统的有限自动机

摘要：

介绍了提供高可用性的双机系统的原理、部署和体系结构;定义了双机系统各部件功能,描述了子系统间的接口,给出了该双机系统的有限自动机.该自动机具有有限数目的内部状态,模拟了双机系统的工作原理及内部各状态的相互转化,描述了服务切换、进程与服务监控、心跳侦测、网络参考点侦测等过程,为双机系统的行为描述和结构设计提供了理论依据和论证.

关键词：双机系统、有限自动机、进程与服务监控、心跳侦测、网络参考点侦测、服务切换

所属期刊栏目：33

分类号：TP302(计算技术、计算机技术)

资助基金：国家计算机网络和信息安全管理中心资助项目2002-研3-022

在线出版日期：2004-12-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：555-558