第5章同步和互斥解说.pptVIP

计算机与网络系统的4种体系结构 Host / Terminal Workstation / File Server Client / Server Peer-to-Peer 资源分配原则 1、全集中管理方式中：资源申请者总是向惟一的服务员提出，服务员按一定顺序处理每个申请，如果资源已经被分配则申请者等待。只要不发生死锁和占用资源者无限期占用资源的情况，任何申请者必定能在有限时间内获得资源。比如Host系统 2、集中分布管理方式中：申请者先向一个服务员提出申请，如果暂时不能获得资源就转向另一个服务员申请。这时可能发生“饿死”现象。当然，也有可能发生死锁 3、全分布管理方式中：申请者向任一服务员提出申请，服务员共同协商分配资源。还会发生“饿死”和死锁现象吗？ 定义： 在先发生关系：a→b?LCiLCj （P160） 并发关系： a‖b ? LCi‖LCj 第五章 同步和互斥 5.2 同步机构 物理时钟 分布式物理时钟 每个节点计算机以预先定义好的时间间隔定期地广播它的当前时间。由于时钟存在漂移，假定广播报文并不是很准确地在同一时刻发出。一旦一个节点广播了它的当前时间，就立即启动一个定时器，在定时期内接收其它节点的报文，每个报文标明了当地的当前时间，然后分别按对应的网络延迟对其它节点的时间值进行校正。 第五章 同步和互斥 5.2 同步机构 物理时钟 分布式物理时钟 时间值校正方法： (1) 计算所有节点的平均值，把这个值作为当前时间。这种方法可能会产生不准确的结果，因为某些报文由于重发超出了通常的网络延迟。 (2) 设定一个容错门限延迟，这个门限为单次发送的最大网络延迟，任何超过这个门限延迟的值被认为是错误的并被丢弃。其他未被丢弃的值进行平均，平均值作为当前时间。 (3)丢弃m个最大的时间值和m个最小的时间值，这些值被认为是不准确的。剩下的进行平均，平均值作为当前时间。 第五章 同步和互斥 5.2 同步机构 物理时钟 分布式物理时钟 时间值校正方法： 第五章 同步和互斥 5.2 同步机构 逻辑时钟 逻辑时钟可以给分布计算系统中的事件一个唯一的排序。逻辑时钟的本质是基于Lamport定义的“在先发生关系” 。 在先发生关系 如果a和b均是同一进程中的两个事件，并且a在b之前出现，则a→b； 若a代表“一个进程发送一个报文”这个事件，b代表“另一个进程接收这个报文”这个事件，则a→b； 如果a→b，且b→c，则a→c。 两个不同的事件a和b，如果a→b，或b→a，则事件a和b是因果关联的。如果a→b和b→a均不成立，则称事件a和b是并发的。 第五章 同步和互斥 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基于以下两条规则更新它的逻辑时钟值： 当发生一