分布式操作系统3剖析.ppt

分布式操作系统 第三章 分布式系统的同步 3.1 时钟同步 分布式算法的特点： 相关信息分散在多台机器中； 远程决策仅仅依赖本地信息； 系统中单点故障应该避免； 没有公用时钟或其他精确的全局时间资源存在。 当每台机器都有自己的时钟，一个发生在另一事件之后的事件可能会被标记为比后者更早的时间。 3.1.1 逻辑时钟 时钟点(clock tick):一次时钟中断； 时钟偏移(clock skew):因计时器频率不同而导致多台机器之间的时间偏差； Lamport提出时钟同步的可能 时钟不需要绝对同步； 若两进程间无相互作用，则不需要同步； 若需要同步，则需要解决进程间事件发生顺序的一致性。 相对时间——逻辑时钟 绝对时间——物理时钟 “先发生”(a→b)关系： 如果a和b是在同一进程内的两个事件，且a发生在b之前，则a→b为真； 如果a是一个进程发送消息，b是另一进程接收这一消息的事件，则a→b为真，即消息不能在发送之前接收，也不能在发送的同时接收，因为传送过程还需要一定时间； 先发生是一个传递关系，即若a→b且b→c则a→c。 为每一事件分配一时间值C，当a→b，则有C(a)C(b) Lamport的解决方案： 直接利用先发生关系； 每条消息都携带发送者的时刻值，当消息到达时，若接收者的时钟值比消息发送时钟小，就立刻将自己的时钟调整为比发送时间大1或更多的值； 在某些条件下，将进程号