文档介绍：ff 务专笺莲瘟专最后,随着设计技术方法的成熟,我们将会看到明显改善了容错、资源共享和通信的实际分布式系统的繁殖。这些系统将作为独立的、掷调的、功能强的虚拟机运行,对全部网络资源提供透明的用户访问。(pule:》1g日1..pp12~14) 在分布式系统中执行的各个事件之间的相互关系决定一个部分的排序,即纯粹的并发事件相互之间没有影响。过去,设计人员一般使用一种简亿的分布式计算机概念,在执行的事件上,利用一种交叉存取的总体序列。然而,现在的薪的计算概念让我们在事件被它们的因果关系(即一个事件直接或暂时影响另一个事件的能力)定义的情况下,使用事件的完全部分的排序本文根据部分排序逻辑时钟定义这种部分的排序,描述它的普遍的和实际的执行过程,并概述了当前某些新技术的应用情况。定义对于一个既使用异步又使用同步消息传递和过程嵌套的一个系统来说,分布式计算中各事件之间的随机关系可作如下描述。“在前发生”关系(用一表示)满足下列6个条件的最小的关系。在给定的计算期间所执行的事件中,它是一个非自反的、过渡的关系。事件是所关心的一个细微动作的唯一可识别的运行时阔实例而计算是分布式计算系统的一次特定的运行或执行。一次计算由一个或几个可能的嵌套过程实例组成,每们是被一个特定过程定义的唯一可识别的运行时闯示例。条件1:顺序特性。若事件e和f在同一个过程实例p中出现,而且f在e之后,则e—f。条件2:过程建立。若事件e和过程实例g在过程实饲p中出现,事件f在g中出现, 而g在e之后开始,则e—f。条件3:过程结束。若事件e和过程实例g发生在过程实例P中,事件f发生在g中, 且e在g完成之后出现,则有f—e。条件4:同步无缓冲的消息传递。若事件e是一个同步的输入(输出)和事件f是相应的输出(输入),且存在如e—g事件q,则f—q如果存在如h—e的事件h,则h—f。。条件5:异步(有缓冲的)消息传递。若事件e是异步的发送,而事件f是其相应的接收,则e—f。条件6;传递性。若e—f且f—g;jⅡ4e—g。 4 3 口 P 列定校一膊辑青J,J龇逻箍一{I 生Ⅱ产统塑酣系妻肼算{2 计礞式===参册甄~船黼一●.-霉、L 维普资讯 则事件 e出现在过程实例p中,如果p执行e。如果q的p的一个子过程,则过程q出现在过程实例p中。“在后”仪仅在涉及出现在单一过程之内的动作时使用。每个过程由一系列动作组成部分排序的逻辑时钟图1示出由分布程学P执行的计算。在它开始执行不久,P就产生两个过程实例R和Q。所有这三个过程执行一些事件。有些事件是某个过程的内部事件(如E)或如G那样的通信操作,为清楚起见,我们把过程的产生和结束视为特殊情况,虽然可将它们视为同步事件。在执行事件H后。过程R产生S和T两个过程,并在其子过程持续时间暂停自身的执行。过程 P和S通过同步消息传递进行通信;事件F输出一个消息,它同时也是事件 T的输入。过程P和Q通过异步消息传递进行通信,事件G表示发出一个消息,然后由事件c接收。在过程s和T完成后,过程R继续盎丑P 进行并执行事件L。在过程Q和R结束图1分布式计算。括号内表示每个事件后,主程序(过程P)执行最终的事的部分排序时间,实箭头表示流控件M,同时计算结束。制,虚箭夫表示过程间的通信部分排序的逻辑时钟说明了这些事件之间的所有相互关系。图l中每个事件的注释表示计算中在该点的