分布式系统与WEB服务课件.ppt

1、南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务第三章第三章 分布式系统的同步分布式系统的同步 和进程和进程 南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务31 时钟同步时钟同步 分布式算法的主要特征：分布式算法的主要特征：相关信息分布在多台机器上相关信息分布在多台机器上 进程仅依据局部的信息作出决定进程仅依据局部的信息作出决定 一台机器的故障不应引起整个系统的失败一台机器的故障不应引起整个系统的失败 没有共用的全局时钟。没有共用的全局时钟。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务1

2、 1逻辑时钟逻辑时钟先看一个例子先看一个例子:06121824303642485460081624324048566472800102030405060708090100ABCD三个有自己时钟的进程三个有自己时钟的进程,时钟不同时钟不同 运行的结果是运行的结果是消息消息C C在时间在时间6060上被上被发送发送,却在时间点却在时间点5454上到达上到达南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 Lamport Lamport的算法以的算法以”先于先于”关系关系为基础，每个消息都为基础，每个消息都携带它的发送时间携带它的发送时间,当它到达目的地时，如果目的

3、地的时当它到达目的地时，如果目的地的时间早于它的发送时间，那么就把目的地的时间向前拔间早于它的发送时间，那么就把目的地的时间向前拔,至至少要比发送时间大少要比发送时间大1 1个单位个单位.0612182430364248707608162432404861697785800102030405060708090 100ABCD用用LamportLamport的算法的算法纠正时钟纠正时钟南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 该算法解决了全局时钟问题，它的条件就是两个相关该算法解决了全局时钟问题，它的条件就是两个相关事件之间必须至少相差一个时间事件之间必

4、须至少相差一个时间 2 2时钟同步算法时钟同步算法 逻辑时钟只给出事物的相对时间逻辑时钟只给出事物的相对时间,与真实时间并不对与真实时间并不对应应,故要引入外部物理时钟故要引入外部物理时钟,常用的时钟同步算法常用的时钟同步算法:克里司帝安克里司帝安(CRISTIAN)(CRISTIAN)算法算法 具有国家标致时间接收器的机器具有国家标致时间接收器的机器,注意注意:调整的方法调整的方法,通过调节单位时间内的中断的时间通过调节单位时间内的中断的时间,来逐步完成时钟的调来逐步完成时钟的调整整.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 伯克利算法伯克利算法 计

5、算平均时间计算平均时间,它是一个集中式算法它是一个集中式算法,不能在大规模的不能在大规模的分布式系统中使用分布式系统中使用 原理原理:定期轮询每台机器的时间定期轮询每台机器的时间,由结果计算平均时间由结果计算平均时间,各机器依此调整时间各机器依此调整时间.3 3同步时钟的具体使用同步时钟的具体使用 至多一次消息传送至多一次消息传送 消息的时间戳比存储的时间戳的值早消息的时间戳比存储的时间戳的值早,就拒绝接受该就拒绝接受该消息消息南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 基于时钟的缓冲存储器（基于时钟的缓冲存储器（CACHECACHE）的一致性）的一致性

6、 使用使用CACHECACHE会出现一致性问题，原解决的方法会出现一致性问题，原解决的方法:区分读区分读写缓存写缓存,现在可用同步时钟来解决。即通过提供有效期（现在可用同步时钟来解决。即通过提供有效期（利利用有效的租约）用有效的租约）来控制来控制CACHECACHE一致性问题。一致性问题。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务3.2 3.2 互斥操作互斥操作 有多个进程的系统经常会碰到临界区的操作。当一个进有多个进程的系统经常会碰到临界区的操作。当一个进程要访问某个共享数据时，它要先进人临界区进行互斥操作，程要访问某个共享数据时，它要先进人临界区进行

7、互斥操作，确保没有别的进程同时访问该数据。在单机系统中，临界区确保没有别的进程同时访问该数据。在单机系统中，临界区可以用信号灯、管程来实现。那么在分布式系统中，由于可以用信号灯、管程来实现。那么在分布式系统中，由于不不能共享主存能共享主存，怎么实现临界区和互斥操作呢，怎么实现临界区和互斥操作呢?下面我们讨论下面我们讨论几种算法。几种算法。集中式算法集中式算法 该方法就是模拟单机系统该方法就是模拟单机系统,指定一个管理员进行许可管理指定一个管理员进行许可管理,该算法保证了互斥该算法保证了互斥,每个临界区只需三条消息每个临界区只需三条消息(申请申请,许可许可,释释放放)南京理工大学计算机学院南京理

8、工大学计算机学院分布式系统与分布式系统与WEB服务服务1 10 02 2OKOK请求请求C C管理员管理员队列空队列空管理员管理员1 10 02 2不回答不回答请求请求C C队列空队列空1 10 02 2OKOK释放释放C C管理员管理员队列空队列空2 2 (A)(A)进程进程1 1向管理员请求向管理员请求进入临界区进入临界区,得到许可得到许可 (B)(B)进程进程2 2向管理员请求进向管理员请求进入临界区入临界区,管理员不回答管理员不回答 (C)(C)进程进程2 2向管理员请求进向管理员请求进入临界区入临界区,管理员许可管理员许可缺点缺点:集中式算法管理员是系统的瓶颈集中式算法管理员是系统的

9、瓶颈南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 分布式算法分布式算法 算法的条件算法的条件:系统中的事件必须有全局的顺序系统中的事件必须有全局的顺序 算法的工作过程如下算法的工作过程如下:当一个进程要进入临界区时，它构造一条包括临界区名、进程号和当一个进程要进入临界区时，它构造一条包括临界区名、进程号和当前时间的请求消息，然后把该消息广播给其他的所有进程。这里假设，当前时间的请求消息，然后把该消息广播给其他的所有进程。这里假设，消息的发送是可靠的。消息的发送是可靠的。当一个进程收到请求后，根据它的状态采取相应的动作：当一个进程收到请求后，根据它的状态采取

10、相应的动作：(1)(1)当接收者不在临界区，并且也不想进入临界区，就应答发送者当接收者不在临界区，并且也不想进入临界区，就应答发送者OKOK消消息。息。(2)(2)如果接收者已经在临界区中，它不回答仅仅把请求加入队列。如果接收者已经在临界区中，它不回答仅仅把请求加入队列。(3)(3)如果接收者不在临界区，但它也想进入临界区，就要将收到消息的时如果接收者不在临界区，但它也想进入临界区，就要将收到消息的时间戳和它广播消息的时间戳比较间戳和它广播消息的时间戳比较.如果到来的消息时间戳早，接收者回答如果到来的消息时间戳早，接收者回答发送者发送者OKOK消息；反之接收者把到来的请求加入队列，不回答消息；

11、反之接收者把到来的请求加入队列，不回答.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 在发完进入临界区请求后，进程将等待所有的允许消息，一旦得到许可，在发完进入临界区请求后，进程将等待所有的允许消息，一旦得到许可，就可进入临界区，当退出时向队列中的所有进程发就可进入临界区，当退出时向队列中的所有进程发OKOK消息，并将它从队列消息，并将它从队列中删除。中删除。所有进程都要参与决定是否进入临界区，若有进程不能做，算法将出错。所有进程都要参与决定是否进入临界区，若有进程不能做，算法将出错。由于所有进程都要参加算法，所以比集中式算法慢，复杂，开销大。由于所有进程

12、都要参加算法，所以比集中式算法慢，复杂，开销大。改进算法：改进算法：不需所有进程同意，部分回答不需所有进程同意，部分回答OKOK即可即可 令牌环算法令牌环算法 进程只有拥有令牌时进程只有拥有令牌时,才能进入临界区才能进入临界区,一个进程从相邻的进程一个进程从相邻的进程收到令牌时先检查自己是非要进入临界区收到令牌时先检查自己是非要进入临界区;如果要如果要,就进入就进入,否则否则就将令牌传递给下一个进程就将令牌传递给下一个进程.缺点缺点:令牌可能丢失且检测困难，一个要进入临界区的进程最令牌可能丢失且检测困难，一个要进入临界区的进程最差情况下要等待其他进程进入和退出临界区所用时间总和差情况下要等待其

13、他进程进入和退出临界区所用时间总和南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 三种算法的特点比较三种算法的特点比较 集中式算法简单、高效，每次进入和离开临界区只需集中式算法简单、高效，每次进入和离开临界区只需3 3次消息传递：次消息传递：请求、许可；释放请求、许可；释放，分布式算法中，分布式算法中，n n个进程需要个进程需要(n-1)(n-1)个请求和个请求和(n-1)(n-1)个许可，总共要个许可，总共要2(n2(n1)1)个消息。在令牌环算法中，所需的消息数是不个消息。在令牌环算法中，所需的消息数是不固定的。如果每个进程都要进入临界区，那么每个令牌都

14、有一次进人和固定的。如果每个进程都要进入临界区，那么每个令牌都有一次进人和退出，平均每次进入有退出，平均每次进入有个消息传递；如果令牌被一个进程占有很长时个消息传递；如果令牌被一个进程占有很长时间，那么进入临界区需要的消息就不确定。间，那么进入临界区需要的消息就不确定。进程从它发出进入临界区的请求到它进入临界区的时间延迟在三个进程从它发出进入临界区的请求到它进入临界区的时间延迟在三个算法中是不同的算法中是不同的,当临界区很短并且使用频率很低时，进入临界区时间当临界区很短并且使用频率很低时，进入临界区时间延迟的决定因素是进人临界区的控制机制当临界区很长并且使用的频延迟的决定因素是进人临界区的控制

15、机制当临界区很长并且使用的频率很高时，决定因素在于等待时间，消息数就能说明这一点。率很高时，决定因素在于等待时间，消息数就能说明这一点。这三种算法出现故障时这三种算法出现故障时,都会有很大影响都会有很大影响,要避免系统的崩溃要避免系统的崩溃,须注须注意意:在容错系统中在容错系统中,次三种算法都不适用次三种算法都不适用.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务3.3选举算法选举算法 在分布式系统中，大多数算法要求有一个进程充当管在分布式系统中，大多数算法要求有一个进程充当管理员或初始启动者等特殊角色。前面几个算法就有这样的理员或初始启动者等特殊角色。前面

16、几个算法就有这样的例子。一般来说，由哪个进程充当特定角色无关紧要，但例子。一般来说，由哪个进程充当特定角色无关紧要，但是必须有一个进程做这个工作。下面我们来看如何选一个是必须有一个进程做这个工作。下面我们来看如何选一个进程担当特定角色。进程担当特定角色。选举算法的目的是当选举完成后，能够让所有的进程知道选举算法的目的是当选举完成后，能够让所有的进程知道谁是管理员谁是管理员.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 1.霸道算法霸道算法 该算法提出。当一个进程该算法提出。当一个进程P P注意到管理员不再对请求作出反注意到管理员不再对请求作出反应时，它就开

17、始选举进程应时，它就开始选举进程P P执行下列步骤：执行下列步骤：(1)(1)向所有向所有进程号比它大进程号比它大的进程发送的进程发送ELECTIONELECTION消息；消息；(2)(2)如果没有进程响应，进程如果没有进程响应，进程P P成为管理员；成为管理员；(3)(3)如果有进程响应，该响应进程成为管理员，如果有进程响应，该响应进程成为管理员，P P结束选举。结束选举。注意：注意：一个进程只能从号码比它小的进程处得到一个选择一个进程只能从号码比它小的进程处得到一个选择消息消息南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务2 20 05 53 36 64

18、 41 17 7(A)(A)进程进程4 4启动选举启动选举2 20 05 53 36 64 41 17 7(B)(B)进程进程5,65,6响应响应,让让4 4停止停止2 20 05 53 36 64 41 17 7(C)(C)进程进程5,6,5,6,都启动都启动选举选举2 20 05 53 36 64 41 17 7(D)(D)进程进程6 6让进程让进程5 5停停止选举止选举2 20 05 53 36 64 41 17 7(E)(E)进程进程6 6成为管理员成为管理员,发通知发通知霸道算法图示霸道算法图示南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 2.环

19、形算法环形算法 这个算法使用环，但不是令牌环。这个算法使用环，但不是令牌环。这里假定所有的进程都这里假定所有的进程都是有序号的，即每个进程都知道它的后继进程。当一个进程是有序号的，即每个进程都知道它的后继进程。当一个进程发现管理员不能工作时，它把包含其进程号的发现管理员不能工作时，它把包含其进程号的ELECTIONELECTION消息消息发给它的后继进程；接收消息的进程再向后继进程发送发给它的后继进程；接收消息的进程再向后继进程发送ELECTIONELECTION消息。如果接收进程没有反应，发送消息的进程便消息。如果接收进程没有反应，发送消息的进程便向下一个进程发消息。每一次发送向下一个进程发

20、消息。每一次发送ELECTIONELECTION，进程都要将自，进程都要将自己的进程号加入消息。己的进程号加入消息。2 20 04 46 65 51 13 37 7使用环形选举算法使用环形选举算法选举消息选举消息选举消息选举消息2 23 32 25 55 56 65 56 60 0 出现故障的出现故障的管理员管理员南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 最后，第一个发出该选举（最后，第一个发出该选举（ELECTIONELECTION）消息进程收到该消息）消息进程收到该消息,再将其转换为协调（再将其转换为协调（COORDINATORCOORDINATO

21、R）消息后，再循环一周）消息后，再循环一周,通通知谁是管理员，谁是组成员，知谁是管理员，谁是组成员，这时消息包中进程号最高的进这时消息包中进程号最高的进程将成为管理员。程将成为管理员。当这个消息循环一周后，由发送进程把它当这个消息循环一周后，由发送进程把它从网上清除。从网上清除。图中图中2 2和和5 5都发现都发现7 7失效，分别建立选举消息，两条消息都失效，分别建立选举消息，两条消息都沿环运行，结果是一样的，只是浪费了带宽。沿环运行，结果是一样的，只是浪费了带宽。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务34 线线 程程 进程因等待而挂起进程因等待而挂

22、起,使进程中可并行部分不能执行使进程中可并行部分不能执行,从而从而使系统性能下降使系统性能下降,故引入故引入-线程线程.1.1.线程：就是可以共享地址空间的轻型进程，它有自己线程：就是可以共享地址空间的轻型进程，它有自己的程序寄记数器栈和寄存器集合。的程序寄记数器栈和寄存器集合。它与进程的主要区别是它它与进程的主要区别是它的地址空间是共享的。的地址空间是共享的。线程相对于进程，犹如进程相对于机器线程相对于进程，犹如进程相对于机器 2.2.线程的使用，将并行性引入到顺序执行的系统线程的使用，将并行性引入到顺序执行的系统.多线程组织的常用模型：多线程组织的常用模型：南京理工大学计算机学院南京理工大

23、学计算机学院分布式系统与分布式系统与WEB服务服务 1)1)分配器工作者模型分配器工作者模型 有一个分配器线程唤醒工作者线程可用信号灯有一个分配器线程唤醒工作者线程可用信号灯 2)2)团队模型团队模型 地位平等地位平等 线程各自获取和处理自己的请求线程各自获取和处理自己的请求.3)3)流水线模型流水线模型 管道线模型，第一个线程产生一些数据传给下一个线管道线模型，第一个线程产生一些数据传给下一个线程处理，且持续下去。程处理，且持续下去。多线程可分时工作在单多线程可分时工作在单CPUCPU上也可工作在多处理器系上也可工作在多处理器系统上统上,而且多线程系统设计的好将可与多处理机工作性能而且多线程

24、系统设计的好将可与多处理机工作性能相当相当.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务共享缓冲区共享缓冲区到达的工作请求到达的工作请求邮箱邮箱文件服务器进程文件服务器进程分配器线程分配器线程工作者线程工作者线程到达的工作请求到达的工作请求到达的工作请求到达的工作请求内核内核分配器分配器/工作者模型工作者模型流水线模型流水线模型团体模型团体模型进程中线程三种组织方式进程中线程三种组织方式南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务3.3.线程包的设计的相关问题线程包的设计的相关问题线程包就是供用户或程序员调用的关于线程

25、的一组原语。线程包就是供用户或程序员调用的关于线程的一组原语。线程的管理方法有静态和动态方法两种。线程的管理方法有静态和动态方法两种。静态静态即开始就确定好线程的个数即开始就确定好线程的个数，动态，动态个数个数不定不定 线程的代码与进程一样，由多个过程组成。线程的代码与进程一样，由多个过程组成。线程包中临界区控制利用互斥体（线程包中临界区控制利用互斥体（mutex),mutex),其总处于：其总处于：打开和锁住两种状态打开和锁住两种状态 lock mutex;lock mutex;check data structures lock mutex check data structures lo

26、ck mutex while(resource busy)mark resource as free;while(resource busy)mark resource as free;wait(condition varable);unlock mutex;wait(condition varable);unlock mutex;mark resource as busy;wakeuo(condition variable);mark resource as busy;wakeuo(condition variable);unlock mutex;unlock mutex;互斥变量与条件变量

27、的使用互斥变量与条件变量的使用南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 线程可由算法进行调度，如优先级调度、循环调度等线程可由算法进行调度，如优先级调度、循环调度等4.4.线程包的实现线程包的实现1)1)在用户空间实现线程（如图）在用户空间实现线程（如图）这种方法是将线程包完全放在这种方法是将线程包完全放在用户空间用户空间，内核对此一无所，内核对此一无所知，在这种方法中，内核只是管理普通的单线程进程。这知，在这种方法中，内核只是管理普通的单线程进程。这种方法最明显的优点种方法最明显的优点是它可以在一个不支持多线程的操作是它可以在一个不支持多线程的操作系

28、统上实现用户线程包。同时它还允许每个进程有自己特系统上实现用户线程包。同时它还允许每个进程有自己特定的调度算法定的调度算法.线程1线程2线程3线程4线程5线程6运行期系统运行期系统内内 核核内核空间内核空间用户空间用户空间南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 缺点是：缺点是：数量太多会引起资源紧张数量太多会引起资源紧张.同时同时 (1)(1)它也难实现阻塞系统的调用它也难实现阻塞系统的调用.(2)(2)它的调度是非抢先式的它的调度是非抢先式的.进程内部无时钟中断进程内部无时钟中断,无法进行时间片的调度无法进行时间片的调度.2)2)在操作系统内核实现

29、（如图）在操作系统内核实现（如图）不需要运行系统不需要运行系统,线程创建或撤销线程创建或撤销,只需一次系统调用只需一次系统调用,比在用户空间实现线程开销大比在用户空间实现线程开销大.可通过在撤销时加标记，可通过在撤销时加标记，当做为新线程创建时仅需激活即可。当做为新线程创建时仅需激活即可。线程1线程2线程3线程4线程5线程6内内 核核用户空间用户空间内核空间内核空间南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 3)3)调度员活动方法调度员活动方法 结合前两种的优点结合前两种的优点(用户线程的高性能和内核线程的实用户线程的高性能和内核线程的实现简单现简单)原

30、理：当使用调度员活动方法时，内核给每个进分配原理：当使用调度员活动方法时，内核给每个进分配一些一些“虚处理器虚处理器”，并由运行系统分给线程，同时通过，并由运行系统分给线程，同时通过避免在用户空间和内核空间之间的不必要的转换来实现避免在用户空间和内核空间之间的不必要的转换来实现高效率。高效率。如：如：线程在局部信号上阻塞并不去涉及内核，线程在局部信号上阻塞并不去涉及内核，而是由用户运行期系统去完成阻塞和调度。而是由用户运行期系统去完成阻塞和调度。具体是由具体是由内内核激活用户运行期系统核激活用户运行期系统南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 4)4

31、)线程和线程和RPCRPC 希望使一个进程中的线程可以有效的调用同一台机器希望使一个进程中的线程可以有效的调用同一台机器上的另一个进程中的线程上的另一个进程中的线程，具体具体采用与采用与RPC RPC 相似的过程完相似的过程完成成。加速加速RPCRPC执行的技术，具体即为执行的技术，具体即为当一个线程执行请求时，当一个线程执行请求时，它将消失并且它的堆栈和环境信息也丢弃，当有新的消息它将消失并且它的堆栈和环境信息也丢弃，当有新的消息进入时，内核动态创建一个新线程去为其服务。进入时，内核动态创建一个新线程去为其服务。优点首先优点首先线程不用等待所以不保留环境，其次创建新线程比存储一线程不用等待所

32、以不保留环境，其次创建新线程比存储一个存在的线程花费少，节约了时间减少了开销，从而提高个存在的线程花费少，节约了时间减少了开销，从而提高了速度。了速度。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务35 分布式系统模型分布式系统模型 1 1工作站模型工作站模型 其主要指：一组工作站通过高速局域网互连，在某一时其主要指：一组工作站通过高速局域网互连，在某一时刻刻,每台机器只有一个用户登录，即拥有者，要么空闲。每台机器只有一个用户登录，即拥有者，要么空闲。优点：优点：清晰、易于理解，计算能力固定、系统反应时间清晰、易于理解，计算能力固定、系统反应时间固定、有一定

33、的自主性、同时增强了独立性。缺点固定、有一定的自主性、同时增强了独立性。缺点:资源存资源存在浪费在浪费,资源利用率不高资源利用率不高.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 2.2.空闲工作站的使用空闲工作站的使用 1 1）找出空闲工作站）找出空闲工作站 两种定位方式：服务器驱动和客户端驱动两种定位方式：服务器驱动和客户端驱动 2 2）透明运行远程进程）透明运行远程进程 由内核完成由内核完成 3 3）机主人重新使用时如何处理）机主人重新使用时如何处理 直接杀死进程、移植到另一台机器上（进程全部包括直接杀死进程、移植到另一台机器上（进程全部包括子进程）

34、子进程）南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 3.3.处理机池模型处理机池模型 处理机池是无盘工作站的进一步发展。处理机池是无盘工作站的进一步发展。理论依据是排队理论依据是排队论论,具体有理发师模型、超市收款等。具体有理发师模型、超市收款等。CPUCPU根据需求动态的分根据需求动态的分配给用户。模型如图配给用户。模型如图 虽然有证明虽然有证明：用一个是小系统功能：用一个是小系统功能N N倍的大系统来代替倍的大系统来代替N N个独立的小系统的资源可把平均响应时间减少为原来的个独立的小系统的资源可把平均响应时间减少为原来的1/N1/N倍。倍。文件服务器

35、文件服务器处理机池处理机池CPUCPU南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 然而平均响应时间不代表一切，然而平均响应时间不代表一切，从费用角度来看，不惜从费用角度来看，不惜代价建造巨型机甚至是不可能的。代价建造巨型机甚至是不可能的。同时也并不是有同时也并不是有N N个处理器的处理机池就可比单个处理个处理器的处理机池就可比单个处理器的性能高器的性能高N N倍，倍，而是决定于任务可分几部分。而是决定于任务可分几部分。4.4.混合模型混合模型 用那种模型要依情况而定用那种模型要依情况而定,若是偶发的事件为主若是偶发的事件为主,则个则个人工作站模型机可人工

36、作站模型机可,若是仿真或工程计算则用处理机池较好若是仿真或工程计算则用处理机池较好,也可两者结合也可两者结合.南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务36 处理机分配与调度处理机分配与调度 如何决定进程运行在那台机器上，即为处理机的分配。如何决定进程运行在那台机器上，即为处理机的分配。1.1.分配模型分配模型1 1）分配策略有两大类）分配策略有两大类:非迁移的（进程创建后，一直呆到进程结束）非迁移的（进程创建后，一直呆到进程结束）迁移的（进程可在运行中迁移到其它机器上运行）迁移的（进程可在运行中迁移到其它机器上运行）2 2）分配算法的目标：）分配算法的

37、目标：(1)(1)最大限度地提高最大限度地提高CPUCPU利用率利用率 (2)(2)尽可能缩短平均响应时间尽可能缩短平均响应时间 (3)(3)最小化响应率最小化响应率南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务例如：例如：有两个处理机有两个处理机1及及2 和和 两个进程两个进程A及及B A（1亿条指令）亿条指令）10秒秒 6秒秒B（3亿条指令）亿条指令）30秒秒 8秒秒分配分配1：处理机处理机1运行进程运行进程A，处理机，处理机2运行进程运行进程B，平均响应，平均响应时间为（时间为（10+8）/2=9秒秒 （较优）（较优）分配分配2：处理机处理机2运行进程

38、运行进程A，处理机，处理机1运行进程运行进程B，平均响应，平均响应时间为（时间为（30+6）/2=18秒秒处理机处理机1 110MIPS10MIPS处理机处理机2 2100MIPS100MIPS5 5秒队列秒队列南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 2 2设计分配算法的主要相关问题设计分配算法的主要相关问题 1）确定式还是启发式）确定式还是启发式 确定式适用进程是否可预知确定式适用进程是否可预知;启发是指以经验性规则和信息指启发是指以经验性规则和信息指导导.2）集中式还是分布式）集中式还是分布式 依全局信息做判定依全局信息做判定,以局部信息做判断以

39、局部信息做判断.3）最优的还是次优的）最优的还是次优的 4）局部的还是全局的）局部的还是全局的 解决转移策略解决转移策略 5）发送者初启还是接收者初启）发送者初启还是接收者初启 解决定位策略解决定位策略南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 3 3处理机分配算法实现中的问题处理机分配算法实现中的问题 1 1）对负载的测量）对负载的测量 2 2）额外开销的处理）额外开销的处理 3 3）问题的复杂度）问题的复杂度 4 4）稳定性问题）稳定性问题 4 4典型的处理机分配算法典型的处理机分配算法 1)1)图论决策算法图论决策算法 2)2)集中式算法（集中式算

40、法（上上下算法）下算法）3)3)层次算法层次算法 逻辑上构成分层结构逻辑上构成分层结构 4)4)投标算法投标算法 把系统中的资源和任务作为买方和卖方以把系统中的资源和任务作为买方和卖方以寻求平衡寻求平衡.A AB BC CD DG GI IH H2 22 22 25 55 58 81 11 14 44 43 3A AB BC CD DG GI IH H2 22 22 25 55 58 81 11 14 44 43 3F FF FE EE E3030单位通信量单位通信量2828单位通信量单位通信量南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 5 5调度调度

41、假设进程成组创建假设进程成组创建,组间通信比组内通信要少组间通信比组内通信要少,基于基于协同调协同调度度概念的算法概念的算法.算法使用一个矩阵算法使用一个矩阵 列是处理机的进程表列是处理机的进程表 行是时间段的进程表行是时间段的进程表 主要思想主要思想:每个处理机采用时间片轮转法每个处理机采用时间片轮转法,因此可将进程组因此可将进程组的所有成员放在不同处理机上的同一时间段的所有成员放在不同处理机上的同一时间段处理机处理机时间片时间片南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 实现文件服务的技术对于分布式系统的实现文件服务的技术对于分布式系统的设计设计非常

42、重要。非常重要。在分布式系统中，必须提供与传统文件系统在分布式系统中，必须提供与传统文件系统相当的性能和可靠性。实现分布式文件服务器的相当的性能和可靠性。实现分布式文件服务器的技术源自技术源自传统系统传统系统，但由于要将许多设施分布在，但由于要将许多设施分布在多个不同的服务器中，系统结构有所不同，多个不同的服务器中，系统结构有所不同，因此，因此，其技术要求及高于传统系统。其技术要求及高于传统系统。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 共享共享持久性持久性分布式分布式缓存缓存/副本副本维护维护一致性一致性例子例子主存主存1RAM文件系统文件系统1UN

43、IX文件系统文件系统分布式文件系统分布式文件系统SUN NFSWEBWEB服务器服务器分布式共享内存分布式共享内存 IVY远程对象远程对象1CORBA持久对象存储持久对象存储1CORBA持久对象存持久对象存储储持久分布式对象存储持久分布式对象存储PERDIS南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务第第四四章章 分布式文件服务分布式文件服务南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务41 引引 言言 文件被认为是一个基于磁盘或其它二级存储器的存储文件被认为是一个基于磁盘或其它二级存储器的存储结构的抽象。结构的抽象。最

44、简单情况下，文件定义为数据项的序列，最简单情况下，文件定义为数据项的序列，文件系统提供按指定位置读写文件数据项或子序列的文件系统提供按指定位置读写文件数据项或子序列的操作。操作。有些文件系统将文件定义成复杂数据结构的集合有些文件系统将文件定义成复杂数据结构的集合(如记录等如记录等)，可以用记录的键字来定位。，可以用记录的键字来定位。在集中式文件系统中，文件系统可以管理大量的文件，在集中式文件系统中，文件系统可以管理大量的文件，包括读、写或删除等。而目录是一种抽象的文件管理设包括读、写或删除等。而目录是一种抽象的文件管理设施，它能将文件名映射到一个施，它能将文件名映射到一个文件指针文件指针，这种

45、映射，这种映射(即目即目录录)一般以特殊类型的文件存储，若要访问文件，需要首一般以特殊类型的文件存储，若要访问文件，需要首先打开目录。先打开目录。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 文件系统要负责文件共享和访问控制的管理，限定用文件系统要负责文件共享和访问控制的管理，限定用户的访问权限，为每个文件定义访问类型等。户的访问权限，为每个文件定义访问类型等。文件系统一般提供以下服务文件系统一般提供以下服务:文件组织文件组织 文件存储文件存储 文件检索文件检索 文件命名文件命名 文件共享文件共享 文件保护。文件保护。设计文件系统的目的，是使程序员可以使用

46、抽象操作设计文件系统的目的，是使程序员可以使用抽象操作来访问磁盘空间，来访问磁盘空间，传统文件系统的层次结构如下图所示：传统文件系统的层次结构如下图所示：南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 文件系统模块图文件系统模块图以上也同样是分布式文件系统的基础以上也同样是分布式文件系统的基础.目录模块目录模块:负责文件名到文件标识的映射负责文件名到文件标识的映射文件模块文件模块:负责文件标识到文件的映射负责文件标识到文件的映射文件访问文件访问:文件数据、属性的读写文件数据、属性的读写访问控制访问控制:操作的许可性检查操作的许可性检查盘块模块盘块模块:磁盘块

47、的分配及访问磁盘块的分配及访问设备模块设备模块:磁盘磁盘I/O缓冲缓冲南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 另外加上另外加上:1.1.支持共享信息的管理支持共享信息的管理 不必先拷贝，再访问，永久性数据管理不必先拷贝，再访问，永久性数据管理 2.2.为用户提供透明的文件访问服务为用户提供透明的文件访问服务 3.3.提供目录服务提供目录服务 提供文件命名及文件名到文件标识的映射功能提供文件命名及文件名到文件标识的映射功能 4.4.事务服务事务服务 为用户提供的最高层服务为用户提供的最高层服务,提供并发服务提供并发服务,保证文件的一保证文件的一致性致性

48、南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 综合而言综合而言,分布式文件可分为三种服务分布式文件可分为三种服务:目录服务目录服务,文件服务文件服务,事务服务事务服务用户程序用户程序用户程序用户程序用户程序用户程序客户模块客户模块网络网络文件服务文件服务目录服务目录服务事物服务事物服务文件服务的文件服务的RPCRPC界面界面用户程序界面用户程序界面APIAPI目录服务的目录服务的RPCRPC界面界面事物服务的事物服务的RPCRPC界面界面南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务4.2 文件服务文件服务 在在UNlX

49、UNlX和和DOSDOS系统中，系统中，文件是没有任何解释的字节序列，文件是没有任何解释的字节序列，文件的结构和意义完全由应用程序决定，操作系统不关心其文件的结构和意义完全由应用程序决定，操作系统不关心其结构和意义。结构和意义。但在某些大型机的操作系统中，有许多不同类但在某些大型机的操作系统中，有许多不同类型的文件，每种文件具有不同的特性。型的文件，每种文件具有不同的特性。文件可以是一组记录构成的序列，文件可以是一组记录构成的序列，该记录又可以是复杂该记录又可以是复杂的结构，这个结构的意义是由操作系统解释的。的结构，这个结构的意义是由操作系统解释的。这样，文件这样，文件便由数据和属性构成，其中

50、，属性包括文件长度、访问时间、便由数据和属性构成，其中，属性包括文件长度、访问时间、访问控制表和拥有者，文件长度和数据可为用户使用，其它访问控制表和拥有者，文件长度和数据可为用户使用，其它属性均为目录服务使用，可以将这种文件看作一种文件对象。属性均为目录服务使用，可以将这种文件看作一种文件对象。南京理工大学计算机学院南京理工大学计算机学院分布式系统与分布式系统与WEB服务服务 关于文件的另一个重要问题是文件的可修改性。关于文件的另一个重要问题是文件的可修改性。如果文如果文件创建之后，不能再修改，则称为不可修改件创建之后，不能再修改，则称为不可修改(Immutable)(Immutable)文文