摘要
随着组播技术的飞速发展和广泛应用,对其路由协议进行数学建模和分析已经成为计算机网络领域一个重要的研究问题。其中PIM-SM协议是目前Internet上最广泛应用的域内组播路由协议。针对PIM-SM协议的复杂、异步的特点,在对PIM-SM协议机制详细分析的基础上,利用Petri网对其进行形式化描述和建模,为协议进行性能分析、系统仿真和具体实现提供理论基础。
With the muhicast technology gaining prominence and acceptance,its modeling and performance evaluation of the routing protocol has been an important problem of the computer network.PIM-SM (Protocol-Independent Muhicast-Spame Mode) protocol is a currently widely used intra-domain muhieast routing protocol in the Intemet.In allusion to the protocol characteristic of the complexity and asynchronism,the key mechanism of the protocol is analyzed in detail.It is presented a formal protocol description and is modeled based on the Petri net.The academic base of the protocol is provided for the performance analysis, system simulation and concrete implementation.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第3期157-159,共3页
Computer Engineering and Applications
基金
教育部博士点基金资助项目(20030290003)。