论文部分内容阅读
1 引言 对于由多个成员组成的分布式应用如CSCW应用等来说,为了完成一个或多个任务,多个成员通常组成一个或多个协作组。组成员为了完成其所承担的任务通常不仅要给其它成员发送组播消息,而且还要给某个或某些成员发送单播消息,并且,这两类消息相互穿插在组成员所处理的消息流中,形成了一种相互依赖的因果序关系,这种因果序关系对分析、推理和描绘组成员中各种事件之间的关系是非常有用的,有助于解决系统中各种各样的问题,如维护副本数据库相关状态的一致性,避免系统中死锁的出现等。