分布式系统模型概要.ppt

基础模型 模型的目的 显示地表示有关我们正在建模的系统假设； 给定这些假设，就什么是可行的什么是不可行的给出结论。 基础模型 交互模型 进程之间通过消息传递进行交互，实现系 统的通信和协作功能。 有较长时间的延迟。 时间是进程间进行协调的基本的参照，在 分布式系统中，很难有相同的时间概念。 独立进程之间相互配合的准确性受限于上 面两个因素。 基础模型 故障模型 计算机或者网络发生故障，会影响服务的正确性 故障模型的意义在于将定义可能出现的故障的形式，为分析故障带来的影响提供依据 设计系统时，知道如何考虑到容错的需 求。 基础模型 安全模型 分布式系统的模块特性以及开放性，使得它们暴露在内部和外部的攻击之下 安全模型的目的是提供依据，以此分析系统可能收到的侵害，并在设计系统时防止这些侵害的发生。 基础模型之交互模型 两个影响进程交互的因素 通信性能 不可能维护一个全局时间概念 基础模型之交互模型 通信通道的性能 延迟 第一个比特流从发出到到达目的节点在网络中所花费的时间。 访问网络的时间、操作系统通信服务的时间 带宽 在单位时间内，网络上能够传输的信息的总量 抖动 传输一系列信息所花费时间的变化值 E.g. 抖动会影响流媒体服务的质量，因为这类数据要求相对稳定的传输率。 基础模型之交互模型 计算机时钟和时间事件 时钟漂移率（Clock drift rate） 局部时钟和一个精确的参考时钟的差值 Timing event e.g., GPS, Logical time 基础模型之交互模型 交互模型的两个变体 同步分布式系统 进程执行每一步的时间有一个上限和下限。 每个在网络上传输消息可在已知时间范围内接收到。 每个进程的局部时钟相对于实际时间的漂移是在已知的范围内。 基础模型之交互模型 交互模型的两个变种 异步分布式系统---没有可预测的时限： 进程执行速度 每一步都可能需要任意长的时间 消息传递延迟 收到一个消息的等待时间可能任 意长 时钟漂移率 漂移率可能是任意的 基础模型之交互模型 同步分布时系统和异步分布时系统的例子 异步分布式系统 Email FTP 同步分布式系统 VOD Voice Conference System 故障模型 定义故障发生的行为，帮助理解故障对分布式系统的影响。 分类[Hadzilacos and Toueg, 1994] 遗漏故障Omission failures 随机故障Arbitrary failures 时序故障Timing failures 故障模型---遗漏故障 进程或者通信通道没有正常的工作 进程遗漏故障：进程崩溃 进程停止：在同步系统中通过时限是可 以检测出来的。但是在异步系统中，即 使很长时间没有收到来自某个进程的消 息，也不能判断是进程停止了。 通信遗漏故障：丢失信息 发送丢失，接受丢失，通道丢失 丢失故障是良性故障 故障模型---遗漏故障 故障模型---随机故障 随机故障（拜占庭故障）：对系统影响最大的一种故障形式，而且错误很难探知。 发生在进程中的随机故障：随便遗漏应有的处理步骤或者进行不应有的处理步骤，该做的不做，不该做的却做了。 E.g. 对一个过程调用返回一个错误的信息 随机故障很少出现在通信信道。 E.g. 校验和，消息有序列号。 故障模型---时间故障 仅仅发生在同步分布式系统中 Class effects Description Clock Process Process’s local clock exceeds the bounds on its rate of drift from real time. Performance Process Process exceeds the bounds on the interval between two steps. Performance Channel A message’s transmission takes longer than the stated bound. 故障模型---屏蔽故障 隐藏 例如：备份服务器 转换 例如：检验校验和发现出错信息，将其丢弃: arbitrary failure - omission failure 一对一通信的可靠性 有效性（Validity） 在发送端缓冲区的消息最终能够到达接收端的缓冲区。 完整性（Integrity） 接收到的消息和发送的消息完全一样，没有消息被发送两次。 安全模型 分布式系统的安全性 进程的安全性 通信信道的安全性 对象的安全性 对对象的保护措施 访问权限：在对象的访问控制表中规定什么人具有访问一个对象的权限 权能：用户一方所持有的访问那些对象的权