中国的科学技术大学分布式算法课件的研究生课程.pptVIP

第4章分布式系统中的计算模型 2006.12.15 概述 分布式系统计算模型的复杂性 系统由并发执行部件构成 系统中无全局时钟 必须捕捉系统部件可能的失效 对策 因果关系（Causality） 一致状态（Consistent states） 全局状态 §4.1 基本知识 协议（Protocol） 协议中的控制语句 1.Send（destination, action; parameters） destination：处理器抽象。实用中是通信实体的地址： 机器名，机器的端口号(即1个socket地址) action： 控制msg，希望接收者采取的动作 parameters：参数集合 假定： msg发送是无阻塞、可靠的（语义类似于TCP套接字）； 有时假定较弱的msg传递层（等价于UDP）。 §4.1 基本知识 2.接收msg 接收msg可推广至接收事件，引起事件的原因是： 外部msg、超时设定、内部中断 事件在处理前，一般是在缓冲区(如事件队列)中，若一处理器想处理事件，它必须执行一个声明处理这些事件的线程。 例如，一个节点通过执行下述代码等待事件A1, A2,..., An waiting for A1, A2,...,