一个有效的重复快照算法.pdfVIP

第 20卷 第 8期 计 算 机 学 报 Vo1．2o No．8 l997年 8月 CHINESE J．COMPUTERS Aug．1997 一 个有效的重复快照算法 贺乐天 孙永强 1P≥D＼、e (上海交通大学计算机科学与工程系 上海 200030) 摘 要 快照算法是很多分布式应用的基础．本文提出了一个适用于非FIFO异步分布式系统的 重复快照算法．算法给消息附上快照编号，使用了token传递，控制消息复杂度为0()，各进程上 使用较少的空间．使用该算法．任一进程任何时候都可得到一个一致的全局状态 文中证明了算法 的正确性 ，并讨论了算法的适用性 关键词 分布式计算，重复快照算法，一致割，一致全局状态，非FIFO通信 吞蔫 } 分类号 AN EFFlCIENT REPEATED SNAPSH0TALG0RlTHM HE Letian SUN Yongqiang (Department C~ puterSdenceand Engine~ing，SlmnglmiJiaet~gUniv~sity—Slmnglmi2000301 Abstract Snapshotalgorithmsarefundamentalformanydistributedapplications， Thispaperpresentsarepeatedsnapshotalgorithm fornon--FIFO asynchronousdis-r trihuted systems．Thealgorithm attachessnapshotnumberstomessages，usesto— kenpassingandneedslittlespaceoneachprocess．Thecomplexityofcontrolmes— sagesisO (n)．Usingthisalgorithm ，anyprocesscangetaconsistentglobalstateat anytime．Inthispaper，thealgorithm isprovedanditsavailabilityisdiscussed． Keywords Distributedcomputation，repeatedsnapshotalgorithm ，consistentcut consistentglobalstate，non—FIFO communication． 1 引 言 分布式系统的全局状态是所有进程和通信通道局部状态的集合．由于缺乏全局时钟，不可 能同时记录这些局部状态．为了构造系统的一致全局状态，使得能在一个符合观察的基础上研 究计算，Chandy等 “提出了分布式快照算法．快照算法是分布式计算中很多重要应用的基础， 而且常常需要重复执行．检测终止和死锁等稳定性质0。时，快照算法重复执行直到性质满足 为止{分布式数据库中，要不断地保存一致的恢复点 ]，以便系统崩溃时恢复到最近的恢复点； 分布式调试和监控中，要不断地执行快照算法来得到检查点-s以跟踪和控制系统；分布式模拟 本文 1996—04—12收到一修改文 1996-1010收到 ·贺乐天 ，博士研究生，主要研究方 向为分布式系统、分布式算法 孙永强，教授，博士生导师 ，主要研究领域为计算理论、新型语言． 682 计 算 机 学 报 中，确定全局虚拟时间的近似值 是一项基本的任务，以使局部模拟器能顺序执行事件． 现已提出了很多的快照算法 10_，这些算法在适用的通信模型、复杂度及对计算的影响 上有较大的差别．Chandy等的算法_I适合于FIFO通信的系统，消息复杂度为O(n)．Lai等 的算法 ‘适合于非FIFO的系统，不需要控制消．包，但需要很大的存储空间，算法需要附加措 施来保证终止．Mattern_6降低了文献[71中算法的空间复杂度 。提