论文部分内容阅读
分布式系统的实时和容错理论的研究长期以来是基本独立的.实时问题主要关心调度,即如何设计满足实时性要求(主要是可预测性)的调度算法,并分析任务的可调度性;而主动式容错的核心问题之一是一致性计算,即保证所有参与进程对给定问题都能得到相同的结果.实时容错系统的理论和实现进展对那些同时要求高可靠性和可预测性的关键性应用领域有十分重要的意义.与单机上的本地优先级倒置不同,实时优先级机制在主动式容错应用中会引起组优先级倒置的特殊问题.对此已有理论上的完善解决方案,但还没有系统实现.在实时容错CORBA系统中实现避免组优先级倒置的功能是很有意义的工作.本论文以中法合作项目"实时和容错CORBA"为背景,在详细分析避免组优先级倒置算法的基础上,详细论述了GF-JORBUS系统的分析设计和实现.该系统是第一个实现避免组优先级倒置的实时容错CORBA原型系统.本文的工作分为理论和实现两个方面.理论方面,本文在第二章研究了避免组优先级倒置的算法:分析了它可能的运行流程,对算法满足的理论性质进行了补充说明或证明,并详细探讨了在法国IRISA的EDEN系统的支持下,算法的运行机理和关键步骤的实现策略和理由.第五章对避免组优先级倒置算法的系统性能与系统参数的关系进行了定性分析和仿真,考察了包括服务器复本数目与通用一致性框架(GAF)的计算速度,优先级分配方式的差异,服务器负载变化,各服务器复本处理速度和与客户方传输延时等因素对系统性能的影响.实现方面,论文在第三章使用面向对象的思想对GF-JORBUS的服务方主要模块和线程进行了清晰的划分,采用基于事件的体系结构(EVA)设计了避免组优先级倒置的核心部分,并借助UML进行系统的整体分析设计.第四章阐述了计算组执行进度(GEP)的具体实现,提出了可以动态配置的ORB结构,讨论了不使用截获机制实现容错的方法,并实现了简单的实时ORB扩展模块.