阿兰·费科特;南希·林奇;William E.Weihl。 嵌套事务的混合原子性。 (英语) Zbl 0874.68223号 西奥。计算。科学。 149,第1期,151-178(1995). 摘要:本文定义了嵌套事务系统的混合原子性的概念,并提出并验证了一种提供该属性的算法。混合原子性是一种模块化性质;它允许从每个对象都被实现为具有该属性的事实中推断出系统的正确性。通过在提交时为事务分配时间戳,它允许比动态原子性更多的并发性。Avalon系统正好提供了这种功能。本文的结果使用相同的锁模型和基于时间戳的算法扩展了早期的工作,为该方法的通用性提供了进一步的证据。然而,与早期工作中使用的定义有一些细微的差异,这表明为嵌套事务系统开发精确的通用模型很困难。 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:混合原子性;嵌套事务系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Fekete}等人,Theor。计算。科学。149,第1号,151--178(1995;Zbl 0874.68223) 全文: 内政部 参考文献: [1] Allchin,J.,《可靠分散系统的架构》(乔治亚理工学院博士论文(1983)),可作为技术报告3/T-ICS-3获得 [2] 阿斯普内斯,J。;Fekete,A。;林奇,N。;Merritt,M。;Weihl,W.,《基于时间戳的嵌套事务并发控制理论》(Proc.14th Internat.Conf.on Very Large Data Bases,1988),431-444 [3] Eppinger,J。;Mummert,L。;Spector,A.,Camelot and Avalon:A Distributed Transaction Facility(1991年),Morgan Kaufmann:Morgan Koufmann Palo Alto,CA [4] Eswaran,K.P。;格雷,J.N。;Lorie,R.A。;Traiger,I.L.,IBM RJ1487(1974),也出版为·Zbl 0341.68023号 [5] Fekete,A。;林奇,N。;Merritt,M。;Weihl,W.,《嵌套事务基于交换性的锁定》,J.Compute。系统科学。,41, 1, 65-156 (1990) ·Zbl 0716.68028号 [6] Herlihy,M.P。;Weihl,W.E.,抽象数据类型的混合并发控制,(第七届ACM数据库系统原理研讨会(1988)),201-210 [7] Herlihy,M.P。;Weihl,W.E.,抽象数据类型的混合并发控制,J.Compute。系统科学。,43, 1, 25-61 (1991) ·Zbl 0764.68028号 [8] Korth,H.,数据库系统中的锁定原语,J.ACM,30,1(1983)·Zbl 0498.68060号 [9] Liskov,B.,《Argus中的分布式计算》,美国通信协会,31,3,300-312(1988) [10] 林奇,N。;Tuttle,M.(技术报告MIT/LCS/TR-387(1987),麻省理工学院计算机科学实验室:马萨诸塞州剑桥麻省理工科学院计算机科学实验),扩展版本如下 [11] Moss,J.E.B.,(《麻省理工学院技术报告》/《LCS/TR-260》(1981年)),麻省理工学院出版社出版,1985年3月 [12] Reed,D.P.,(麻省理工学院/LCS/TR-205技术报告(1978年))·Zbl 0161.43405号 [13] 施瓦兹,P。;Spector,A.Z.,《同步共享抽象类型》。同步共享抽象类型ACM Trans。计算。系统,2,3(1984) [14] Weihl,W.E.,抽象数据类型的基于交换性的并发控制,IEEE Trans。计算。,37, 12, 1488-1505 (1988) ·Zbl 0674.68016号 [15] Weihl,W.E.,局部原子性属性:抽象数据类型的模块化并发控制,ACM Trans。编程语言系统,11,2,249-282(1989) [16] Weihl,W.E.(技术报告MIT/LCS/TR-314(1984),马萨诸塞州理工学院:马萨诸塞州立大学技术剑桥分校)·Zbl 0674.68016号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。