高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2007年
1期
6-10
,共5页
集群缓存代理%主控选举和热切换%形式化描述%逻辑演算
集群緩存代理%主控選舉和熱切換%形式化描述%邏輯縯算
집군완존대리%주공선거화열절환%형식화묘술%라집연산
提出了一种适用于大规模流媒体应用的集群缓存代理体系结构,该结构包括由多个控制器构成的控制子系统和由一组内容存储器构成的分布式存储子系统.在控制子系统中设计了一种主控制器选举和热切换(MES)协议,并使用线性时序逻辑(MPTL)对MES协议进行了形式化描述,通过逻辑演算证明了该协议的一致性.MES协议功能完备,伸缩性强,实现简单,可提高系统的可靠性和扩展系统的存储容量和服务提供能力.
提齣瞭一種適用于大規模流媒體應用的集群緩存代理體繫結構,該結構包括由多箇控製器構成的控製子繫統和由一組內容存儲器構成的分佈式存儲子繫統.在控製子繫統中設計瞭一種主控製器選舉和熱切換(MES)協議,併使用線性時序邏輯(MPTL)對MES協議進行瞭形式化描述,通過邏輯縯算證明瞭該協議的一緻性.MES協議功能完備,伸縮性彊,實現簡單,可提高繫統的可靠性和擴展繫統的存儲容量和服務提供能力.
제출료일충괄용우대규모류매체응용적집군완존대리체계결구,해결구포괄유다개공제기구성적공제자계통화유일조내용존저기구성적분포식존저자계통.재공제자계통중설계료일충주공제기선거화열절환(MES)협의,병사용선성시서라집(MPTL)대MES협의진행료형식화묘술,통과라집연산증명료해협의적일치성.MES협의공능완비,신축성강,실현간단,가제고계통적가고성화확전계통적존저용량화복무제공능력.
