[发明专利]对异步分布式系统中的时钟进行同步

权利要求书

1.一种在包括多个计算机系统(101、151、191)的异步分布式系统(100)中的观察计算机系统(101)处的、用于确定所述观察计算机系统(100)所声称的被观察计算机系统(151)处的时间与所述被观察计算机系统(151)处的实际时间之间的偏差的方法，所述观察计算机系统(101)包括处理器和系统存储器，所述异步分布式系统(100)具有时钟量化约束(192)和漂移率约束(193)，所述时钟量化约束(192)指示所述异步分布式系统(100)的各计算机系统(101、151、191)之间的时钟量化间的最大差，所述漂移率约束(193)指示所述异步分布式系统(100)的每一计算机系统在指定时间段内的最大时钟偏移，所述方法包括：

参与同所述被观察计算机系统(151)的一个或多个消息交换(184、185)的动作，所述消息交换包括：

记录在发送消息(181)时在所述观察计算机系统(101)处的时钟(103)的发送时间(171)的动作；

将消息(181)发送到所述被观察计算机系统(151)的动作，所述消息(181)包括所记录的发送时间(171)；

随后从所述被观察计算机系统(151)接收响应于所述消息(181)的相关消息(182)的动作，所述相关消息(182)包含来自所述被观察计算机系统(151)的时间(183)；

记录在接收到所述相关消息(182)时在所述观察计算机系统(101)处的时钟(103)的接收时间(172)的动作；以及

记录来自所述被观察计算机系统(151)的时间(173)的动作；

基于所记录的发送所述消息的时间(181)与包括在所述相关消息中的来自所述被观察计算机系统的时间(183)之间的差、所述时钟量程约束(192)、以及所述时钟漂移约束(193)来计算所述被观察计算机系统处的时间相对于所述观察计算机系统的时间的下限(161)的动作；

基于所记录的接收到所述相关消息的时间(182)与包括在所述相关消息中的来自所述被观察计算机系统的时间(183)之间的差、所述时钟量程约束(192)、以及所述时钟漂移约束(193)来计算所述被观察计算机系统处的时间相对于所述观察计算机系统的时间的上限(162)的动作；

计算所述上限(162)和所述下限(161)之差的动作；以及

所述处理器通过将计算得到的差除以平均因子来计算所述观察计算机系统所声称的所述被观察计算机系统处的时间与所述被观察计算机系统处的实际时间之间的最大偏差的动作。

2.如权利要求1所述的方法，其特征在于，还包括所述观察计算机系统使用计算得到的最大偏差来制定所述被观察计算机系统处的时间度过的安全视图的动作。

3.如权利要求1所述的方法，其特征在于，还包括所述观察计算机系统和所述被观察计算机系统就一事件何时发生达成一致的动作。

4.如权利要求3所述的方法，其特征在于，所述观察计算机系统和所述被观察计算机系统就一事件何时发生达成一致的动作还包括所述观察计算机系统检测到过去事件在所述被观察计算机系统处发生的动作。

5.如权利要求3所述的方法，其特征在于，所述观察计算机系统和所述被观察计算机系统就一事件何时发生达成一致的动作包括所述观察计算机系统和所述被观察计算机系统就一事件在将来何时发生达成一致的动作。

6.如权利要求1所述的方法，其特征在于，还包括：

所述观察计算机系统参与同所述被观察计算机系统的一个或多个其他消息交换的动作；以及

所述观察计算机系统基于所记录的与所述一个或多个其他消息交换相对应的时间来细化所述下限和所述上限中的一个或多个的动作。