欢迎来到天天文库
浏览记录
ID:35064304
大小:3.67 MB
页数:68页
时间:2019-03-17
《基于对等网络的分布式pi演算研究》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、10183单位代码:分类号:TP393研究生学号:2013巧2121密级:公开參古林大学硕db学位论文(聲术樂化)基于对等网络的分布式Pi演算研究aculusbasedonP2PNetwo化ResearchonDistributedPicl作者姓名:王雪专业:计算机应用技术研究方向:移动通信与网络指导教师:魏达教授培养单位:计算机科学与技术学院2016年5月V基于对等网络的分布式Pi演算研巧ResearchonDistributedPi
2、calculusbasedonP2PNetwork作者姓名:王雪专业名職:移动通信与网络指导教师:魏达教授学位类别:工学硕±答辩日期:2016年JT月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
此文档下载收益归作者所有