第五章同步和互斥.pptVIP

第五章 同步和互斥 5.2 同步机构 逻辑时钟 在先发生关系的时空图 水平方向代表空间，垂直方向代表时间，圆点代表事件，竖线代表进程，进程之间带箭头的线代表报文。 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟 设Ci代表进程i的逻辑时钟，该逻辑时钟就是一个函数，它给进程i中的事件a分配一个正整数值Ci(a)。 时钟条件： 对任何事件a和b，如果a→b，则C(a)C(b)。但相反的结论不能成立。 若a和b是同一进程Pi中的两个时间，并且a→b，则Ci(a)Ci(b)； 若a代表“一个Pi进程发送一个报文”这个事件，b代表“另一个进程Pj接收这个报文”这个事件，Ci(a)Cj(b)。 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟 标量逻辑时钟 每个进程Pi有一个逻辑时钟LCi，LCi被初始化为init(init≥0)并且它是一个非减的整数序列。进程Pi发送的每个报文m都被标上LCi的当前值和进程的标号i，从而形成一个三元组(m,LCi,i)。任何一个逻辑时钟LCi基于以下两条规则更新它的逻辑时钟值： 当发生一个事件(一个外部发送或内部事件)之前，我们更新LCi： LCi:=LCi+d (d0) 当收到一个带时间戳的报文(m,LCj,j)时，我们更新LCi： LCi:=max(LCi,LCj)+d (d0) 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟 标量逻辑时钟 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟 向量逻辑时钟 在向量逻辑时钟中，每个进程Pi和一个时间向量LCi[1,…,n]相关联，其中 向量元素LCi[i]描述了进程Pi的逻辑时间进展情况，即自身的逻辑时间进展情况； 向量元素LCi[j]表示进程Pi所知的关于进程Pj的逻辑时间进展情况； 向量LCi[1,…,n]组成进程Pi对于逻辑全局时间的局部视图。 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟 向量逻辑时钟 任何一个逻辑时钟LCi基于以下两条规则更新它的逻辑时钟值： 当发生一个事件(一个外部发送或内部事件)之前，Pi更新LCi[i]： LCi[i]:=LCi[i]+d (d0) 每个报文捎带发送方在发送时的时钟向量，当收到一个带时间戳的报文(m,LCj,j)时，Pi更新LCi： LCi[k]:=max(LCi[k],LCj[k]) 1≤k≤n LCi[i]:= LCi[i]+d (d0) 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟 向量逻辑时钟 第五章 同步和互斥 5.3系统的全局状态 系统的全局状态的定义 令LSi为进程Pi的局部状态，则全局状态GS=(LS1，LS2，…, LSn)。 两个集合： 集合transit包括了进程Pi和进程Pj之间的通信通道上的所有报文，集合inconsistent包括了所有接收事件记录在Pj而发送事件没有记录在Pi的报文。其中m是报文，s(m)是报文m的发送事件，r(m)是报文m的接收事件。 第五章 同步和互斥 5.3系统的全局状态 系统的全局状态的定义 一致的全局状态和非一致的全局状态： 全局状态GS是一致的，当且仅当 全局状态GS是非传送中的，当且仅当 如果一个全局状态是一致的并且是非传送中的，那么它就是强一致的，也就是说，局部状态集是一致的并且没有正在传送中的报文。 第五章 同步和互斥 5.3系统的全局状态 系统的全局状态的定义 第五章 同步和互斥 5.3系统的全局状态 全局状态的获取（快照算法）： 假如启动算法的进程为P，那么它首先记录自己的局部状态，然后它沿着它的输出通道发送一个标志(marker)，指示接收者应该参与记录一个全局状态的工作。 当接收者Q通过它的输入通道C收到一个标志，它将依据不同条件执行以下不同操作： 如果Q还没有记录自己的局部状态，它首先记录自己的局部状态，并记录通道C的状态为空报文序列，然后也沿着它自己的输出通道发送一个标志。 如果Q已经记录了自己的局部状态，通过通道C收到的标志用来指示Q应该记录通道的状态。通道的状态是Q记录它的局部状态以来到收到这个标志前所收到的报文系列。 第五章 同步和互斥 5.3系统的全局状态 全局状态的获取（快照算法）： 如果一个进程已经沿它的每个输入通道接收到一个标志，并对每个标志进行了处理，就称它已经完成了它的那部分算法。 一个进程的局部状态，连同它的所有输入通道的状态将被发送到这个快照的发起进程。 第五章 同步和互斥 5.3系统的全局状态 全局状态的获取（快照算法）： P 1 P 2 P 3 C 12 C 21 C 32 C 23 C