集群流媒体代理中主控制器选举和热切换协议研究  

Study of master controller election and hot swap protocol in clustered streaming cache proxy

作　　者：杨波[1] 廖建新[1] 武家春[1] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876

出　　处：《高技术通讯》2007年第1期6-10,共5页Chinese High Technology Letters

基　　金：863计划（2003AA121530）资助项目.

摘　　要：提出了一种适用于大规模流媒体应用的集群缓存代理体系结构，该结构包括由多个控制器构成的控制子系统和由一组内容存储器构成的分布式存储子系统。在控制子系统中设计了一种主控制器选举和热切换（MES）协议，并使用线性时序逻辑（MPTL）对MES协议进行了形式化描述，通过逻辑演算证明了该协议的一致性。MES协议功能完备，伸缩性强，实现简单，可提高系统的可靠性和扩展系统的存储容量和服务提供能力。A novel system architecture of multi-controller based cache proxy was proposed to satisfy the requirement of largescale streaming applications. Two subsystems were introduced in this architecture： a control subsystem consisting of multiple candidate cooperative controllers, and a storage subsystem which was composed of content storage groups. A protocol named master controller election and hot swap （MES） was designed, and the linear temporal logic （MFFL） was employed to formally describe the MES protocol, the conformance of this protocol was proved by using logical calculus. The MES protocol is characterized with perfect functions, good flexibility, easy implementation; it improves the system＇s reliability, extends the storage capacity and service providing capability.

关 键 词：集群缓存代理 主控选举和热切换 形式化描述 逻辑演算 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]