【作者】 文琦； 赵致琢；

【机构】 厦门大学计算机科学系；

【摘要】 <正> 1 引言在分布式系统中当检测系统的全局状态是否具有某些性质时,就需要对各进程的局部状态进行分析。全局状态的计算(快照计算)是分布式计算中的基础问题之一。通过监控快照,对稳定性断言求值,可以检测得出某个稳定性质。而且,通过快照算法,保存系统一致恢复点,可支持系统出现故障时实现恢复到最近的无故障全局状态点继续执行,从而实现容错计算。对于某些稳定性断言,或是一些全局状态函数更多还原

【Abstract】 Computing consistent global snapshots is one of major problems met in distributed systems and distributed computations. A snapshot is made of the computing nodes states and of the network channels contents, it can reflect the states of processes and channels at the same time from logic, and achieve a configuration, so we can apply it repeatedly to detect the occurrence of a stable property ,for example detect termination or deadlock. In this paper, we focus on a particular snapshots without in-transit message, and on this basis we focus on termination. This special kind of algorithm can solve termination detection effectively, save the memory space.更多还原