基于对等网络的分布式pi演算研究

《基于对等网络的分布式pi演算研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、１０１８３单位代码：分类号：ＴＰ３９３研究生学号：２０１３巧２１２１密级：公开參古林大学硕ｄｂ学位论文（聲术樂化）基于对等网络的分布式Ｐｉ演算研究ａｃｕｌｕｓｂａｓｅｄｏｎＰ２ＰＮｅｔｗｏ化ＲｅｓｅａｒｃｈｏｎＤｉｓｔｒｉｂｕｔｅｄＰｉｃｌ作者姓名：王雪专业：计算机应用技术研究方向：移动通信与网络指导教师：魏达教授培养单位：计算机科学与技术学院２０１６年５月Ｖ基于对等网络的分布式Ｐｉ演算研巧ＲｅｓｅａｒｃｈｏｎＤｉｓｔｒｉｂｕｔｅｄＰｉ

2、ｃａｌｃｕｌｕｓｂａｓｅｄｏｎＰ２ＰＮｅｔｗｏｒｋ作者姓名：王雪专业名職：移动通信与网络指导教师：魏达教授学位类别：工学硕±答辩日期：２０１６年ＪＴ月２斗日基于对等网络的分布式Pi演算研究ResearchonDistributedPicalculusbasedonP2PNetwork作者姓名：王雪专业名称：移动通信与网络指导教师：魏达教授学位类别：工学硕士答辩日期：2016年5月24日摘要摘要基于对等网络的分布式Pi演算研究近年来，随着网络规模的急剧增加，集中式处理模式的中央系统负载过大，信息流拥

3、堵，单点失效易造成网络瘫痪，而分布式技术正以它较高的可靠性和分流的优势，逐步取代传统的集中式处理模式，成为当今信息技术领域的研究热点。分布式网络系统的本质是解决资源的管理问题，包括如何对资源进行存储和访问，所以对于分布式系统的底层计算模型的研究，需要重点考虑资源的表示形式。Pi演算是一种具有代数性质的进程演算，用于各个领域系统模型的形式化分析和描述。Pi演算中名字的概念可以直观地表示分布式系统中的资源，并且结合Pi演算的移动性特点，能够描述动态变化的网络拓扑结构，然而，基础Pi演算在对具体的实例建模时，由于其缺少对控制结构和复杂数

4、据类型的直接描述，甚至有时会用到高阶Pi演算，造成所建立的模型十分复杂。因此，人们对Pi演算进行改进，用来适应不同领域模型的形式化分析。本文通过对分布式对等网络系统，Pi演算及其变体DPi演算的研究，提出了一种更接近真实网络拓扑的演算——NPi演算，该演算能够描述分布式网络系统，具有一定的实际应用能力。具体工作如下：1.对基础Pi演算进行扩展，提出了更接近于真实分布式网络拓扑的NPi演算，给出了该演算的语法语义，结构同余，以及规约规则，并根据新定义的标签迁移系统，给出了扩展的新演算的互模拟分析和证明。2.利用NPi演算对P2P网络

5、模型——Pastry和简单的DHT进行建模分析，验证NPi演算的表达能力。3.利用Pict语言对之前形式化描述的模型编程实现，验证了NPi演算建立的模型的正确性。4.在Linux环境下，给出基于NPi演算描述的P2P模型的Pict语言实现，同C语言实现的多组对比实验，从realtime,systime,usertime三个角度进行效率对比，说明Pict语言对分布式网络模型实现效率的优越性。I摘要结合本文工作，可以得出：基于分布式网络的底层模型，NPi演算和Pict语言分别具有较强的表达能力和较高的实现效率，这为Pi演算在分布式系统

6、底层模型的研究提供实验依据。关键词：NPi演算，分布式技术，对等网络，Pict语言IIAbstractAbstractResearchonDistributedPicalculusbasedonP2PNetworkInrecentyears,withtherapidlyincreasinginnetworkscale,centralizedprocessingmodeofthecentralsystemloadistoolarge,leadingtotrafficjamsandparalysisofthenetworkcaused

7、byasinglepointoffailure.Thedistributedtechnologyhastheadvantageofhighreliabilityanddiversion,soithasgraduallyreplacedthetraditionalcentralizedprocessingmodel,whichbecomesahottopicintoday'sinformationtechnology.Thenatureofdistributednetworksystemissolvingtheproblemofre

8、sourcemanagement,includinghowtostoretheresourcesandhowtoaccesstotheresources.Soitisimportanttoconsidertherepresentationmanne