第6章互斥问题和选举算法.ppt

Lamport时钟练习 假设系统中只存在消息发送和接收事件，如图所示，请给出事件a-g的逻辑时钟。 a,b,c,d,e,f,g的时间分别为3,4,7,5,7,5,9 不同进程产生的消息可能具有相同数值的Lamport时间戳。 分布式系统中的互斥 本章主要内容 分布式系统互斥目标 分布式系统互斥基本类型 分布式系统互斥算法类型 分布式系统互斥算法的实现 临界区的调度原则 临界资源：一次只允许一个进程访问的共享资源。 临界区：每个进程中访问临界资源的一段程序代码。 进程进入临界区的调度原则： ①如果有若干进程要求进入空闲的临界区，一次仅允许一个进程进入。 ②任何时候，处于临界区内的进程不可多于一个。如已有进程进入自己的临界区，则其它所有试图进入临界区的进程必须等待。 ③进入临界区的进程要在有限时间内退出，以便其它进程能及时进入自己的临界区。 互斥算法的目标 互斥的主要目标是保证在一个时刻只能有一个进程访问临界区。 在非基于令牌的算法中，所有进程相互通信来决定哪个进程可以执行临界区。 在基于令牌的算法中引入了令牌的概念。令牌代表了一个控制点，它在所有的进程间传递。一个进程拥有令牌时就可以进入临界区。 分布式系统中的互斥算法 在分布式系统中，经常出现多个进程请求访问同一个临界资源的问题，为了协调访问，保证访问的正确性（无死锁，无饥饿现象），需要给出一种有