分布式实时中间件系统中容错技术的研究及在大型电网实时控制系统中的应用计算机软件与理论专业论文.docxVIP

东北大学博士学位论文 东北大学博士学位论文 摘要 分布式实时中间件系统中容错技术的研究 及在大型电网实时控制系统中的应用 摘 要 随着低成本、高性能网络技术的出现并实用化，从硬件角度看，将PC机或 工作站用网络连接起来，从而获得更强的处理能力已成为可能。而基于网络技术 的分布式系统具有有效的资源共享、优越的性能价格比、良好的可伸缩性及支持 系统容错等显著优点。遗憾的是，由于软件集成问题，缺乏实时和容错特性的支 持，缺乏标准的接口，缺乏简单而有效的编程模型，过分依赖于专有网络技术和 通信协议。缺乏训练有素的开发人员，以及建设实时系统本身的复杂性，使得这 种具有成本和性能优势的分布式技术在实时系统中应用的进展缓慢。 本文试图通过对分布式实时中间件系统中的容错技术进行研究，以达到降低 设计和开发分布式实时应用成本的目的。第二章介绍了四种分布式实时系统结构 模型，分析了几个典型的分布式实时系统，抽象出分布式实时系统的共同特征， 并提出了一个结构层次的系统模型，该模型的每一层都有一个确定的标准接口， 使在开发分布式实时系统时的软件重用率较高，从而减少了开发分布式实时系统 的费用。提出了一种开放的分布式实时系统的软件结构，这种软件结构由事件总 线、数据总线和系统服务组成，并基于这种结构提出了支持实时容错的大对象编 程模型。第三章对分布式故障检测问题进行了深入研究，分析了为保证故障检测 完整性而产生的网络负载对故障检测有效性(准确性、实时性和伸缩性)的影响， 讨论了传统故障检测方法不能获得最优的伸缩性问题，不能适应分布式实时应用 的要求。提出了度量分布式实时故障检测性能的几个指标，并给出这些指标之间 的关系。设计了一种分布式实时故障检测算法，可以折衷完整性和有效性的矛盾。 该算法不仅能满足最终强完整性，也能满足准确性、实时性和伸缩性要求。证明 了该算法的完整性、准确性、实时性和伸缩性。第四章详细讨论了几种故障恢复 技术，认为任何单一的恢复技术都不能满足实时容错的要求，提出了实时日志机 制，将大对象复制技术和恢复技术结合起来，将恢复算法分布到多个结点中，形 成分布式向前恢复算法。对分布式向前恢复算法中主BOB对象的唯一性、复制 BOB对象状态的一致性、at．most．once语义和实时性给予了证明。第五章提出了 组通信在实时应用中的目标是实现服务器的复制和发布／订阅机制的消息传递。讨 论了可靠组通信协议面临的挑战是如何应对通信过程中遇到的故障，分析了点对 点报文传递中的故障模型，并推广到组通信的故障模型。给出了一种分布式实时 II 东北大学博士学位论文 东北大学博士学位论文 摘要 系统中可靠多播协议的设计与实现，并对协议原型实现进行了实际测试。第六章 介绍了分布式实时中间件系统中的几项关键实现技术，包括编程模型、系统结构、 并发控制、实时调度及实时通信。基于该中间件，实现了分布式实时故障检测算 法，对分布式实时故障检测算法原型进行了形式化分析，得出了各种故障情形下 故障检测的最大时间延迟。实现了分布式实时故障恢复算法，对分布式实时故障 恢复的实现原型进行了定量的形式化分析，给出了各种故障情况下系统恢复的最 大时间延迟。采用马尔可夫模型，对一个基于该中间件的大型电网实时监控系统 的可靠性进行了分析。第七章对本文的研究工作进行了总结，展望了本课题未来 需要研究的内容。 【关键词】分布式实时系统、实时中间件、软件结构、可靠的实时通信、分布式 实时容错、实时容错调度、实时故障检测、实时故障恢复 III 东北大学博士学位论文 东北大学博士学位论文 ABSTRACT Research on Fault--Tolerant Techniques for Distributed Real，．Time Middleware Systems and Their Applications in Large—Scale Power Grid Control Systems AB STRACT With emerging of high·—performance and low·-cost network technologies,from the hardware perspective，it is possible to network multiple relatively cheap PCs and workstations