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

• 作者: 廖建新 杨波 武家春
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 集群缓存代理 主控选举和热切换 形式化描述 逻辑演算
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 信息技术
• 页码范围: 6-10
• 页数: 5页
• 分类号: TP3
• 字数: 5710字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.2007.01.002

摘要

提出了一种适用于大规模流媒体应用的集群缓存代理体系结构,该结构包括由多个控制器构成的控制子系统和由一组内容存储器构成的分布式存储子系统.在控制子系统中设计了一种主控制器选举和热切换(MES)协议,并使用线性时序逻辑(MPTL)对MES协议进行了形式化描述,通过逻辑演算证明了该协议的一致性.MES协议功能完备,伸缩性强,实现简单,可提高系统的可靠性和扩展系统的存储容量和服务提供能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	廖建新	北京邮电大学网络与交换技术国家重点实验室	340	2208	21.0	29.0
2	杨波	北京邮电大学网络与交换技术国家重点实验室	34	204	8.0	12.0
3	武家春	北京邮电大学网络与交换技术国家重点实验室	28	165	7.0	12.0