抽象事件的时间戳

Abstract Event Timestamp

调试分布式应用系统要比调试顺序程序困难得多,原因之一是分布式应用系统要比顺序程序复杂得多.为了处理分布式应用系统的复杂性,提出了对分布式应用系统的事件进行抽象的调试方法,这种方法让用户从不同的层次观察分布式应用系统的行为.对分布式应用系统调试和抽象时,抽象事件(事件集)之间的先于关系起着重要作用,而逻辑时钟用来确定事件间的先于关系.本文给出了一种由事件的时间戳计算抽象事件(事件集)时间戳的方法,这种方法比以往的方法所占存储量小且计算速度快.

Debugging distributed applications is commonly thought to be very difficult.and one of the problems is that distributed applications are inherently more complex than sequential ones.To manage this problem,the method of abstracting events is proposed,which lets the users grasp various aspects of behaviors of a distributed application.Abstract event time stamp is used to decide the `happened before' relation among abstract events,which plays a very important role during abstracting and debugging distributed applications.We provide a new incompleted algorithm of timestamping abstract event based on Lamport logical time,which needs less storage and costs less time than others.Proof of the correctness of the algorithm is also given.