基于Overlay Network协同选播通信机制的研究

应用层选播因不了解物理网络拓扑而缺乏高效性,网络层选播因不了解服务器本身的负载而缺乏灵活性。在充分发挥应用层的灵活性和网络层的高效性的基础上,提出了基于Overlay Network的协同选播网络体系结构,给出了覆盖层的构造方法,并从域内和域间两方面对协同选播机制进行了阐述,最后利用Petri网理论对相关机制进行了形式化描述,且对其正确性和完备性进行了验证。