基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术,本文研究了双模高可用容错服务器的故障检测机制.首先,通过马尔科夫模型对服务器系统进行了分析,指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响.针对传统使用的故障检测机制成功率较低的问题,提出了一种仲裁检测机制,仲裁系统采用容错方案设计,具有较高的可靠性,在双机无法对故障做出正确判断时,可作为可信的第三方对故障做出准确的定位,有效地提高了系统的检测成功率.在此基础上,一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中,并通过试验证明了其可满足可用性设计要求.     

一种快速低开销的分布式死锁检测解决算法

现有的分布式edge—chasing死锁检测算法具有消息开销大或不能并发执行的弱点，为此提出一个新的死锁检测算法，算法中检测消息由事务节点发起并在事务节点和资源节点之间传递，不保留死锁检测的中间状态，也不更新事务的资源访问请求。算法的正确性得到证明，仿真表明新算法的时间和消息开销低于同类算法。     

基于GNSS的高轨飞行器定轨研究

针对高轨道飞行器的定轨问题开展研究,对导航星的空间可见性和信号可用性进行了分析,针对单一系统无法满足定轨需求,提出了多系统互操作的组合定位方法:一方面可以有效增加可见卫星数量,改善卫星几何结构图形,提高卫星定位精度;另一方面,填补单一系统存在覆盖盲区问题,扩大了系统的应用领域。同时,给出了多系统数据融合算法解决GNSS进行高轨飞行器定位的相关问题,最后,通过仿真证明分析模型、方法的可行性。     

基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术，本文研究了双模高可用容错服务器的故障检测机制。首先，通过马尔科夫模型对服务器系统进行了分析，指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响。针对传统使用的故障检测机制成功率较低的问题，提出了一种仲裁检测机制，仲裁系统采用容错方案设计，具有较高的可靠性，在双机无法对故障做出正确判断时，可作为可信的第三方对故障做出准确的定位，有效地提高了系统的检测成功率。在此基础上，一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中，并通过试验证明了其可满足可用性设计要求。     

通用容错测试仪GFTE的设计与实现

故障注入是一种有效的测试和评价容错机制的方法 ,可被普遍应用于容错计算机系统开发的各个阶段中。本文提出了一种基于嵌入式故障注入的容错设备测试方案 ,称之为GFTE ,是针对以 80 4 86 ,80 386 ,80 86为处理器的容错计算机系统设计的。文中详细讨论了GFTE的三个组成部分 :测控模块、通用管理模块和注入器的设计 ,并介绍了这三个部分所采用的实现方法