由于研究涉及分布式系统所以阅读《分布式系统概念与设计.docVIP

由于研究涉及分布式系统,所以阅读《分布式系统概念与设计》(《Distributed Systems Concepts and Design,4th edition》),以便对于分布式系统有一个大概整体了解。在前言中，作者也指出该书的主旨：讲述分布式系统的缘由、体系结构和分布式算法设计，以及面临的挑战。读此书要注意该书的组织框架，即导航图，指出本书的主题：①体系结构；②异构问题及方法；③分布式算法设计；④数据共享问题。 支持网站： 第一章 分布式系统特征 图1 本章结构 缘由 -- 为何要发展分布式系统？ 因为资源共享（资源为广义所指，如Web服务等）。例如Internet、移动服务（计算）、Pervasive Computing。 特征 – 以Internet为例 HTML – Web页面显示 Internet三基石 URI – 资源标识与定位 HTTP – 转送协议 挑战 组件并发性 Internet是一个混沌系统，介于无序和有序之间。分布式系统组件物理地址不同，难以统一协调，又缺乏全局性时钟，所以并发并行控制是设计分布式算法头号难题。 异构性 包括软硬件个层次异构性，解决方法：中间件(middleware)，如DCOM、CORBA。 透明性 --- 虚拟计算 安全性 --- 可信计算 故障处理机制 扩展性 性能和成本的平衡，性价比。常用技术有Web缓存，集群计算的负载平衡调度等。 开放性 接口、通信机制、接口匹配的一致性（语义层次）。 第二章 系统模型 同步(时间戳) 对象 交互模型 异步(逻辑时间 [1]) 模型(抽象) 层次(架构) 分布式系统模型 故障模型 接口(通信) 安全模型 架构模型 C/S(集群 对等系统(P2P) 网络 寻址(DNS) 虚电路方式(TCP) 数据包传递 报文方式(UDP) 协议 拥塞控制 路由算法 优化路径 Bellamn-Ford算法 动态更新 RIP协议 进程通信 分布式对象和远程调用 RPC RMI(Remote Method Invocation):CORBA，DCOM Event 操作系统 安全性 分布式文件系统 文件物理地址分配 透明存储 文件逻辑地址整合 NFS（sun） 并发文件控制 -- 一致性（如缓存一致性） 实例 RAID GFS（Google） 容错机制 日志文件 名字服务 名字服务作用 --- 根据名字获取资源或对象的地址等属性。（对比操作系统文件名） Bind绑定 --- 系指名字与对象的关联，尤其是名字与对象地址的映射关系。 关键问题： 名字服务器的逻辑结构（DNS）：pair 名字，属性 名字解析：如何通过名字查找属性 目录服务：如何通过属性查找名字，即名字解析逆运算。(X.500) 对等系统 对等系统借助中间件，以一种新方式从命名、路由、数据复制和安全性入手，在一株不可靠、不可信的计算机与网络上建立一个可靠的高度分散且自治的资源共享层。 实例：BitTorrent 数据在多极环境的存储 动态负载平衡条件数据访问机制 关键问题 容错机制 检索算法设计 GUID Hash 随机分配 路由覆盖 -- DHT（Distributed Hash Table） 每个活跃节点 存储 邻接点集合 路由表依据GUID前缀 的树形分类 节点加入或退出的更形机制 时间和全局状态 在分布式系统中,时间是其正确性的一个关键因素，尤其在分布式算法方面。 外同步： D,其中，S(t)为基准时间，C(t)为各节点时间 同步 内同步： D， D是同步范围 逻辑时间（偏序关系） 向量时钟 分布式系统由于缺乏全局时间，问题：是否可利用不同时间点的各节点子集，得出一个 有意义的全局状态描述呢？ 协调与协定（Byzantine General Problem） 同步/异步 因子 故障处理 中心服务器算法 分布式互斥 令牌 选举 组播逻辑时钟 选举算法 事务与并发控制 更新丢失 锁机制 事务(ACID) 不一致 解决方法 并发验证 （对比DB） 脏数据 时间戳排序 分布式事务 原子提交协议 两阶段提交协议 分布式死锁 （先个体后整体） （全局等待图） 复制 在分布式系统中,复制系指如何对于多节点的数据副本进行维护，保证数据一致性（可 能不同层次），是提高可用性和容错的关键技术