摘要
提出了一种适用于大规模流媒体应用的集群缓存代理体系结构，该结构包括由多个控制器构成的控制子系统和由一组内容存储器构成的分布式存储子系统。在控制子系统中设计了一种主控制器选举和热切换（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.
出处
《高技术通讯》
CAS
CSCD
北大核心
2007年第1期6-10,共5页
Chinese High Technology Letters
基金
863计划（2003AA121530）资助项目.
关键词
集群缓存代理
主控选举和热切换
形式化描述
逻辑演算
cluster caching proxy, master controller election and hot swap, formal description, logical calculus
