Lamport算法(4): 例子说明(3) 消息c的发送时间为60,它的到达时间一定 在时刻61或61之后 ·让每条消息都携带发送者时钟的发送时刻 ·当消息到达接收时,如果接收者的时钟指示 值先于发送消息的时间 接受者的时钟值就应快于消息发送时刻加1 之后时间值
• 消息c的发送时间为60，它的到达时间一定 在时刻61或61之后 • 让每条消息都携带发送者时钟的发送时刻 • 当消息到达接收时，如果接收者的时钟指示 值先于发送消息的时间 • 接受者的时钟值就应快于消息发送时刻加1 之后时间值 例子说明(3) Lamport算法(4)：
Lamport算法(5): 两个事件之间,时钟至少应间隔一个嘀嗒 ·如果一个进程依次快速发送或接收两条消息, 就必须调整时钟 ·使两个事件之间(至少)间隔一个时钟嘀嗒
Lamport算法(5)： • 两个事件之间，时钟至少应间隔一个嘀嗒 • 如果一个进程依次快速发送或接收两条消息， 就必须调整时钟 • 使两个事件之间（至少）间隔一个时钟嘀嗒
Lamport算法(6): 附加条件,没有两个事件是精确地在同一时 刻发生的: 1在同一进程中,如果a在b前面发生, 那么c(a)<C(b) 2如果a与b分别代表诮息的发送和接收, 那么c(a)<C(b) 3对于所有的事件a与b而言,c(a)C(b)
• 附加条件, 没有两个事件是精确地在同一时 刻发生的： 1.在同一进程中，如果a在b前面发生， 那么C(a)<C(b) 2.如果a与b分别代表诮息的发送和接收， 那么C(a)<C(b) 3.对于所有的事件a与b而言，C(a)≠C(b) Lamport算法(6)：
Lamport算法(7): 算法给出系统中所有事件的整体定序方法 该算法在学术界中得到广泛认同
• 算法给出系统中所有事件的整体定序方法 • 该算法在学术界中得到广泛认同 Lamport算法(7)：
10.3物理时钟(1) 在某些系统中,实际的时钟时间非常重要, 需要物理时钟 如何使物理时钟与世界的时钟同步? 物理时间之间如何保持同步?
10.3 物理时钟(1) • 在某些系统中，实际的时钟时间非常重要， 需要物理时钟 • 如何使物理时钟与世界的时钟同步？ • 物理时间之间如何保持同步？