gossip体系结构、Bayou和Coda.pptVIP

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消息，也不指定某个副本管理器如何选择接收gossip消息的其他副本管理器，所有的副本管理器要在一个可接收的时间内接收到所有的更新 如何选择合适的gossip消息的发送频率？ 　 - 分钟、小时或天？——由具体应用需求决定 如何选择合适的合作者(副本管理器) 　 - 随机策略 　　　使用加权概率来选择更合适的合作者 - 确定策略 　　　使用副本管理器状态的函数来选择合作者 - 拓扑策略 　　　网格、环、树 Bayou系统和操作变换方法 Bayou系统简介 提供的一致性保证弱于顺序一致性 能够进行特定领域冲突检测和冲突解决 - 操作变换：一个或多个相冲突的操作被取消或改变以解决冲突的过程。 　 - 例子 　　　行政主管和秘书同时预约 ，其中行政主管为离线更新——行政主管上线后，Bayou系统检测到冲突，然后批准行政主管的预约而取消秘书的预约。 Bayou系统和操作变换方法 提交的更新和临时更新 临时的更新 　　更新首次应用于数据库时，被标记为临时的。 提交的更新 　　Bayou将临时的更新以规范次序放置，并添加提交标识。 数据库副本状态 　　提交的更新序列＋临时的更新序列 更新重排序 新更新到达或某个临时更新被修改为提交的更新 Bayou系统和操作变换方法 提交更新和临时更新示例 t2 t1 t0 cN c2 c1 c0 Ti+1 ti .... .... 已提交 临时 临时更新ti成为下一个提交更新， 并被插入到最新提交更新cN之后 Bayou系统和操作变换方法 依赖检查和合并过程 依赖检查 　 - 一个更新执行时是否会产生冲突 　 - 例子：写－写冲突、读－写冲突检测 合并过程 　 - 改变将要执行的操作，避免冲突，并获得相似效果 　 - 无法合并→系统报错 Bayou系统讨论 复制对于应用而言是不透明的 复杂度高 应用于冲突较少、语义简单、处理临时信息 Coda文件系统 Coda目标 提供一个共享的文件存储。在该存储全部或部分不可访问时，可完全依赖本地资源继续操作计算机 Coda 采用文件卷复制技术——提高吞吐率和容错性 在客户计算机上缓存文件副本——断链处理 Coda文件系统 Coda体系结构 Venus/Vice进程 　 - Venus：客户机上运行的进程，前端和副本管理器的混合体，管理文件的本地缓存 　 - Vice：文件服务器上运行的进程，副本管理器 卷存储组(VSG) 持有一个文件卷副本的服务器集合 可用的卷存储组(AVSG) 打开一个文件的客户能访问的VSG的某个子集 Coda文件系统 Coda体系结构(续) 文件访问过程 　 - 当前AVSG中的任何一个服务器提供文件服务，并缓存在客户计算机上。 　 - 对每个副本管理器进行更新分布 关闭文件 　 - 修改过的拷贝并行广播到AVSG中的所有服务器 Coda文件系统 Coda体系结构(续) 断链操作 　 - AVSG为空时(网络或服务器故障，客户机离线)，断链操作的有效性依赖于客户机缓存中是否有用户继续工作所需的文件。 - 客户机和Coda合作产生应该缓存的文件列表 　 - 手工干预解决冲突 设计原则 　 - 服务器上的拷贝比客户计算机缓存中的拷贝更可靠 Coda文件系统 复制策略 乐观策略 　 - 在网络分区和断链操作期间，仍然可以进行文件修改 实现 　 - Coda版本向量(CVV) 作为时间戳附加在每个版本的文件上 CVV中的每个元素是一个估计值，表示服务器上文件修改次数的估计 目的提供足够的关于每个文件副本的更新历史，以检测出潜在的冲突