自适应寻径的对等网络寻径形式化模型

摘要

对等网络的发展从传统的非结构化协议到基于DHT的结构化协议,寻径的效率逐渐增高,然而随着开销的增加,出现了抗抖动性减弱的问题。提出了一种自适应寻径的对等网络寻径形式化模型,阐述了对等网自适应寻径协议的基本组成,描述其寻径过程,并建立下推自动机模型。最后,对模型的可达性给予证明。%Peer to peer network develops from traditional unstructured protocol to DHT based structured protocols and the routing efficiency is gradually increased.With the increase in the overhead,however,anti-jitter has been weakened.First,An adaptive routing peer-to-peer network routing formal model is proposed.Second,the basic composition of the peer-to-peer network adaptive routing protocol is expounded.The routing process is discussed,and pushdown automata model is established.And finally,the reachability of the model is proved in this paper.