分布式系统时钟同步分布式互斥分布式选举算法分布式系统死锁.PPTVIP

* * 2.2分布式互斥 2.2.2 一个分布式互斥算法 者的邮戳小，则接收者将收到的请求排队。 一个进程在发送完请求消息后就一直等待所有进程回送的OK消息。只要所有的OK消息都到达，则它就可以进入指定的临界区。当该进程离开临界区时，它就发送一个OK消息给所有在本进程内排队要进入同一个临界区的进程并将这些进程的请求从队列中移去。 图2-3的例子:假定进程0和进程2都要同时进入同一个临界区。进程0给每一个进程发送一个其邮戳为8的请求。同时，进程2也给每一个进程发送一个其邮戳为12的请求。由于进程1不要进入临界区，所以，它分别给进程0和进程2发送OK消息。进程0和进程2都发 * * 2.2分布式互斥 2.2.2 一个分布式互斥算法 现冲突并比较邮戳。因为进程0请求消息中的邮戳8比进程2请求消息中的邮戳12小,因此,进程2发送一个OK消息给进程0,进程0将进程2的请求排队并进入临界区。当进程0离开临界区时,它将进程2的请求从队列中移去并发送一个OK消息给进程2允许进程2进入临界区。 * * 2.2分布式互斥 2.2.2 一个分布式互斥算法 进入临界区 0 8 0 0 8 8 12 OK OK OK 1 2 12 1 2 1 2 12 OK 图2-3 (a)两个进程要同时进入同一临界区。 (b)进程0的邮戳小,所以,先进入临界区。 (c)当进程0结束访问临界区时,它发送一个OK消息,因此,进 程2可以进入临界区。 * * 2.2分布式互斥 2.2.2 一个分布式互斥算法 Ricart和Agrawala算法和集中式算法一样,既无死锁又无饿死也无单点失败。每一次进入临界区要求发送2(n-1)个消息,其中,n为系统中进程总数。但是,一个进程崩溃将不响应所有的请求。 解决的方法:当一个请求到达时,接收者或者回送一个允许访问消息或者回送一个不允许访问消息。每当一个请求或回答丢失时,发送者超时表明目的进程已崩溃。一个请求被拒绝后,发送者应该阻塞,等待以后发来的OK消息。同集中式算法相比,本算法的缺点是速度慢、复杂以及代价高。 * * 2.2分布式互斥 2.2.3 一个令牌环算法 令牌环算法是一个完全不同的分布式互斥算法。一个总线网络中的进程没有任何顺序(见图2-4(a))。在软件上,我们构造一个逻辑环。在这个环中,每一个进程按顺序分配一个号(见图2-4(b))。 令牌环算法：当初始化环时,进程0获得令牌。该令牌绕环循环即令牌以点到点消息传递的方式从进程k传递到进程k+1(按环的大小取模)。当一个进程从它的邻居那里收到了令牌时,它就看一看自己是否要进入临界区。若要,则进入临界区、使用临界区、离开临界区。在离开临界区后,它就将令牌传给下一个邻居。如果进程从它的邻居那里收到了令牌且不要进入临界 * * 2.2分布式互斥 2.2.3 一个令牌环算法 区,则它将令牌传递给下一个邻居。因此,如果没有一个进程要临界区,则令牌只是绕环高速循环。 0 进程 0 3 2 1 3 1 网络 2 (a) (b) 图3-4 (a)一个网络上一组无序的进程。(b)由软件构造的逻辑环。 * * 2.2分布式互斥 2.2.3 一个令牌环算法 令牌算法的正确性是显然的。由于在任何时刻只有一个进程拥有令牌,所以,只有一个进程在临界区中。令牌是按顺序绕环传递的，因而不会出现饿死现象。但是，如果令牌丢失，则必须重新生成令牌。然而，检测令牌的丢失是相当困难的。此外，一个进程有可能发生崩溃。检测崩溃进程是比较容易的。只要要求收