摘要
如何精确而有效地捕获过去执行时刻、各分布活动之间的相互作用关系是引入分布式逻辑时钟的主要目的。本文首先依据分布特征,给出了一个较Lamport逻辑时钟更为精确的逻辑时钟定义,然后从更为一般性的进程模型出发给出了一切实有效的分布逻辑时钟LT。在LT的定义中不仅考虑了进程之间的直接作用关系,也考虑了通过共享资源的间接作用关系。最后对LT的正确性给予了严格证明,并讨论了LT的一些应用方法及性质。
出处
《计算机工程与应用》
CSCD
北大核心
1993年第4期44-51,共8页
Computer Engineering and Applications
