摘要
在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足时间戳关系无环性,并基于事件顺序给出时间戳关系无环性的验证算法。实例表明,该方法易于实现,且具有一定适用性。
This paper proposes a timestamp protocol processing method based on event order under the situation of not considering network delay.On the basis of analyzing the timestamp and event order,it proves that if the state satisfies no cycles property of timestamp,the transfer of state can main the timestamp freshness.Verification algorithm of timestamp relation no cycles property based on event order is given.Example shows that this method is simple to realize and it has certain applicability.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第23期124-126,129,共4页
Computer Engineering
关键词
协议处理
事件顺序
时间戳
protocol processing
event order
timestamp
