Ajay D.Kshemkalyani。 用于在分布式计算中查看原子事件的框架。 (英文) Zbl 0902.68070号 西奥。计算。科学。 196,编号1-2,45-70(1998). 摘要:分布式计算中的事件在文献中已经在各种应用程序的孤立上下文中进行了隐式建模。本文提出了一个统一的框架,用于在分布式计算中表达和分析不同层次的原子性事件。在该框架中,使用分布式计算的层次视图,根据更精细的原子级别的事件来定义和组合任何级别的原子事件。我们确定并证明了每个原子性级别都满足的三个性质。基于这些属性的结果适用于任何一级原子性,适用于所有级别的原子性。这些属性还表明,不同原子性级别的全局状态对应于嵌入的全局状态格,从而为同一计算提供了不同的抽象视图。 引用于三文件 MSC公司: 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 关键词:原子性;因果关系;并发;分布式计算;通信 软件:联合;磁粉探伤 PDF格式BibTeX公司 XML格式引用 \文本{A.D.Kshemkalyani},Theor。计算。科学。196,编号1--2,45-70(1998;Zbl 0902.68070) 全文: 内政部 参考文献: [1] 阿胡加,M。;Kshemkalyani,A.D。;Carlson,T.,《分布式系统中的基本计算单位》,(第十届IEEE国际会议分布式计算系统(1990)),12-19 [2] 阿南达。;Tay,B。;Koh,E.,异步远程过程调用调查,ACM操作系统版本,26,2,92-109(1992) [3] Arjomandi,E。;费舍尔,M.J。;Lynch,N.,《同步与异步分布式系统的效率》,J.ACM,30,3,448-456(1983)·Zbl 0627.68025号 [4] Arnette,W。;Kshemkalyani,A.D。;莱利,W。;桑德斯,J。;施瓦勒,P。;特里恩·J。;Walker,J.,CPI-C:分布式应用程序的API,IBM Systems J.,34,3,501-518(1995) [5] Bergstra,J.A。;Klop,J.W.,基于互模拟语义的过程理论,(de Bakker,J.W.;de Roever,W.-P.;Rozenberg,G.,《逻辑中的线性时间、分支时间和部分顺序以及并发模型》,《计算机科学讲义》,第354卷(1988),施普林格:柏林施普林格),50-122·Zbl 0683.68066号 [6] 伯恩斯坦,P.A。;哈齐拉科斯,V。;Goodman,N.,《数据库系统中的并发控制与恢复》(1987),AddisondashWesley:AddisondashWesley Reading,马萨诸塞州 [7] Bougé,L.,具有同步通信的分布式系统中的重复快照及其在CSP中的实现,Theoret。计算。科学。,49, 145-169 (1987) ·兹比尔0617.68023 [8] Chandy,K.M。;Lamport,L.,《分布式快照:分布式系统的全局状态》,ACM Trans。计算。系统,3,1,63-75(1985) [9] Chandy,K.M。;Misra,J.,进程如何学习,分布式计算。,1, 40-52 (1986) ·Zbl 0602.68026号 [10] Chandy,K.M。;Misra,J.,《并行程序设计:一个基金会》(1988),AddisondashWesley:AddisondassWesley Reading,MA·Zbl 0717.68034号 [11] CharrondashBost,B.,《一致切割的组合数学和几何:并发理论的应用》,(Bermond,J.-C.;Raynal,M.,Proc.Internat.分布式算法研讨会,Proc.Internat.分布式算法研讨会《计算机科学讲义》,第392卷(1989),Springer:Springer-Blin),45-56 [12] CharrondashBost,B.,分布式执行的耦合系数,理论。计算。科学。,110, 2, 341-376 (1993) ·Zbl 0786.68037号 [13] CharrondashBost,B。;马特恩,F。;电话,G.,同步、异步和因果顺序通信,分布式计算。,9, 4, 173-191 (1996) ·Zbl 1448.68079号 [14] Cypher,R。;Leu,E.,《可重复和可移植消息传递程序》,(第13届美国计算机学会分布式计算原理研讨会(1994年8月),22-31·Zbl 1374.68066号 [15] Cypher,R。;Leu,E.,《阻塞和非阻塞发送和接收原语的语义》(IEEE Int.Conf.Parallel Processing,1994年8月),729-735 [16] DamodarandashKamal,S。;Francioni,J.,《不确定性:消息传递并行程序中的测试和调试》,ACM SIGPLAN Notices,28,12,118-128(1993) [17] 唐纳伦,T.,《格理论》(1968),佩加蒙出版社:牛津佩加蒙出版公司·Zbl 0194.32503号 [18] Fidge,C.A.,《保持部分排序的消息传递系统中的时间戳》,澳大利亚计算。科学。Comm.,10,1,56-66(1988) [19] Fidge,C.A.,《一个简单的运行时并发性度量》(Bossomaier,T.;Hintz,T.);Hulskamp,J.,《澳大拉西亚的Transputer》(1990),IOS出版社:IOS出版社阿姆斯特丹),92-101 [20] 费舍尔,M。;格里菲斯,N。;Lynch,N.,《分布式系统中的全球状态》,IEEE Trans。软件工程,8,3,198-202(1982) [21] Janssen,W.,并行系统的分层设计,(博士论文(1994年9月),特温特大学:荷兰特温特学院) [22] Kshemkalyani,A.D.,分布式系统中时间间隔的时间交互,(技术报告TR 29.1933(1994年9月),IBM)·Zbl 1152.68442号 [23] Kshemkalyani,A.D.,在并行和分布式系统中查看原子操作的统一框架,(技术报告TR29.2014(1995),IBM) [24] Kshemkalyani,A.D.,分布式系统中时间间隔的时间相互作用,J.Compute。系统科学。,52, 2, 287-298 (1996) ·兹比尔1152.68442 [25] Kshemkalyani,A.D.,《分布式实时应用程序的同步》,(第五届IEEE并行和分布式实时系统研讨会(1997年4月),81-90 [26] Kshemkalyani,A.D.,复杂事件之间的相对时间约束,(第八届IASTED并行和分布式计算与系统会议(1996年10月)),324-326 [27] Kshemkalyani,医学博士。;Singhal,M.,《关于分布式死锁检测的特征和正确性》,J.并行分布式计算。,22, 1, 44-59 (1994) [28] Kshemkalyani,A.D。;Singhal,M.,《因果消息排序信息的必要和充分条件及其优化实现》,(分布式计算。分布式计算,技术报告TR 29.2040(1995年7月),IBM),即将出版(也可在 [29] Lamport,L.,《时间、时钟、分布式系统中事件的排序》,美国通信协会,21,7,558-565(1978)·Zbl 0378.68027号 [30] Lamport,L.,《进程间通信》,第一部分:基本形式主义,第二部分:算法,分布式计算。,1, 77-101 (1986) ·Zbl 0598.68022号 [31] 林奇,N。;Tuttle,M.,《输入/输出自动机简介》(麻省理工学院MIT/LCS/TM-373技术报告(1988年11月))·Zbl 0677.68067号 [32] Mattern,F.,分布式终端检测算法,分布式计算。,2, 3, 161-175 (1987) [33] Mattern,F.,《分布式系统的虚拟时间和全局状态》,(Cosnard,M.等,《并行和分布式算法程序研讨会》,North-Holland(1989)),215-226,阿姆斯特丹 [34] 马特恩,F。;Fünfrocken,S.,因果顺序消息传递的非阻塞轻量级实现,(Birman,K.;Mattern,F.;Schiper,A.,《分布式系统的理论与实践》,《计算机科学讲义》,第938卷(1995年),Springer:Springer Berlin),197-213 [35] Netzer,R。;Miller,B.,《调试消息传递并行程序的最佳跟踪和回放》(Proc.Supercomputing(1992年11月)),502-511 [36] Randell,B.,《软件容错的系统结构》,IEEE Trans。软件工程,1,220-232(1975) [37] 雷纳,M。;Schiper,A。;Toueg,S.,因果顺序抽象及其实现的简单方法,Inform。处理信函。,39, 343-350 (1991) ·Zbl 0748.68026号 [38] Schiper,A。;Sandoz,A.,分布式系统中的强稳定特性,分布式计算。,8, 2, 93-103 (1994) ·Zbl 1448.68161号 [39] 施瓦兹,R。;Mattern,F.,《检测分布式计算中的因果关系:寻找圣杯》,分布式计算。,7, 3, 149-174 (1994) ·兹伯利0813.68096 [40] 沙萨,D。;利尔巴特,F。;西蒙,E。;Valduriez,P.,《事务斩波:算法和性能研究》,ACM Trans。数据库系统,22,3,325-363(1995) [41] Singhal,M.,《分布式互斥分类法》,《并行分布式计算》。,18, 1, 94-101 (1993) ·Zbl 0800.68170号 [42] Singhal,M。;Mattern,F.,《分布式系统中异步恢复算法的优化证明》,Inform。处理信函。,55, 3, 468-475 (1995) [43] 斯尼尔,M。;奥托,S。;Huss-Lederman,S。;Walker,D。;Dongarra,J.,MPI:The Complete Reference(1996年),麻省理工学院出版社:麻省理学院出版社剑桥 [44] 斯特罗姆·R·E。;Yemini,S.,《分布式系统中的乐观恢复》,ACM Trans。计算。系统,3,3,204-226(1985) [45] Topor,R.W.,分布式计算的终止检测,Inform。处理信函。,18, 1, 33-36 (1984) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。