| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 分布式计算中稳定性质的等价类划分 |
| 作者 | 贺乐天 孙永强 |
| 作者单位 | （上海交通大学计算机科学与工程系 上海 200030） |
| 发表年份 | 1998 |
| 发表月份 | 4期 |
| 文章摘要 | 分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质，如分布式死锁、分布式终止和分布式废码等.稳定性质检测是分布式计算中的重要问题，常通过构造一致全局系统状态来检测稳定性质.本文研究可以在任意系统状态上计算的稳定性质，基于相关事件的概念，定义了强稳定性质和局部稳定性质，证明了局部稳定性质是强稳定性质，存在不是局部稳定性质的强稳定性质和不是强稳定性质的稳定性质.证明了分布式废码是强稳定性质，修正了以前的结论.第一次给出了稳定性质的等价类分类，定义了在任意系统状态上稳定性质的语义.给出了检测强稳定性质的局部算法和控制算法.本文结论的理论意义在于揭示了稳定性质间的共性和异性，其实践意义在于可由一类稳定性质的检测算法得到另一类稳定性质的检测算法. |