基于Kautz图和Bloom滤波的对等网络研究

基于Kautz图和Bloom滤波的对等网络研究

论文摘要

信息管理是管理科学与工程学科的重要研究方向之一。在信息经济时代,信息管理充分利用计算机技术、网络技术和通信技术的最新成果,将有较大相关性的各种资源集中在一起,追求系统的整体优化和综合效益。对等(Peer-to-Peer, P2P)网络是近年出现的最重要的网络技术之一。P2P网络由众多地位平等的网络主机自发随机组织或依特定规则组织而成,即便单个网络主机的资源非常有限,其也能提供丰富的资源和强大的服务能力。目前,知识管理、电子商务、虚拟企业、企业计算等领域已经大量采用P2P解决方案。基于P2P的信息管理这一交叉研究方向应运而生,并得到了管理和计算机学科的双重关注。基于P2P的信息管理对底层P2P网络的性能指标提出了挑战性需求,包括可扩展性、鲁棒性、高效性、以及容错性等。这些需求进一步推动了对P2P网络的拓扑构造、资源组织、以及资源定位这三个核心问题的深入研究。本文深入研究具有最优拓扑性质的结构化P2P网络和非结构化对等网络的轻量级路由机制。这两个问题的解决对于对等网络的研究和应用具有重要价值,而且对相关领域的研究工作也很有借鉴意义。结构化P2P网络的拓扑性质是影响其系统性能的最关键因素,目前已经有几种多机互联网络被用于设计结构化对等网络的拓扑结构。在包括多机互联网络在内的所有非平凡图中,正则Katuz图具有最优网络直径等良好特性。但是,只有在网络规模N等于dk + dk?1时才能构造出正则Kautz图,其中d表示结点出度,k表示网络直径。为了支持任意确定数目个结点,正则Kautz图被扩展为Generalized Kautz Digraph。但是,Generalized Kautz Digraph的拓扑构造规则导致在结点数目每次发生变化时都必须重新构造整个拓扑结构。因而不适用于结构化P2P网络。本文首次提出具有任意规模和常量度数的非正则Kautz图,其具有最优的网络直径、常量出度、以及简单的路由机制等优势;然后基于非正则Kautz图提出一种拓扑最优的结构化P2P网络——MOORE。MOORE设计了一系列创新性的机制和算法,包括资源分布算法、消息路由算法、动态维护算法等。理论分析和仿真实验显示,无论在静态环境还是动态环境中,MOORE中任意结点的出度为常量,而入度在常量附近的小区间内浮动,其网络直径和平均路由长度分别优于其它结构化P2P网络的对应指标。为了解决将MOORE运用于高度动态环境时面临的难题,本文首次提出平衡Kautz树和Kautz环的结构,并据此设计了一种高效且健壮的结构化P2P网络——BAKE,其继承了正则Kautz图的拓扑优势。BAKE设计了保序的资源放置策略、高效而容错的路由模式、以及各种拓扑维护算法。通过分析和仿真评估了BAKE的拓扑属性、路由算法的鲁棒性、以及处理各种动态活动的延迟和消息成本。BAKE具有最优的网络直径、很高的查询性能、良好的网络连通性、并支持高效的精确查询和范围查询模式,优于其它结构化P2P网络。BAKE比MOORE具有更健壮的拓扑结构、更容错的路由算法、以及更低的拓扑维护成本。此外,平衡Kautz树结构、Kautz环结构、以及结构化对等网络的设计方法适用于其它常量度数多机互联网络领域,例如De Bruijn。非结构化P2P网络在Internet上得到大量应用。但是由于拓扑结构的非确定性和资源对象放置的随意性等特点,在没有其它机制辅助时资源定位机制不可能同时获得较低的定位延迟和少量的定位成本。基于Bloom滤波的全状态概率路由机制、弱状态概率路由机制、以及索引路由机制非常适合解决这一难题,这三类资源定位协议仅以很低的额外成本就能同时实现很低的定位延迟和定位成本。本文首次发现:不论在何种应用场景下,面向发送方的Bloom滤波优化设计方法会使基于Bloom滤波的全状态概率路由演变成为泛洪广播这种无序路由。在量化分析信息噪音的干扰下这种概率路由机制的消息路由性能之后,提出面向接收方的Bloom滤波优化设计方法,据此能够确保任意结点的任何路由条目发生假阳性判定的概率都足够低,进而每个结点都能够从众多路由方向中准确识别出正确的路由方向,最终确保了基于Bloom滤波的全状态概率路由机制的有效性和可行性。到目前为止,面向接收方的Bloom滤波优化设计方法是唯一能确保基于Bloom滤波的全状态概率路由机制的有效性和可行性的方法。本文首次观察到:前人所研究的弱状态概率路由机制从理论和实践两方面都无法高度确保消息路由的正确性和高效性。为了探索问题的根源,并提出可行的解决方法。本文首先在一个通用衰落模型的基础上对弱状态概率路由问题进行了细致建模,然后量化了衰落模型对成员资格信息量的影响,最后评价了噪音对弱状态概率路由决策的影响。本文提出了有效实现基于Bloom滤波的弱状态概率路由机制的充分和必要条件,并设计了面向接收方的Bloom滤波优化机制来满足此充分和必要条件。此外,本文还解决了弱状态概率路由机制产生的冗余消息问题和Bloom滤波的网络传输问题。仿真结果与理论分析显示本文的方法能以高概率确保基于Bloom滤波的弱状态概率路由机制的可行性和可用性。基于Bloom滤波的索引路由机制面临的一个挑战性问题是在各个索引依高概率发生假阳性判定时会很大程度上会退化为泛洪模式。因此,长久以来,关于Bloom滤波的研究主要关注如何表示静态集合并尽可能降低其假阳性判定概率。本文发现无论在单机应用还是在分布式应用中,动态集合比静态集合更为普遍和重要。而且为静态集合而设计的Bloom滤波及其衍生数据结构如果被用以表示动态集合,会面临假阳性判定概率无法控制的难题。本文首次提出动态Bloom滤波来处理动态集合并兼容静态集合。随着动态集合的不断增大,动态Bloom滤波通过按需扩展自身容量将其发生假阳性判定的概率控制在较低水平。Web服务是当前计算机领域的重要研究课题。如何动态选择、绑定并调用最适合用户需求的Web服务仍然是急需解决的问题之一。本文研究基于对等模式的QoS有保障的服务发现机制,包括基于QoS约束的服务发现问题和基于对等模式提高服务发现系统的可用性问题。提出集成服务选择算法的UDDI兼容扩展模型,并运用非正则Kautz图和Bloom滤波理论设计基于对等模式的分布式UDDI。原型系统在国家地质调查网格中得到应用,测试结果显示:扩展UDDI模型具有很高的查准率、响应率以及较好的负载均衡能力,而基于对等模式的分布式UDDI在保障查询性能的前提下提高了服务发现系统的可用性。

论文目录

  • 摘要
  • ABSTRACT
  • 第一章 绪论
  • 1.1 P2P 的研究背景
  • 1.1.1 P2P 计算的发展沿革
  • 1.1.2 P2P 计算的早期应用
  • 1.2 信息管理问题和P2P 技术的交叉研究
  • 1.2.1 基于P2P 的信息管理问题的研究定位
  • 1.2.2 基于P2P 的信息管理面临的难题
  • 1.3 相关研究工作
  • 1.3.1 非结构化对等网络
  • 1.3.2 结构化对等网络
  • 1.4 本文工作
  • 1.5 论文结构
  • 第二章 基于非正则Kautz 图的常量度数结构化对等网络
  • 2.1 研究背景
  • 2.2 基础知识
  • 2.2.1 Kautz 图及摩尔上界
  • 2.2.2 相关研究工作
  • 2.3 非正则Kautz 有向图
  • 2.3.1 非正则Kautz 有向图及其属性
  • 2.3.2 非正则Kautz 有向图的构建方法
  • 2.4 MOORE 方法设计
  • 2.4.1 概述
  • 2.4.2 资源的命名
  • 2.4.3 结点的命名
  • 2.4.4 消息路由
  • 2.5 拓扑构造和动态维护机制
  • 2.5.1 拓扑扩展
  • 2.5.2 结点加入
  • 2.5.3 结点退出
  • 2.5.4 拓扑收缩
  • 2.6 性能指标的理论分析和仿真评估
  • 2.6.1 结点的出度和入度分布
  • 2.6.2 平均路由延迟及路由延迟分布
  • 2.7 本章小结
  • 第三章 基于平衡Kautz 树的常量度数结构化对等网络
  • 3.1 研究背景
  • 3.2 Kautz 树结构
  • 3.2.1 相关研究工作
  • 3.2.2 Kautz 树的基本定义
  • 3.2.3 正则Kautz 树中结点的Kautz 排序
  • 3.2.4 非正则Kautz 树中结点的Kautz 顺序
  • 3.3 BAKE:基于平衡Kautz 树的结构化对等网络
  • 3.3.1 拓扑构建规则
  • 3.3.2 最长后缀匹配的资源放置策略
  • 3.3.3 高效且容错的路由策略
  • 3.3.4 查询处理
  • 3.4 拓扑管理
  • 3.4.1 拓扑调整
  • 3.4.2 结点加入
  • 3.4.3 结点失效
  • 3.4.4 结点退出
  • 3.4.5 拓扑调整操作的优化
  • 3.5 性能指标的理论分析和仿真评估
  • 3.5.1 拓扑属性
  • 3.5.2 路由模式的鲁棒性
  • 3.5.3 基本操作的延迟和消息成本
  • 3.6 本章小结
  • 第四章 非结构化对等网络中基于Bloom 滤波的全状态概率路由
  • 4.1 Bloom 滤波的相关知识
  • 4.1.1 Bloom 滤波数据结构
  • 4.1.2 Bloom 滤波的领域应用和衍生结构
  • 4.2 问题描述
  • 4.3 解决方案
  • 4.3.1 基于BF 的全状态概率路由机制中路由条目的表示方法
  • 4.3.2 面向接收方的BF 优化设计方法
  • 4.4 方案优化
  • 4.4.1 ABF 传输大小的优化
  • 4.4.2 CUBF 的存储优化
  • 4.4.3 基于BF 的全状态概率路由机制面临的实际应用问题
  • 4.5 性能评估
  • 4.5.1 散列函数的最佳个数
  • 4.5.2 假阳性判定概率的理论结果
  • 4.5.3 BF 的传输大小
  • 4.5.4 假阳性判定概率的实际结果
  • 4.6 本章小结
  • 第五章 非结构化对等网络中基于Bloom 滤波的弱状态概率路由
  • 5.1 研究背景
  • 5.2 基于Bloom 滤波的弱状态概率路由机制的理论分析
  • 5.2.1 Bloom 滤波
  • 5.2.2 Bloom 滤波的衰落传播模型
  • 5.2.3 衰落模型对成员资格信息的影响
  • 5.2.4 噪音对路由决策的影响
  • 5.3 基于Bloom 滤波的高可行性弱状态概率路由机制
  • 5.3.1 基于Bloom 滤波的高可行性弱状态概率路由机制的充分和必要条件
  • 5.3.2 实现高可行性弱状态概率路由机制的Bloom 滤波优化方法
  • 5.3.3 弱状态概率路由决策产生的冗余查询的处理方法
  • 5.3.4 Bloom 滤波的传输优化方法
  • 5.4 基于Bloom 滤波的弱状态概率路由的性能评估
  • 5.4.1 衰落模型对成员资格信息的影响
  • 5.4.2 噪音对路由决策的影响
  • 5.4.3 面向接收方的Bloom 滤波优化
  • 5.4.4 冗余查询的处理
  • 5.5 本章小结
  • 第六章 非结构化对等网络中基于Bloom 滤波的索引路由
  • 6.1 研究背景
  • 6.2 Bloom 滤波的相关知识
  • 6.2.1 Bloom 滤波概述
  • 6.2.2 相关研究工作
  • 6.3 动态集合的精确表示和集合成员资格判定
  • 6.3.1 动态Bloom 滤波的基本结构
  • 6.3.2 动态Bloom 滤波的假阳性判定
  • 6.3.3 动态Bloom 滤波的代数运算
  • 6.3.4 动态Bloom 滤波的集合成员删除算法的评估
  • 6.3.5 集合成员表示算法的优化
  • 6.4 动态Bloom 滤波性能评估
  • 6.4.1 大小和内容固定的静态集合
  • 6.4.2 集合大小的上界已知的动态集合
  • 6.4.3 集合大小的上界未知的动态集合
  • 6.4.4 分布式应用
  • 6.5 本章小结
  • 第七章 基于对等模式的QoS 有保障的分布式服务发现机制
  • 7.1 研究背景
  • 7.1.1 基于QoS 的服务发现问题
  • 7.1.2 相关工作
  • 7.2 基于QoS 约束的服务选择模型
  • 7.2.1 Web 服务的三维QoS 模型
  • 7.2.2 基于三维QoS 模型的服务选择算法
  • 7.2.3 基于服务效能的服务排序算法
  • 7.3 兼容的扩展UDDI 模型
  • 7.3.1 一种新模型
  • 7.3.2 Web 服务描述信息的注册与QoS 指标的获取
  • 7.3.3 用户对服务QoS 需求信息的表达
  • 7.3.4 服务发现和选择
  • 7.4 扩展UDDI 模型对服务虚拟化的支持
  • 7.4.1 服务虚拟化的缘由
  • 7.4.2 服务虚拟化建模
  • 7.4.3 服务虚拟化的动态实现
  • 7.5 基于对等模式的分布式UDDI 系统
  • 7.5.1 非结构化UDDI 对等网络的设计
  • 7.5.2 基于Bloom 滤波的路由协议
  • 7.6 实验案例和结果
  • 7.6.1 实验方案设计
  • 7.6.2 基于QoS 约束的服务选择实验和分析
  • 7.6.3 非结构化UDDI 对等网络的路由协议性能评估
  • 7.7 本章小结
  • 第八章 总结与未来工作
  • 8.1 论文的主要贡献
  • 8.2 今后的研究方向
  • 致谢
  • 参考文献
  • 攻读博士学期间取得的主要学术成果
  • 攻读博士期间参加的主要科研工作
  • 个人简介
  • 相关论文文献

    标签:;  ;  ;  ;  ;  ;  ;  ;  

    基于Kautz图和Bloom滤波的对等网络研究
    下载Doc文档

    猜你喜欢