系统模型
简介(概念)
分布式系统的三个重要且互补的解释方法:
-
物理模型:
考虑组成系统的计算机和设计的类型以及他们的互连,不涉及特定的技术细节
-
体系结构模型:
从系统的计算元素执行的计算和通信任务方面来描述系统
计算元素指单机或通过网络互联的多机集合。
-
基础模型:
采用抽象的观点描述大多数分布式系统面临的单个问题的解决方案
而分布式系统存在三个问题:
- 没有全局时间,不同机器上的时钟未必给出相同的时间
- 进程间的通信是通过消息完成的
- 计算机网络上的消息通信会受到延迟的影响,遇到多种故障,对安全方面的攻击很脆弱
这些问题则通过以下模型论述:
-
交互模型:
考虑系统元素之间通信的结构和顺序
处理分布式系统的性能问题并解决分布式系统中设置时间约束的困难
-
故障模型:
考虑一个系统能不能正确操作的方式
试图给出进程和通信通道故障的一个精确的规约
定义可靠的通信和正确的进程
-
安全模型:
考虑如何保护系统使其不受到不正确操作的干扰,防止被窃取数据
讨论对进程和通信通道的各种可能的威胁,引入了安全通道的概念(安全通道能保证在上述威胁下的通信安全)
分布式系统的困难和威胁:
- 使用模式的多样性:系统组件会承受各种工作负载,有些部分可能断线或连接不稳定
- 系统环境的多样性:系统必须能容纳异构的硬件,操作系统和网络
- 内部问题:非同步的始终,冲突的数据更新,各种软硬件故障模式
- 外部威胁:对数据完整性、保密性的攻击,服务拒绝攻击
物理模型(概念)
- 基线物理模型:一组可拓展的计算机结点,这些结点通过计算机网络相互连接进行所需的消息传递
三代分布式系统
-
早期的分布式系统:通过局域网互联的10-100个结点组成,与互联网的连接有限,支持很少量的服务
单个系统大部分是同构的
-
互联网规模的分布式系统:一个可拓展的结点集合,通过一个“网络(企业内部网)的网络”(互联网)相互连接
包含大量结点
为全球化组织提供分布式系统服务、跨组织提供分布式系统服务
异构性突出
开放标准和相关中间件技术重要性不断增加,采用额外的服务提供端到端的服务质量特性
-
当代的分布式系统:
移动计算——导致结点可以从一个位置移动到另一个位置,导致对诸如服务发现(服务发现,即消费端自动发现服务之地列表的能力)这样的新增功能的需要和对自发互操作的支持
无处不在计算——导致体系结构从分立结点转向计算机被嵌入到日常物品和环境中(智能设备)
云计算,集群体系结构的出现——导致从自治结点完成任务转向一组结点一起提供一个给定的服务
最终出现异构性很大增加的物理体系结构,这些系统部署不断