分布式协同应用中组成员管理协议研究和设计.pdfVIP

分布式协同应用中组成员管理协议的研究与设计 出殿习张拥军壬怀民昊泉源 (国防科太计算机系长抄410073) 摘萎组成员关系管理是在分布式协同应用l；【及分布式容错应用中一个非常摘要的问题．因为在这 些应用中，成员运常运行在一个算步∞璐巷环境中，成矍可域动态的鲡入和商开，而且可能发生失效。为 了对成员进行有效豹管理，芟持分粕式揖硝应雁和分确’“错应用的开发，本文在对成员关系嗣履深入研 究的基础上，设计实现J’一个基j1喜户／箍务器；．～j●，垃如关系蚺议，浃协议保证系统中组成员维持一致 的成员关系．并且保证在成员发生失效对所有芷确成员的状态是一致的． 关麓字组通信．成爨关系，尹敛，虚嚣l蹲步 1引言 在分布式协同应用以及分布式窖错直用中，通常涉及多个成员，这些成员共享资滚， 组成一个协作组共同完成一个或多个任务．如一个成员通常要将一个操作或消息可靠地广 播蛤其它成员，困j逝，在上述这些应用中需要有组通信蔫型以支持多个成员之闻的消息传 递和协作。在组通信范型中，成员关系管理是一个非常重要且必须解决的问题。因为，上 述这些应用通常运行在一个异步的动态环境中，组成员可以动态的加入和离开，丽且可能 发生失效。殴姥，如果不对组成舞关系进行一致性管理，不霞的组成员可能具有不圊鹩组 成员关系，从而在螽续处理中可能导致各个成员相关信息(如共享信息)的不一致性，导致 不可预料的结果。为了对分布式协同应用和分布式容错应用中的成员进行有效地管理，本 文在对成员关系问题深入研究的基础上，设计实现了一个基于客户，臌务器模式的成员关系 上设计实现了一个成员r笑系服务，箕目的是为分柜式协同应用的开发攫供有效的支持机制。 2成员关系履务的特性 成员关系服务已被证明是分布式协同应用和分布式容错应用中一个关键服务。为了 有效地支持分布式协同应用和分布式容错应用的开发，我们设计实现了一个提供强语义的 成员关系协议MembPro，该协议保证： ●在所有正确鲍组成员之间维护一致的棍露； ● 任何两个正确的、经历蔼个相硒视圈变化的成员在这两个视盈变化期间传递括同的 消息集合。 2．1视露一襄蛙 视图是对组成员关蕴曲一种抽象，一个视圈是指出组中处于正确的运行状杏且彼此之 闻可以进行相互通信的成员组成的子集，而且该子集被其中的所有成员都认犀。每个正确 的组成员在安装一个视图时，遁絮该成璺都应该鼹于该视图，囡此，我们要求成员关系协 议的第一个特性是自包含特性。 特性1(壹包含努组中的每个成员进程都属于其所安装的视图。 要在每个组成员中保持组规图的一致性，静毙星保证每个组成员按相同鲍顺序处理视 图变化通知消息，拄槌霹的顺序安装每一个视图，下面婀特性锞证视图顾序的一致性。 -291· 特性2(祝固顺序)假设组g．视图y和W是组g的两个视图，且视图w是视图v的后 继，厕所有同时属于这两个诬墨中成受帮接先p后W曲腰序安装速两个视露。 ＼ 对成员关系服务来说，最重要的特性是在组的各个正确的成员之间保持组视图的一致 性。但是，由于我们所考虑设系统环境是一个异步的动态环境．因此组的视图可能经常发 生变化。对于一个应甩来说，掘慕构成该应用韵组鲍视鞠总是处于变化当中，罔对应用来 说或员关系鼹务是没有意义的。固此，对于一个组来说，当其视图发生变化后，总有一段 时间内处于相对稳定的状态中，我们称这段稳定时间为组的稳定期。对于一个组来说，在 其稳定期内，在各个正确的维处干之筒保持维视匿的一致性是菲常重要煎。视图鼹最终一 壤性就是保证这一特性的． 特性3C现圈一致性假设组g，to是～个时间点，在to之后组视图不再发生变化，而且 假设在岛之后，姐g的所有成是是相互可以通信且不楣互怀疑，列存在一个时间isto，在 t，组g中所有正确的成员都有相同的视图，且该视图正好由组g中的所有正确的成员构成。 2．2■担同步特性 对于一十组戚员来说，不仅要处理视图壹亿迥筇消息，面且还舞处理常热盼应用清息， 而且这两类消息相互交织穿插在成员所处理的消息流中的，因此需要有一种机制来对这两 类消息进行管理，保