分布式计算中稳定性质的等价类划分

摘要：

分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质,如分布式死锁、分布式终止和分布式废码等.稳定性质检测是分布式计算中的重要问题,常通过构造一致全局系统状态来检测稳定性质.本文研究可以在任意系统状态上计算的稳定性质,基于相关事件的概念,定义了强稳定性质和局部稳定性质,证明了局部稳定性质是强稳定性质,存在不是局部稳定性质的强稳定性质和不是强稳定性质的稳定性质.证明了分布式废码是强稳定性质,修正了以前的结论.第一次给出了稳定性质的等价类分类,定义了在任意系统状态上稳定性质的语义.给出了检测强稳定性质的局部算法和控制算法.本文结论的理论意义在于揭示了稳定性质间的共性和异性,其实践意义在于可由一类稳定性质的检测算法得到另一类稳定性质的检测算法.

关键词：分布式计算、强稳定性质、局部稳定性质、等价类划分、相关事件

所属期刊栏目：21

分类号：TP301(计算技术、计算机技术)

在线出版日期：2005-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：302-307