论文部分内容阅读
对等网环境中节点动态性高、可靠性低的特点使得其中的数据管理必须考虑容错。对等网领域早期的数据容错研究集中在数据的可用性与持久性上,主要讨论数据存储、定位与查询的容错技术,包括网络拓扑结构、消息路由算法、数据编码方式、分发策略、恢复时机等等。随着对等网及其应用的不断发展,其中的数据管理需求也由数据传输、定位、查询、可靠存储逐渐拓展至数据一致性、正确性与保密性的维护。针对对等网络中数据管理的新需求,分析了对等网数据管理所遇到的挑战,研究了对等网中副本更新、并发控制与密钥保护的容错技术,提出了对应的解决方案。针对数据副本的更新问题,提出了一个副本一致性管理框架。该框架提供一组相容的读写协议,由弱至强分别保证副本操作的安全一致性、正规一致性与线性一致性。允许应用在数据一致性与性能之间进行自主权衡,并允许应用动态调整数据的一致性级别。通过混合失效模型,既实现了对拜占庭失效的容错,又有效的降低了系统容错所需的节点数量与存储空间。在操作无冲突时使用Quorum系统实现容错,检测到副本状态不一致后切换至状态机方式工作,各服务节点间协商确定数据的正确状态,使副本重新一致。该框架既拥有Quorum系统消息数少、操作响应快、节点负载低的优点,同时也具备状态机方法在争用频繁时性能稳定的特点,可明显改善系统的可伸缩性,减少系统的容错开销,能较好的应用于对等网环境。为支持涉及多数据对象的复杂事务,提出了一组高效可靠的数据访问协议,实现了对等网中容错的并发控制。首先,针对良性失效环境下的对等网络提出了健忘失效模型,更准确的描述了失效节点的行为特征。其次,使用对象的管理节点维护涉及该对象的事务信息,客户节点通过管理节点获取与其发生争用的节点信息,并主动与之协商解决争用问题,在缺少全局的事务协调者的网络环境中实现了并发控制。再次,使用组播树的方式对请求进行多播,有效减少了单次操作的网络开销。接着,通过为请求设立租期的方式,有效实现了对客户节点失效的容错。基于封锁的悲观并发控制协议在当前拥有封锁的节点上维护封锁队列,释放封锁的同时即申请新的封锁请求,在高负载环境下表现出稳定的性能。在争用协调的同时以边界跟踪的方式检测死锁,当发现潜在的死锁环后使用路径推动算法在候选节点间确定死锁,减少死锁检测时间的同时限制了解决死锁的网络开销。基于版本的乐观并发控制协议利用同一事务所产生的对象版本号在不同对象的不同版本间建立逻辑上的先后关系,并以其为基础推理事务之间的依赖关系,实现了事务并发执行的亚可串行化。针对对等网中密钥信息存储问题,提出了一个基于身份的动态安全的多秘密共享方案,并对其正确性与安全性进行了分析与证明。首先,使用基于身份的公钥密码系统避免了公钥与实体身份的绑定问题。其次,通过联合秘密共享与密钥协商算法将管理节点的功能分布至一组节点上予以实现。再次,构造公开可验证的加密与零知识证明,有效的对抗了成员欺骗,去除了对可信第三方的要求。最后,采用多副本形式管理系统参数与组参数,使完成任何操作均只需门限个诚实节点即可,且无需同时在线。方案允许动态的添加与移除成员、动态的改变系统门限值并周期性的变换成员子密钥,从而更加充分的利用网络资源、提供更高的安全性与可用性。方案中加密完全在本地完成不产生任何消息,使得多个秘密共享可并行的进行。通过重用组参数,每次秘密重构所需的消息开销达到了理论最优值。理论分析与模拟实验表明提出的解决方案增强了对等网中副本更新、并发控制与密钥保护的容错能力,完善了对等网基础结构。