第五章同步和互斥.ppt

1、第五章 同步和互斥 5.1 分布式系统中的资源管理,资源管理方式,全集中管理方式：所有资源都由一个服务员管理；集中分布管理方式：一个资源由一个服务员管理；全分布管理方式：一个资源是由多个服务员共同管理。,第五章 同步和互斥 5.1 分布式系统中的资源管理,控制空间,说明资源管理分散程度的参数：参加一个资源的多重管理的服务员数；被多个服务员管理的资源数。,第五章 同步和互斥 5.1 分布式系统中的资源管理,第五章 同步和互斥 5.1 分布式系统中的资源管理,控制空间 ：,第五章 同步和互斥 5.1 分布式系统中的资源管理,多个服务员参加对同一资源进行控制的方式：,顺序方式：按某种顺序，先由一个服

2、务员控制一段时间，之后再由另一个服务员控制一段时间。 分工方式：由不同的服务员并发或顺序地控制同一资源执行不同的活动。民主方式：所有服务员共同协商一致对同一资源执行每个管理活动。,说明各种多重管理形式的分散性的参数：,一致性是指由所有服务员共同完成的对同一个资源管理的活动数目。 所谓均等性是各服务员对同一资源进行某一控制活动时被分配的管理权限和责任的平等程度。参加每个活动的服务员数目。,第五章 同步和互斥 5.1 分布式系统中的资源管理,一致性：,第五章 同步和互斥 5.1 分布式系统中的资源管理,均等性：,第五章 同步和互斥 5.1 分布式系统中的资源管理,参加每个活动的服务员数目：,第五章

3、 同步和互斥 5.1 分布式系统中的资源管理,单个资源的控制空间 ：,第五章 同步和互斥 5.2 同步机构,分布式系统中同步机构的作用,同步点：为了达到合作，各个进程在执行的过程中必须存在若干点，超过这些点时，一个进程在另一个进程执行完某一活动前不能继续执行，这些点称为这两个进程之间的同步点。,分布计算系统中共享资源的两类：一类是各进程可以同时访问的，如中央处理机(允许多个进程交叠使用一个处理机)、只读文件和不允许修改的存放子程序和数据的主存区域等；另一类是不允许多个进程同时访问的，每次只允许一个进程使用，如大多数外部设备(如打印机)、可写的文件以及主存中可修改的区域等。同步机构在互斥控制中的

4、作用是对活动的执行进行排序。,第五章 同步和互斥 5.2 同步机构,分布式系统中同步机构的作用,一致状态：一个计算系统应该在所有时间内满足一定的外部规定或约束，如果一个计算系统确实在所有时间内满足了一定的外部规定或约束，这时我们称系统状态是一致的。同步机构的目的就是给进程提供某种手段，使系统保持一致状态。,分布计算系统的计算方式分成三种 ：完全复制的计算。任何操作所激发的每个活动必须由所有的消费者共同处理，要求所有的活动均应完成。这时同步机构的目的是保证消费者处理活动的次序必须相同。,第五章 同步和互斥 5.2 同步机构,分布计算系统的计算方式分成三种 ：完全分割的计算。一个操作所激发的不同活

5、动由不同的消费者分别独自处理。在这种情况下，同步机构的目的是保证所有相互干扰的活动成为有序的，使得该操作保持原子性(要么完成操作，要么干脆不发生)。分割和部分复制的计算。一个操作所激发的活动中，某些是由不同的消费者独自处理的，某些操作是由一些消费者共同处理。它兼有前面两种计算形式的特点。对于不同的计算方式，同步机构的目的和要求也是不同的。,第五章 同步和互斥 5.2 同步机构,评价同步机构的标准：响应时间和吞吐量。各种机构应尽量利用系统的并行性质，以提高吞吐量和缩短响应时间。恢复能力。同步机构应能使系统从故障中恢复过来。 开销。指使用同步机构的代价，包括额外增加的报文长度、数量和对它们的处理时

6、间，以及用于存放同步信息所需的额外存储空间。 公平性。操作发生冲突时，同步机构应能避免生产者饿死，各生产者具有平等的权利。,第五章 同步和互斥 5.2 同步机构,评价同步机构的标准：可扩充性。系统扩充新的处理机时同步机构应不影响其正常运行。连接方式。使用某些同步机构要求生产者在逻辑上全部互连，这样所产生的开销可能很大；有些同步机构只要求一个生产者知道其邻居的情况，开销也较少。 初始化。使用同步机构要求系统应容易进行初始化，知道进程何时可以进行生产和消费活动。 排序方法。当生产者对一序列操作进行某种指定排序时，必须交换报文，各种同步机构实现效率可能大不相同。,第五章 同步和互斥 5.2 同步机构

7、,分布式系统中同步机构：,同步实体：物理时钟、事件计数器、逻辑时钟、循环令牌和顺序器、进程等。,集中式同步机构和分布式同步机构：在集中式同步机构中，每个生产者每次发动一个操作时均要访问该同步实体。集中式同步实体有一个为所有必须相互同步的进程都知道的名字，任何时候这些进程的任何一个均可访问这一同步实体。执行每个功能如进程调度、数据访问控制等均要经过集中的同步实体进行控制 。分布式同步机构不存在一个集中的同步实体，执行各种功能时是分散控制的。,第五章 同步和互斥 5.2 同步机构,分布式系统中同步机构：,集中式同步机构和分布式同步机构的优缺点：集中式同步机构最大的缺点是不可靠，一旦出故障就可能造成

8、全局不工作；另外在性能方面也大大下降，因为集中会产生一个瓶颈。但实现简单。 分布式同步机构在可靠性和性能方面优于集中式同步机构，也有很多种，主要有多重物理时钟、多重逻辑时钟、循环令牌等。但实现复杂。,第五章 同步和互斥 5.2 同步机构,物理时钟,准确时间值的获取和物理时钟的同步,获取物理时钟的准确值 ：,物理时钟服务器,WWV或GEOS,请求时间,返回准确时间,然后，根据通信延迟进行准确地校正。,第五章 同步和互斥 5.2 同步机构,物理时钟,准确时间值的获取和物理时钟的同步,物理时钟的同步过程：A通过网络向B发送请求；B读取本地时钟值；B的时钟值通过网络传递给A；按照网络所需的传输延迟对B

9、的时钟值进行校正；比较A的时钟值和B的时钟值。,物理时钟的同步方式：集中式、分布式。,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,集中式物理时钟的实现方式：基于广播的方式、请求驱动的方式。,在基于广播的集中式物理时钟的实现方案中，集中的时钟服务员定期地向系统中的各个成员广播当前的时间。基于广播的方式1：顾客只是简单地将本地时间同所接收到的时间进行对比，当然这种对比考虑到了通常的网络传输延迟，然后校正自己的本地时钟。,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,基于广播的方式1：时间校正方法：如果顾客的时钟值大于时钟服务员的时钟值，顾客将自己的时钟调慢，使

10、之逐渐接近准确的时间。时钟值不能往回调，因为映像到此时钟的事件已经产生。 如果顾客的时钟值落后于时钟服务员的时钟值，则顾客将时钟值向前拨，同时将时钟适当地调快。,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,时间校正方法：,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,基于广播的方式2（Berkeley算法）：顾客收到广播时间之后向集中的时间服务员发送它本地的当前时间值；每个顾客到时间服务员有不同的平均延迟，这些延迟时间预先存放在时间服务员处。时间服务员根据这些延迟对不同顾客传送来的当地时间进行校正； 任何校正过的时间如果同时间服务员上的时间差值超过了对应节

11、点到时间服务员的延迟时间常量，那么这个时间将不被列入考虑之列。因为这个时间可能是由于系统故障导致的，被认为是不准确的。,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,基于广播的方式2（Berkeley算法）：剩余被校正的时间值连同时间服务员上的时间值一起进行平均，这个平均值作为当前时间。 时间服务员为每个顾客计算误差，然后将每个误差发送给对应的顾客。 每个顾客校正自己的时钟。同前一个处理方式一样，时钟是不能往回拨的，但是可以按误差值将自己的始终慢下来。,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,基于广播的方式2（Berkeley算法）：,第五章 同步和互

12、斥 5.2 同步机构,物理时钟,集中式物理时钟,请求驱动方式：(1) 顾客向时间服务员发送请求，要求获得当前时间；(2) 时间服务员返回当前时间值；(3) 顾客计算本地的时间值和服务员返回的时间值之间的差值，这个差值用于时钟值的校正；它的实现不仅考虑了网络延迟，还包含了报文的响应和服务时间；(4) 如果校正值大于预先规定好的门限值，则被认为是不准确的，这可能是由于网络故障引起的，不准确的值被丢弃；(5) 如果服务员返回的时间值被认为是准确的，则对本地时钟进行校正，同样地，本地时钟不能往回拨，只能使本地时钟慢下来。,第五章 同步和互斥 5.2 同步机构,物理时钟,集中式物理时钟,请求驱动方式：,

13、第五章 同步和互斥 5.2 同步机构,物理时钟,分布式物理时钟每个节点计算机以预先定义好的时间间隔定期地广播它的当前时间。由于时钟存在漂移，假定广播报文并不是很准确地在同一时刻发出。一旦一个节点广播了它的当前时间，就立即启动一个定时器，在定时期内接收其它节点的报文，每个报文标明了当地的当前时间，然后分别按对应的网络延迟对其它节点的时间值进行校正。,第五章 同步和互斥 5.2 同步机构,物理时钟,分布式物理时钟时间值校正方法：(1) 计算所有节点的平均值，把这个值作为当前时间。这种方法可能会产生不准确的结果，因为某些报文由于重发超出了通常的网络延迟。(2) 设定一个容错门限延迟，这个门限为单次发

14、送的最大网络延迟，任何超过这个门限延迟的值被认为是错误的并被丢弃。其他未被丢弃的值进行平均，平均值作为当前时间。(3)丢弃m个最大的时间值和m个最小的时间值，这些值被认为是不准确的。剩下的进行平均，平均值作为当前时间。,第五章 同步和互斥 5.2 同步机构,物理时钟,分布式物理时钟时间值校正方法：,第五章 同步和互斥 5.2 同步机构,逻辑时钟,逻辑时钟可以给分布计算系统中的事件一个唯一的排序。逻辑时钟的本质是基于Lamport定义的“在先发生关系” 。,在先发生关系,如果a和b均是同一进程中的两个事件，并且a在b之前出现，则ab； 若a代表“一个进程发送一个报文”这个事件，b代表“另一个进程

15、接收这个报文”这个事件，则ab； 如果ab，且bc，则ac。 两个不同的事件a和b，如果ab，或ba，则事件a和b是因果关联的。如果ab和ba均不成立，则称事件a和b是并发的。,第五章 同步和互斥 5.2 同步机构,逻辑时钟,在先发生关系的时空图,水平方向代表空间，垂直方向代表时间，圆点代表事件，竖线代表进程，进程之间带箭头的线代表报文。,第五章 同步和互斥 5.2 同步机构,逻辑时钟,逻辑时钟,设Ci代表进程i的逻辑时钟，该逻辑时钟就是一个函数，它给进程i中的事件a分配一个正整数值Ci(a)。,时钟条件： 对任何事件a和b，如果ab，则C(a)C(b)。但相反的结论不能成立。若a和b是同一进

16、程Pi中的两个时间，并且ab，则Ci(a)Ci(b)；若a代表“一个Pi进程发送一个报文”这个事件，b代表“另一个进程Pj接收这个报文”这个事件，Ci(a)0) 当收到一个带时间戳的报文(m,LCj,j)时，我们更新LCi： LCi:=max(LCi,LCj)+d(d0),第五章 同步和互斥 5.2 同步机构,逻辑时钟,逻辑时钟,标量逻辑时钟,第五章 同步和互斥 5.2 同步机构,逻辑时钟,逻辑时钟,向量逻辑时钟,在向量逻辑时钟中，每个进程Pi和一个时间向量LCi1,n相关联，其中向量元素LCii描述了进程Pi的逻辑时间进展情况，即自身的逻辑时间进展情况；向量元素LCij表示进程Pi所知的关于

17、进程Pj的逻辑时间进展情况；向量LCi1,n组成进程Pi对于逻辑全局时间的局部视图。,第五章 同步和互斥 5.2 同步机构,逻辑时钟,逻辑时钟,向量逻辑时钟,任何一个逻辑时钟LCi基于以下两条规则更新它的逻辑时钟值：当发生一个事件(一个外部发送或内部事件)之前，Pi更新LCii：LCii:=LCii+d(d0) 每个报文捎带发送方在发送时的时钟向量，当收到一个带时间戳的报文(m,LCj,j)时，Pi更新LCi： LCik:=max(LCik,LCjk)1knLCii:= LCii+d(d0),第五章 同步和互斥 5.2 同步机构,逻辑时钟,逻辑时钟,向量逻辑时钟,第五章 同步和互斥 5.3系统

18、的全局状态,系统的全局状态的定义,令LSi为进程Pi的局部状态，则全局状态GS=(LS1，LS2，, LSn)。,两个集合：,集合transit包括了进程Pi和进程Pj之间的通信通道上的所有报文，集合inconsistent包括了所有接收事件记录在Pj而发送事件没有记录在Pi的报文。其中m是报文，s(m)是报文m的发送事件，r(m)是报文m的接收事件。,第五章 同步和互斥 5.3系统的全局状态,系统的全局状态的定义,一致的全局状态和非一致的全局状态：全局状态GS是一致的，当且仅当,全局状态GS是非传送中的，当且仅当,如果一个全局状态是一致的并且是非传送中的，那么它就是强一致的，也就是说，局部状

19、态集是一致的并且没有正在传送中的报文。,第五章 同步和互斥 5.3系统的全局状态,系统的全局状态的定义,第五章 同步和互斥 5.3系统的全局状态,全局状态的获取（快照算法）：,假如启动算法的进程为P，那么它首先记录自己的局部状态，然后它沿着它的输出通道发送一个标志(marker)，指示接收者应该参与记录一个全局状态的工作。当接收者Q通过它的输入通道C收到一个标志，它将依据不同条件执行以下不同操作： 如果Q还没有记录自己的局部状态，它首先记录自己的局部状态，并记录通道C的状态为空报文序列，然后也沿着它自己的输出通道发送一个标志。 如果Q已经记录了自己的局部状态，通过通道C收到的标志用来指示Q应该

20、记录通道的状态。通道的状态是Q记录它的局部状态以来到收到这个标志前所收到的报文系列。,第五章 同步和互斥 5.3系统的全局状态,全局状态的获取（快照算法）：,如果一个进程已经沿它的每个输入通道接收到一个标志，并对每个标志进行了处理，就称它已经完成了它的那部分算法。一个进程的局部状态，连同它的所有输入通道的状态将被发送到这个快照的发起进程。,第五章 同步和互斥 5.3系统的全局状态,全局状态的获取（快照算法）：,P1启动了快照算法，它同时执行三个动作：(a)记录局部状态；(b)发送一个标志到C12和C13；(c)设置一个计数器对来自输入通道C21和C31的报文进行计数。,第五章 同步和互斥 5.

21、3系统的全局状态,全局状态的获取（快照算法）：,一旦进程P2从通道C12接收到标志，它也执行三个动作：(a)记录其局部状态并记录通道C12的状态为空；(b)发送一个标志到通道C21和C23；(c)设置一个计数器对来自输入通道C32的报文进行计数。,第五章 同步和互斥 5.3系统的全局状态,全局状态的获取（快照算法）：,类似地，进程P3也执行三个动作。我们假定从进程P1来的标志比从进程P3来的标志早到达进程P2。一旦从进程P3来的标志到达进程P2，P2就记录通道C32的状态为自设置计数器以来沿着这个通道接收到的报文的序列。于是进程P2完成了自己的那部分算法，因为它已经从每个输入通道接收到一个标志

22、并已经记录了自己的局部状态。类似地，进程P3在接收到从P1和P2发来的标志后，属于它的那部分算法终止。进程P1在接收到从P2和P3发来的标志后，属于它的那部分算法终止。,第五章 同步和互斥 5.3系统的全局状态,一致全局状态的充要条件,Z字形路径：一条Z字形路径存在于进程Pi的检查点A到进程Pj的检查点B(Pi和Pj可以是同一个进程)，当且仅当存在报文m1，m2，mn(n1)满足：m1是进程Pi在检查点A之后发送的；如果ml(1ln)被进程Pk接收，则ml+1在同一个或后面的检查点间隔被Pk发出。注意，ml+1可能在ml被接收之前或之后发送；mn被进程Pj在检查点B之前接收。,在Z字形路径中，

23、因果关系路径中那样的报文链是允许的，另外还允许这样的报文链，即链中的任何报文在前一个报文被接收之前发送，只要发送和接收在同一个检查点间隔里即可。,第五章 同步和互斥 5.3系统的全局状态,一致全局状态的充要条件,Z字形路径实例：,从C11到C31的由报文m1和m2组成的路径是一条Z字形路径。从C11到C32的由报文m1和m3组成的路径是一条Z字形路径，同时也是一条因果关系路径。检查点C22形成一条由报文m4和m1组成的Z字形循环。,第五章 同步和互斥 5.3系统的全局状态,一致全局状态的充要条件,一致性定理：一个检查点集S，其中每个检查点属于不同的进程，它们属于同一个一致性的全局状态当且仅当S

24、中不存在这样的检查点，它有一条到S中任何其他检查点(包括它自身)的Z字形路径。,推论：检查点C可以属于一个一致性全局状态当且仅当C不属于一个Z字形循环； 属于不同进程的两个检查点A和B，它们可以属于同一个一致性全局状态当且仅当 没有包括A或B的Z字形循环；在A和B之间不存在Z字形路径。,第五章 同步和互斥 5.4互斥算法,互斥问题互斥问题就是定义一些基本的操作来解决共享资源的多个并发进程的冲突问题。,互斥算法的主要目标是保证在任一个时刻只能有一个进程访问临界区。一个正确的互斥算法必须避免冲突(死锁和饿死)和保证公平性。为此，算法应满足以下三个条件： 已获得资源的进程必须先释放资源之后，另一个进

25、程才能得到资源； 不同的请求应该按照这些请求的产生顺序获得满足，请求应该按照某种规则进行排序，例如使用逻辑时钟确定请求的顺序； 若获得资源的每个进程最终都释放资源，则每个请求最终都能满足。,第五章 同步和互斥 5.4互斥算法,互斥问题,衡量互斥算法性能的参数： 完成一次互斥操作所需的报文数目；同步延迟，即从一个进程离开临界区之后到下一个进程进入临界区之前的时间间隔； 响应时间，即从一个进程发出请求到该进程离开该临界区之间的时间间隔。,第五章 同步和互斥 5.4互斥算法,集中式互斥算法,第五章 同步和互斥 5.4互斥算法,Lamport时间戳互斥算法,Lamport时间戳互斥算法由以下5条规则组

26、成 ：一个进程Pi如果为了申请资源，它向其它各个进程发送具有时间戳Tm:Pi的申请资源的报文，并把此报文也放到自己的申请队列中； 一个进程Pj如果收到具有时间戳Tm:Pi的申请资源的报文，它把此报文放到自己的申请队列中，并将向Pi发送一个带有时间戳的承认报文。如果Pj正在临界区或正在发送自己的申请报文，则此承认报文要等到Pj从临界区中退出之后或Pj发送完自己的申请报文之后再发送，否则立即发送； 一个进程Pi如果想释放资源，它先从自己的申请队列中删除对应的Tm:Pi申请报文，并向所有其他进程发送具有时间戳的Pi释放资源的报文；,第五章 同步和互斥 5.4互斥算法,Lamport时间戳互斥算法,L

27、amport时间戳互斥算法由以下5条规则组成 ：一个进程Pj如果收到Pi释放资源的报文，它从自己的申请队列中删除Tm:Pi申请报文； 当满足下述两个条件时，申请资源的进程Pi获得资源： Pi的申请队列中有Tm:Pi申请报文，并且根据时间戳它排在所有其它进程发来的申请报文前面； Pi收到所有其它进程的承认报文，其上面的时间戳值大于Tm。,第五章 同步和互斥 5.4互斥算法,Lamport时间戳互斥算法,Lamport时间戳互斥算法实例：,第五章 同步和互斥 5.4互斥算法,Ricart-Agrawala互斥算法,一个进程申请资源时向所有其他进程发出申请报文；其它进程收到申请报文后若不在临界区并且

28、自己未申请进入临界区，或者自己虽然发出了申请报文，但自己的报文排在收到的申请报文之后，则回答表示同意；申请资源的进程仅在收到所有进程的回答报文后才进入临界区使用资源；一个进程使用完资源后，它向所有未给回答的其它申请发送回答报文。,第五章 同步和互斥 5.4互斥算法,Ricart-Agrawala互斥算法,Ricart-Agrawala互斥算法实例：,第五章 同步和互斥 5.4互斥算法,Maekawa互斥算法,请求子集：在Maekawa互斥算法中，一个进程P在发出申请报文后，不用得到所有其他进程的回答，而只须得到一个进程子集S中的所有进程的回答即可进入临界区。称S是P的请求子集。假设Ri和Rj分

29、别是进程Pi和Pj的请求子集，要求RiRjNULL。,当进程Pi请求进入临界区时，它只向Ri中的进程发送请求报文。当进程Pj收到一个请求报文时，如果它自上一次临界区释放后还没有发出过回答报文给任何进程，且自己的请求队列中无任何请求，它就给该请求报文一个回答。否则，请求报文被放入请求队列中。进程Pi只有收到Ri中的所有进程的回答后，才能进入临界区。在释放临界区时，进程Pi只给Ri中的所有进程发送释放报文。,第五章 同步和互斥 5.4互斥算法,Maekawa互斥算法,请求子集的例子：考虑一个七个进程的例子，每个进程的请求子集如下：R1：P1，P3，P4；R2：P2，P4，P5； R3：P3，P5，

30、P6； R4：P4，P6，P7；R5：P5，P7，P1；R6：P6，P1，P2；R7：P7，P2，P3。,第五章 同步和互斥 5.4互斥算法,Maekawa互斥算法,Maekawa算法的两个极端情况：(1) 退化为集中式互斥算法。Pc(c1，2，n)作为协调者，对所有进程Pi，有：Ri：Pc，1in(2) 完全分布式的互斥算法。对所有进程Pi，有：Ri：P1，P2，Pn，1in,第五章 同步和互斥 5.4互斥算法,简单令牌环互斥算法,在有n个进程的系统中，将这n个进程组成一个首尾相连的逻辑环。每个进程在环中有一个指定的位置，位置可以按网络地址进行排列，当然也可以采用任何其他可行的方式排列，但每

31、个进程必须知道在环中哪个进程是它后面的进程。 一个进程拥有令牌时就可以进入临界区，令牌可在所有的进程间传递。 如果得到令牌的进程不打算进入临界区，它只是简单地将令牌传送给它后面的进程。,第五章 同步和互斥 5.4互斥算法,简单令牌环互斥算法,问题：如果令牌丢失，需要重新产生一个令牌，但检测令牌是否丢失是比较困难的。 另外一个问题是进程的崩溃，但进程的崩溃比较容易检测。 这个算法在高负载的情况下工作得很好。然而，它在轻负载的情况下工作得很差，出现很多不必要的报文传递。,第五章 同步和互斥 5.4互斥算法,Ricart-Agrawala令牌环互斥算法,初始时，令牌被赋予给任何一个进程。 请求进入临

32、界区的进程Pj不知道哪个进程拥有令牌，所以它向所有其它进程发送一个带时间戳的请求报文，请求得到令牌。每个进程有一个请求队列记录有所有进程的请求，令牌中记录有每个进程最后一个持有令牌的时间。 如果当前拥有令牌的进程Pi不再需要令牌，它就按照i+1，i+2，n，1，2，i-1的顺序寻找第一个符合条件的进程Pj，并将令牌传递给进程Pj。说明：虽然该算法不是按照每个请求的时间顺序来满足的，但是，由于令牌是按一个方向绕环传递的，所以不会有饿死现象发生。,第五章 同步和互斥 5.4互斥算法,基于时间戳的令牌互斥算法,每个进程保持一张进程状态表，记录它所知的进程状态，进程状态包括该进程是否为请求进程，以及得

33、到该状态的时间。令牌是一个特殊的报文，该报文中包含了发送该令牌的进程的进程状态表。,初始化时，每个进程的状态表中各个进程均为非请求状态，时钟值为0，并任意指定一个进程为令牌的持有者。 请求时，一个进程请求进入临界区时，如果它持有令牌，它不发送任何请求报文，将自己的进程状态表中相应于自己一栏的状态改为请求态，并记录该状态的时钟值，直接进入临界区。如果它不持有令牌，则它向所有其它进程发送带有时间戳的请求报文。发出请求报文后，将自己的进程状态表中相应于自己一栏的状态改为请求态，并记录该状态的时钟值。,第五章 同步和互斥 5.4互斥算法,基于时间戳的令牌互斥算法,收到请求时，当进程A收到进程B的请求报

34、文时，A将B的请求报文中的时间戳同A的进程状态表中B的时间值进行比较。若B的请求报文中的时间戳大于A的进程状态表中B的时间值，则A修改自己的进程状态表。将A的进程状态表中对应于B的一栏改为请求状态，并记录此状态的时间。 退出临界区时，进程A退出临界区后，将自己的进程状态表中关于自己的一栏改为非请求状态，时钟值加1，并将该时钟值作为该状态的时间。然后检查其进程状态表中是否记录有某个进程处于请求状态，若有，则从处于请求状态的进程中选取一个请求最早的进程B(具有最小的时间戳)，将令牌传送给它，并在令牌中附上A的进程状态表。,第五章 同步和互斥 5.4互斥算法,基于时间戳的令牌互斥算法,收到令牌时，收

35、到令牌的进程把随令牌传来的进程状态表和自己的进程状态表进行比较。若随令牌传来的进程状态表中某进程的时间戳大于自己的进程状态表中相应进程的时间戳，则将自己的进程状态表中相应进程的状态和时间戳该成随令牌传来的进程状态表中相应的状态和时间戳。说明：同Ricart-Agrawala令牌环互斥算法相比，具有更强的公平性，因为它是基于请求的先后顺序来满足的，而Ricart-Agrawala令牌环互斥算法是基于进程的逻辑环结构来满足的。,第五章 同步和互斥 5.4互斥算法,选举算法,从进程集中选出一个进程执行特别的任务。大部分选举算法是基于全局优先级的，就是说给每个进程预先分配一个优先级，选举算法选择一个具

36、有最高优先级的进程作为协调者。,Bully选举算法,P发送选举报文到所有优先级比它高的进程。如果在一定时间内收不到任何响应报文，P赢得选举成为协调者。它向所有比它的优先级低的进程发送通知报文，宣布自己是协调者。如果收到一个优先级比它高的进程的回答，P的选举工作结束。同时启动一个计时器，等待接收谁是协调者的通知报文，如果在规定时间内得不到通知报文，则它重新启动选举算法。 任何时候，一个进程可能从比它的优先级低的进程那儿接收到一个选举报文，它就给发送者回答一个响应报文，同时启动如上所述的相同的选举算法，如果选举算法已经启动，就不必重新启动。,第五章 同步和互斥 5.4互斥算法,选举算法,Bully

37、选举算法实例：,第五章 同步和互斥 5.4互斥算法,选举算法,Bully选举算法实例：,第五章 同步和互斥 5.4互斥算法,选举算法,环选举算法：,在环选举算法中，所有进程以任意的顺序排列在一个单向环上，每个进程知道环上的排列情况，任何进程在环上有一个后继进程。 任何一个进程发现协调者失效时，它创建一个选举报文，将自己的进程号加入该报文中作为一个候选协调者，并把该选举报文传递到它的后继进程。 收到该选举报文的后继进程，也将自己的进程号加入到该选举报文中作为一个候选协调者。如果发送者发现其后继者失效，它会将选举报文传送给后继者在环中的下一个进程，或沿环的方向可以寻找到的下一个运行的进程。,第五章

38、 同步和互斥 5.4互斥算法,选举算法,环选举算法：,如果一个进程接收到自己所创建的选举报文，它将该报文的类型由选举报文改为协调者报文。 这个协调者报文再绕环一周，这个报文用于通知每个进程协调者是谁，组成新环的成员有那些。如果进程号大的进程具有高的优先级，那么具有最大进程号的进程就是协调者；,第五章 同步和互斥 5.4互斥算法,自稳定算法,自稳定系统：一个系统，如果无论它的初始状态是什么，总是能在有限的步骤内达到一个合法的状态，那么它是自稳定的。,一个系统S，如果它满足以下两个性质，那么它关于谓词P是自稳定的。终止性(closure)。P在S的执行下是终止的(closed)，也就是说，一旦P在S中被建立，它就不能被再被证明为假。收敛性(convergence)。从任意全局状态开始，S能保证在有限次状态转换内达到一个满足P的全局状态。,第五章 同步和互斥 5.4互斥算法,自稳定算法,Dijkstra自稳定系统：有一个特别的进程，它对于状态转换使用独特的特权，其他进程使用另一个特权。给定n个k状态进程，kn，标号分别为P0到Pn-1。P0是特别的进程，其他进程Pi(0in-1）是一样的。 Pi的状态转换如下：PiPi-1 Pi:=Pi-1,0in-1P0的状态转换如下：P0=Pn-1 P0:=(P0+1) mod k,Dijkstra自稳定系统实例：n=3，k=4,