第1章 分布式系统基础知识PPT.ppt

1.4.5 同步机构 5.逻辑时钟 (3) 向量逻辑时钟 ： 任何一个逻辑时钟LCi基于以下两条规则更新它的逻辑时钟值： a.当发生一个事件(一个外部发送或内部事件)之前，Pi更新LCi[i]： LCi[i]:=LCi[i]+d (d0) b.每个报文捎带发送方在发送时的时钟向量，当收到一个带时间戳的报文(m,LCj,j)时，Pi更新LCi： LCi[k]:=max(LCi[k],LCj[k]) 1≤k≤n LCi[i]:= LCi[i]+d (d0) 第一章 分布式系统基础知识 I csu 1.4 死锁问题 1.1 分布式系统概述 1.2 进程间通信 1.6 数据共享 1.3 命名与保护 1.5 容错技术 1.4.5 同步机构 5.逻辑时钟 (3) 向量逻辑时钟 ： 第一章 分布式系统基础知识 I csu 1.4 死锁问题 1.1 分布式系统概述 1.2 进程间通信 1.6 数据共享 1.3 命名与保护 1.5 容错技术 1.4.6 互斥算法 1.互斥问题 互斥问题就是定义一些基本的操作来解决共享资源的多个并发进程的冲突问题。 互斥算法的主要目标是保证在任一个时刻只能有一个进程访问临界区。一个正确的互斥算法必须避免冲突(死锁和饿死)和保证公平性。为此，算法应满足以下三个条件： (1) 已获得资源的进程必须先释放资源之后，另一个进程才能得到资源； (2)不同的请求应该按照这些请求的产生顺序获得满足，请求应该按照某种规则进行排序，例如使用逻辑时钟确定请求的顺序； (3)若获得资源的每个进程最终都释放资源，则每个请求最终都能满足。 第一章 分布式系统基础知识 I csu 1.4 死锁问题 1.1 分布式系统概述 1.2 进程间通信 1.6 数据共享 1.3 命名与保护 1.5 容错技术 1.4.6 互斥算法 1.互斥问题 衡量互斥算法性能的参数 : (1) 完成一次互斥操作所需的报文数目； (2) 同步延迟，即从一个进程离开临界区之后到下一个进程进入临界区之前的时间间隔； (3) 响应时间，即从一个进程发出请求到该进程离开该临界区之间的时间间隔。 第一章 分布式系统基础知识 I csu 1.4 死锁问题 1.1 分布式系统概述 1.2 进程间通信 1.6 数据共享 1.3 命名与保护 1.5 容错技术 1.4.6 互斥算法 2.集中式互斥算法: 第一章 分布式系统基础知识 I csu 1.4 死锁问题 1.1 分布式系统概述 1.2 进程间通信 1.6 数据共享 1.3 命名与保护 1.5 容错技术 1.4.6 互斥算法 2.分布式互斥算法: 分布式互斥算法具有以下几个特点： (1) 所有节点具有相等数量的信息。 (2) 所有节点主要根据局部节点做出决定。 (3) 所有节点在作出最后决定时承担同等职责。 (4) 对最后决定所有节点具有同样的影响。 (5) 节点的失败一般不会导致总系统的失败。 第一章 分布式系统基础知识 I csu 1.4 死锁问题 1.1 分布式系统概述 1.2 进程间通信 1.6 数据共享 1.3 命名与保护 1.5 容错技术 1.4.6 互斥算法 2.分布式互斥算法: 分布式互斥模型： (1) 分布式系统有N个节点，编号从1到N。 (2) 每个节点包含一个请求进程，包含多个进程的节点认为是多节点。 (3) 这些进程只能竞争一个资源，竞争多个资源的问题可以归结为竞争一个资源。 (4) 在任何时候每个进程最多发出一个互斥请求，进程可以通过排队机制避免发出多个请求，或者可以认为一个进程发出多