论文部分内容阅读
在有故障发生的情况下,使用不可靠的故障检测器无法解决无阻塞原子提交问题。本文减弱无阻塞原子提交问题的非平凡性条件,得到一个较弱的问题,再用一个扩展的心跳故障检测器在包含进程故障和链路故障的异步消息传递系统中解决弱化后的问题。
基于心跳故障检测器的无阻塞弱原子提交问题解决方案
【摘 要】
：
在有故障发生的情况下,使用不可靠的故障检测器无法解决无阻塞原子提交问题。本文减弱无阻塞原子提交问题的非平凡性条件,得到一个较弱的问题,再用一个扩展的心跳故障检测器在包含进程故障和链路故障的异步消息传递系统中解决弱化后的问题。
【机 构】
：
厦门大学软件学院,厦门大学计算机科学系
【出 处】
：
计算机应用与软件
【发表日期】
：
2005年10期
其他文献
本文就B/S结构下的W eb开发进行了分析,提出了一种基于MVC的W eb控制层的开发模型,介绍了该模型的设计和具体功能。利用该模型开发时,具有开发灵活、易扩展、维护方便等优点,简化了W eb控制层的开发过程。
本文介绍了一套中国移动短信小额支付平台的解决方案。以中国移动上海中心为例 ,从支付功能、退款功能和对账功能这三个方面的流程出发 ,围绕安全性和保密性分别详细地阐述了其通讯机理和运行机理 ,从而形成了一套完整的切实有效的解决方案。
大多数矩的快速算法仅适用于二值图像。本文给出了一种适用于灰度图像的矩快速算法。对N×N大小的灰度图像 ,引入 6个大小为N的数组 ,将求矩过程中重复计算的量一次计算后存入数组 ,减少了重复和冗余计算。虽然增加了 6个数组 ,内存的相对增加仅为 6/N。该算法原理简单 ,求矩结果精确 ,计算量大大减少。和直接法相比 ,加法和乘法运算次数仅为其 40 4%和2 2 6%。和Yang s算法相比 ,
本文介绍了多线程技术的基本原理和串口通信的函数 ,提出了在Windows环境下实现串口通信的一般方法和步骤 ,提高了系统的可靠性和实时性
路由器的发展需要可扩展路由器体系结构。本文设计和实现了一种用于可扩展路由器的报文结构。新的报文结构在方便实现路由器模块化 ,提高报文访问性能 ,减少模块间内存拷贝 ,实现报文结构容错性等方面具有显著优势