数据网格中复制式数据的一致性维护方法.PDFVIP

数据网格中复制式数据的一致性维护方法 杨江 明 yangj iangming@ 复旦大学 计算机与信息技术系 上海市邯郸路220号 200433 内容提要 n 背景介绍 n 相关工作 n 系统构架 n 一致性维护方法 n 结论 内容提要 n 背景介绍 n 相关工作 n 系统构架 n 一致性维护方法 n 结论 背景介绍 n 为什么是网格环境？ n 网格是资源共享的趋势。 n 机遇与挑战 用户对资源的需求 n对于参与的需求 n Wikipedia, /wiki/Main_Page n Open directory project, / n对于交互的需求 n 以各种论坛为代表的大量数据，是以用户交互性的需 求为前提的。 n对于协同的需求 n 是企业全球化与信息化的趋势。 内容提要 n 背景介绍 n 相关工作 n 系统构架 n 一致性维护方法 n 结论 相关工作 n 网格环境下数据存储的研究 n eDonkey、eMule、Globus Data Grid、EU Data Grid、 OceanStore等等大都仅仅着眼于数据的动态性，分布性和 可获得性，缺乏对网格数据实时修改的支持。 n 一致性维护方法的研究 n传统的一致性维护方法 n 如：分布式锁、轮寻等方法，无法满足用户操作的实 时响应。 n无锁的一致性维护方法 n 如：操作转换方法、地址空间转换方法，不支持同一 站点内的并发操作。 内容提要 n 背景介绍 n 相关工作 n 系统构架 n 一致性维护方法 n 结论 系统构架 n 通过在数据网格中维护多个数据副本 n 用户可以选择其中任意一个进行访问修改 n 用户的操作在其访问的数据副本上立即执行 n 保证全部操作执行完成之后，各个数据副本 间的一致性 系统构架 n 对数据副本的约束 n实时性 （Real-time），用户可以选择任 意的数据副本访问，并且可以从这个数据 副本立即得到返回结果。 n独立性 （Independency ），如果一个数 据副本崩溃，不会影响其它的数据副本。 n一致性 （Consistency ），对于修改操作 ，用户只需要在一个数据副本上执行操作 ，所有的数据副本会保持一致。 内容提要 n 背景介绍 n 相关工作 n 系统构架 n 一致性维护方法 n 结论 一致性维护方法 n 我们采用无锁的一致性维护方法： 于地址 空间转换的方法。通过引入新的时间戳模型 ，使其可以支持同一站点内的并发操作。 n 使用XML模型描述数据结构 n 使用XQuery和XUpdate描述用户操作， Query和Update间不存在并发冲突。 因果关系和并发关系定义 n 因果关系“→” n 考虑两个操作O 和O ，分别来自用户i和j 。操作 a b 满足因果关系O →O ，当且仅当， a b n 当i=j，操作O 的产生在操作O 之前。 a b n 当i≠j ，操作O 在数据副本上的执行在收到操作O 之前 a b n 存在一个操作O ，O →O 且O →O 。