复制教学文稿.pptVIP

gossip体系结构 按因果次序处理更新(续) 更新请求u的稳定性条件 　　u.prev≤valueTS 副本管理器的更新操作 　 - value := apply(value, r.u.op) - valueTS := merge(valueTS, r.ts) - executed := executed∪{r.u.id} gossip体系结构 强制的和即时的更新操作 强制更新和即时更新需要特殊处理，强制更新是全序加因果序，保证更新的强制次序的基本方法是在相现象的时间戳后加入一个唯一的序号，并以这个序号的次序来处理它们。 gossip消息 副本管理器通过gossip消息来更新自身的状态。通过时间戳表里的记录来估计其它副本管理器还没有收到哪些更新。 gossip消息m的格式：日志m.log和副本时间戳m.ts gossip体系结构 收到gossip消息后执行的操作 日志合并 　 - 若r.ts ≤replicsTS，则丢弃 　 - 将记录加入到日志，合并时间戳 　　replicaTS := merge(replicaTS, m.ts) 执行任何以前没有执行并已经稳定了的更新 　 - 根据向量时间戳的偏序“≤”对更新进行排序，并依次执行更新。 当知道更新已执行并没有重复执行的危险时，删除日志和已执行操作表中的记录 　 - 若tableTS[i][c] ≥ r.ts[c]，则丢弃r。 gossip体系结构 更新传播 gossip体系结构未规定具体的更新传播策略 如何选择合适的gossip消息的发送频率？ 　 - 分钟、小时或天？——由具体应用需求决定 如何选择合适的合作者(副本管理器) 　 - 随机策略 　　　使用加权概率来选择更合适的合作者 - 确定策略 　　　使用副本管理器状态的函数来选择合作者 - 拓扑策略 　　　网格、环、树 gossip体系结构 目标：保证服务的高可用性 存在问题： 不适合接近实时的更新复制 可扩展性问题 Bayou系统和操作变换方法 Bayou系统简介 与gossisp体系结构和基于时间戳的反熵协议类似 提供的一致性保证弱于顺序一致性 能够进行冲突检测和冲突解决 - 操作变换：一个或多个相冲突的操作被取消或改变以解决冲突的过程。 　 - 例子 　　　行政主管和秘书同时预约 ，其中行政主管为离线更新——行政主管上线后，Bayou系统检测到冲突，然后批准行政主管的预约而取消秘书的预约。 Bayou系统和操作变换方法 提交的更新和临时更新 临时的更新 　　更新首次应用于数据库时，被标记为临时的。 提交的更新 　　Bayou将临时的更新以规范次序放置，并添加提交标识。 数据库副本状态 　　提交的更新序列＋临时的更新序列 更新重排序 新更新到达或某个临时更新被修改为提交的更新 Bayou系统和操作变换方法 提交更新和临时更新示例 t2 t1 t0 cN c2 c1 c0 Ti+1 ti .... .... 已提交 临时 临时更新ti成为下一个提交更新， 并被插入到最新提交更新cN之后 * * 第6章 复制 第6章 复制 简介 系统模型 容错服务 高可用服务的实例研究：gossip体系结构、Bayou和Coda 小结 简介 复制的概念 在多个计算机中进行数据副本的维护。 复制的动机：增强服务 增强性能 　 - 浏览器对Web资源的缓存 　 - 数据在多个服务器之间地透明复制 提高可用性 　 - 服务器故障：1－pn 　 - 网络分区和断链操作：预先复制 增强容错能力 　 - 正确性：允许一定数量和类型的故障 简介 复制的基本要求 复制透明性 　 - 对客户屏蔽多个物理拷贝的存在 　 - 客户仅对一个逻辑对象进行操作 一致性 　 - 在不同应用中有不同强度的一致性需求 　 - 复制对象集合的操作必须满足应用需求 系统模型 基本模型 FE 请求和应答 C 副本管理器 C 服务 客户 前端 RM RM FE RM 系统模型 基本模型组件 副本管理器 　 - 接收前端请求 　 - 对副本执行原子性操作 前端 　 - 接收客户请求 - 通过消息传递与多个副本管理器进行通信 系统模型 副本对象的操作 请求：前端将请求发送至一个或多个副本管理器 协调 　 - 保证执行的一致性 - 对不同请求进行排序（FIFO，因果，全序） 执行：包括临时请求的执行 协定：就提交请求的影响达成一致 响应：一个或多个副本管理器响应前端 第6章 复制 简介 系统模型 容错服务 高可用服务的实例研究：gossip体系结构、Bayou和Coda 小结 容错服务 复制是提高系统容错能力的有效手段之一 为用户提供一个单一的镜