基于Gnutella协议的Peer-to-Peer网络研究及其协议验证-信息与通信工程(信息安全)专业论文.docxVIP

信息工程大学博士学位论文摘 信息工程大学博士学位论文 摘 要 由于P2P系统在资源共享方面有着巨大的应用前景，对他的研究已成为学术界的重点 问题之一。在P2P系统中，每个节点即是客户机，又是服务器，所有的数据交换都是在节 点间完成。P2P引导网络计算模式从集中式向分布式偏移，也就是说网络应用的核心从中 央服务器向网络边缘的终端设备扩散。 Onutella是一种完全的分布式、无等级结构的P2P网络模型，能够适应P2P网络中节 点频繁加入和离开的自然特性，它具有健壮性、实时性、可靠性、负载平衡等优势。基于 Gnutella协议开发的软件越来越多，有大量的用户使用这类软件在Internet上搜索查询 信息、下载文件和共享数据。然而，在Gnutella网络中还存在以下问题： 1．冗余消息多，吞噬带宽。Gnutella网络协议采用泛洪式(flooding)消息传播机 制，这种消息传播机制产生了呈指数级增长的冗余消息。据统计，P2P软件白天占Internet 上运行带宽的40％一70％，晚上有时能达到80％。 2，搜索效率低，可扩展性差。Gnutell_a网络的搜索协议将所有资源与节点统一对待， 没有考虑节点的性能差异，也没有利用查询成功的历史经验，使得搜索效率低下。同样由 于节点性能的差异，网络中个别节点可能没有足够的CPU时间片、内存和带宽来完成消息 的转发，导致了网络的分裂。 3．可达性问题。为了控制消息在网络中不会被无限制的扩散，减少冗余，Gnutella 网络协议弓l进了消息控制机制，而网络异构延迟和这些消息控制机制共同作用形成了短路 效应。短路效应会严重影响消息的到达率，造成网络的查询效率降低。 4．网络协议的正确性。协议是网络的血液和生命。协议中任何一点错误和缺陷都将 给分布系统的稳定性、可靠性、坚固性、安全性、容错性以及异种系统之间互通性带来巨 大的危害。然而，P2P网络协议是否正确，其协议是否具有安全性等性质，以及P2P网络 协议是否是按协议工程的要求研制的，均未见相关报道。 围绕上述问题，本文进行了深入地研究工作，其主要贡献如下： 1．GFB：一个具有消息反馈机制、可扩展的P2P系统 6FB是作者通过对Gia系统的改进得到的。Gia系统在保留了Gnutella的简洁性同时， 改善了网络的扩展性能。在任何一段时间内，网上资源的需求都不是均一的，笔者按照 Gnutella网络的小世界和幂规律等特性，将成功查询结果内容的索引复制到多个性能高的 节点上，因为这些内容往往是近期在网上流行的资源。另外，我们用mdfRM搜索协议替代 Gia中的搜索协议，使6FB系统具有更好的可适性和搜索效率。 2．Gnuteila网络的连接管理 针对洪泛消息广播机制，产生大量冗余消息和严重吞噬带宽这一关键问题。本文在解 第1II页 信息工程大学博士学位论文析6nutel 信息工程大学博士学位论文 析6nutel la网络消息广播机制的基础上。指出了丢弃某些连接的必要性和可行性，提出 了根据传输带宽和机器处理各种消息时所耗费的时间和资源，来划分消息的优先级。把评 价搜索引擎性能的F-Measure参数引入连接管理中，在保障消息可达率的同时，通过计算 丢弃某些冗余连接。该解决方案由丢弃连接管理算法(DCMA)实现，给出了算法实例和对 算法的讨论。本文还给出了两种措施来辅助DcMA算法进行网络连接管理。两种措旌都能 有效的提高Gnutella网络的连接管理。 3．解决短路效应，提高消息可达性 经过研究发现，R_TTL环是网络中产生短路效应和冗余消息的根本原因。本文采用两 类解决方案：一类是修改控制机制，存储先到达的TTL值，与后到达的TTL值比较，使得 以TTL为半径的节点都是可达的；另一类是对Gnutella协议进行修改，增加了hello，bad 等消息，用以发现并断开网络中的R』TL环。实验表明使用改进后的Gnutella网络协议， Gnutella网络中的冗余消息减少，短路效应降低，消息的可达率提高。 4．基于时间自动机的协议验证方法和理论 协议是计算机网络的命脉，使用形式描述技术不但能够提供无二义性的描述，而且能 够对描述进行形式分析和求精。有限状态杌是最为重要的一种形式描述技术。然而，在验 证过程中，存在状态爆炸问题。本文对R．Alur和D．L．D“l给出的构造区域自动机的 算法进行分析，发现存在许多不可达或虽可达但无用的状态。通过对时钟约束的分析，在 求时钟区域和时间后继的过程中，不断地将一些不可达或无用状态筛掉，使构造出的区域 自动机更为优化，改进了R．Alur等人给出的算法。 5．6nutella协议、构造无RJTL环的网络协议的形式化描述及验证 大量的P2P软件是以Gnutella协议0．4开发的，构造无RJTL环的网络协议是笔者