×
阿兰·费科特;南希·林奇;迈克尔·梅里特;威廉·威尔

嵌套事务的基于交换性的锁定。 （英语） Zbl 0716.68028号

J.计算。系统。科学。 41，No.1，65-156（1990）.
作者提出了一种新的描述和推理事务处理算法（TPA）的模型。该方法的主要贡献是：处理嵌套事务（NT）、集成并发控制（CC）和恢复算法。作者为事务和系统的其他组件提供了一个明确的操作模型；该模型中包含的事件比“经典”工作中包含的事件更多（单独的事件被考虑用于：事务请求执行对对象的访问；在对象处调用访问；在对象处完成访问；系统决定提交而不是中止访问；访问结果的交易报告）；许多属性变得易于表达，但这样一个详细模型的复杂性自然会造成损失。
第一个主要贡献是NT系统的综合模型。在这个统一的框架中，各种TPA的严格证明成为可能。以前的大多数CC方法都被推广到包含NT和特定类型的CC算法。
另一个重要贡献是为NT系统中的抽象数据类型提供了一种新的CC和恢复算法；它推广了Weihl以前开发的一种算法。操作的交换性属性用于实现高级别的并发性（通过使用操作结果及其名称和参数来检查冲突，可以进一步提高并发性）。给出了一个重要的定理（类似于“无圈”条件），说明了TPA正确的一般充分条件。对单个对象定义了一个有趣的条件，称为动态原子性（DA）；有用的属性是，只要系统中的所有对象都是动态原子的，事务就会显示为原子的。由于作者提出的算法在应用于单个对象时可以确保DA，因此它可以用于系统的某些对象，也可以用于其他对象（考虑的系统结构由多个对象组成，每个对象独立执行CC和恢复）\证明了NT的（Moss’\）读更新锁定算法可以确保DA（最流行的两阶段锁定变体也这样做）。
论文的章节依次介绍：NT，相关工作；一般模型（输入-输出自动机-构成工作的形式基础；NT系统的正确性；可串行化定理）；新算法和（Moss’）算法（DA；运算性质-交换性；两种算法的正确性）。
审核人：H.卢钦

引用于4文件

理学硕士：

第68页，共15页 数据库理论
68第20页 信息存储和数据检索

关键词：

事务处理算法;嵌套事务;并发控制
PDF格式BibTeX公司 XML格式引用
\textit{A.Fekete}等人，《计算杂志》。系统。科学。41，No.1，65--156（1990；Zbl 0716.68028）
全文： 内政部

参考文献：

[1] Allchin，J.E.，《可靠分散系统的体系结构》（博士论文，技术报告LIT-ICS-83/23（1983年9月），佐治亚理工学院）
[2] Aspnes，J。；Fekete，A。；林奇，N。；Merritt，M。；Weihl，W.，嵌套事务基于时间戳的并发控制理论，（第14届超大数据库国际会议论文集（1988年8月））
[3] 拜耳，R。；Schkolnick，M.，B树上操作的并发性，Acta Inform。，9, 1-21 (1977) ·Zbl 0343.68022号
[4] 比里，C。；伯恩斯坦，P.A。；Goodman，N.，嵌套事务系统并发模型，（技术报告TR-86-03（1986年3月），王研究所）·Zbl 0678.68105号
[5] 比里，C。；伯恩斯坦，P。；古德曼，N。；赖，M。；Shasha，D.，嵌套事务的并发控制理论，（第二届ACM分布式计算原理研讨会论文集，1983年8月），45-62
[6] 伯恩斯坦出版社。；Goodman，N.，多版本并发控制理论和算法，ACM Trans。数据库系统，8，No.4，465-483（1983）·Zbl 0531.68060号
[7] 伯恩斯坦，P。；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），Addison-Wesley：Addison-Whesley Reading，MA
[8] Davies，C.T.，《DB/DC系统的恢复语义》（第28届ACM全国会议论文集，1973年），136-141
[9] Eswaran，K.P。；格雷，J.N。；Lorie，R.A。；Trailer，I.L.，数据库系统中一致性和谓词锁的概念，Comm.ACM，19，No.11，624-633（1976），11月IBMRJ1487，1974年12月·Zbl 0341.68023号
[10] Fekete，A。；林奇，N。；Merritt，M。；Weihl，W.，（技术备忘录MIT/LCS/TM-324（1987年4月），麻省理工学院计算机科学实验室：麻省理工大剑桥大学计算机科学实验室），扩展版本如下
[11] 高性能系统中的处理热点，（第30届IEEE计算机学会国际会议论文集（1985）），249-251
[12] （技术报告MIT/LCS/TM-390（1987年5月），麻省理工学院计算机科学实验室：马萨诸塞州坎布里奇麻省理工大计算机科学实验室），扩展版本如下
[13] 格雷，J。；罗莉·R。；Putzulo，A。；Trailer，J.，共享数据库中锁的粒度和一致性程度，（技术报告RJ1654（1975年9月），IBM）
[14] 格雷，J。；罗莉·R。；Putzulo，A。；Trailer，J.，System R数据库管理器的恢复管理器，ACM Compute。调查，第13期，第2期，第223-242页（1981年）
[15] Hadzilacos，V.，《数据库系统可靠性理论》，J.Assoc.Compute。机器。，35，第1期，121-145（1988）·Zbl 0825.68351号
[16] Herlihy，M.，《扩展多版本时间戳协议以利用类型信息》，IEEE Trans。计算。，C-36（1987年4月）
[17] Herlihy，M。；林奇，N。；梅里特，M。；Weihl，W.（MIT/LCS/TM-329（1987年5月），麻省理工学院计算机科学实验室：马萨诸塞州剑桥市麻省理学学院计算机科学实验），J.协会计算。机器。，显示
[18] P.Kanellakis和C.Papadimitriou，关于多版本并发控制，在里面“1982年ACM计算机理论研讨会论文集”；P.Kanellakis和C.Papadimitriou，关于多版本并发控制，在里面1982年美国计算机学会计算理论研讨会论文集·Zbl 0547.68092号
[19] Korth，H.F.，《数据库系统中的锁定原语》，J.Assoc.Compute。机器。，30，第1期，第55-79页（1983年）·Zbl 0498.68060号
[20] Kung，H。；Robinson，J.，《关于并发控制的乐观方法》，ACM Trans。数据库系统，6，No.2，213-226（1981）
[21] Lampson，B.，《原子事务》（Goos；Hartmanis，《分布式系统：架构与实现》，分布式系统：体系结构与实现，计算机科学讲义，第105卷（1981），Springer-Verlag:Springer-Verlag Berlin），246-265
[22] Liskov，B。；谢弗，R。；Walker，E.F。；Weihl，W.，孤儿检测（扩展摘要），（第17届容错计算国际研讨会论文集（1987年7月），IEEE）
[23] Liskov，B.，《Argus中的分布式计算》，美国通信协会，31，No.3，300-312（1988年3月）
[24] Lynch，N.，弹性嵌套事务的并发控制，高级计算。研究，3335-373（1986）
[25] 林奇，N。；Merritt，M.，MIT/LCS/TR-367（1986年7月），理论。计算。科学。，显示
[26] 林奇，N。；Tuttle，M.（技术报告MIT/LCS/TR-387（1987年4月），麻省理工学院计算科学实验室：计算科学实验室，马萨诸塞州坎布里奇市），扩展版本如下
[27] 林奇，N。；Tuttle，M.，《输入/输出自动机导论》（Centrum voor Wiskunde en Informatica Quarterly），麻省理工学院计算机科学实验室，MIT/LCS/TM-373技术备忘录（1988年11月）·Zbl 0677.68067号
[28] 米切尔，J.G。；Dion，J.，《两种基于网络的文件服务器的比较》，Comm.ACM，25，No.4，233-245（1982），（特刊：第八届操作系统原理研讨会论文集）
[29] Moss，J.E.B.（MIT/LCS/TR-260技术报告（1981年4月））
[30] 麻省理工学院出版社出版，马萨诸塞州剑桥，1985年3月。；麻省理工学院出版社出版，马萨诸塞州剑桥，1985年3月。
[31] 莫斯，J。；格里菲斯，N。；Graham，M.，《并发控制和恢复管理的抽象》（货币86-20技术报告（1986年5月），马萨诸塞大学阿默斯特分校），（修订版）
[32] O'neil，P.E.，《托管交易方法》，ACM Trans。数据库系统，11，第4期，405-430（1986）
[33] Papadimitriou，C.H.，并发数据库更新的可序列化性，J.Assoc.Compute。机器。，26，No.4，631-653（1979年10月）·Zbl 0419.68036号
[34] Papadimitriou，C.，并发控制理论（1986），计算机。科学。按：计算。科学。Press Rockville，马里兰州·Zbl 0609.68073号
[35] Reed，D.P.（技术报告MIT/LCS/TR-205（1978年9月））·Zbl 0161.43405号
[36] 罗森克兰茨博士。；斯特恩斯，R.E。；Lewis，P.M.，分布式数据库系统的系统级并发控制，ACM Trans。数据库系统，3，No.2，178-198（1978）
[37] 施瓦兹，P.M。；Spector，A.Z.，《同步共享抽象类型》，ACM Trans。计算。系统，2，No.3，223-250（1984）
[38] Spector，A。；Swedlow，K.，（卡梅洛分布式交易设施指南：发布，1（1987年10月），卡内基梅隆大学：卡内基梅隆大学匹兹堡，宾夕法尼亚州），可从
[39] Thomas，R.，多副本数据库并发控制的多数同意方法，ACM Trans。数据库系统，4，No.2，180-209（1979）
[40] Weihl，W.E.，抽象数据类型的基于交换性的并发控制，（IEEE Trans.Compute，37（1988），MIT），1488-1505，MIT/LCS/TM-367·Zbl 0674.68016号
[41] Weihl，W.E.，局部原子性属性：抽象数据类型的模块化并发控制，ACM Trans。程序。帮派。Systems（1989），4月
[42] Weihl，W.E.，《恢复对并发控制的影响》（Proceedings，ACM Symposium on Principles of Database Systems，1989年3月），美国计算机学会。马赫数：关联计算。马赫费城）·Zbl 0780.68025号
[43] Weihl，W.E.，（MIT/LCS/TR-314技术报告（1984年3月），麻省理工学院计算机科学实验室：麻省理学学院计算机科学剑桥实验室，马萨诸塞州）·Zbl 0674.68016号
[44] 威库姆，G。；Schek，H.-J.，多层系统中事务管理的架构问题，（第十届超大数据库国际会议论文集，第十届特大数据库国际会议，新加坡（1984年8月）），454-465
[45] Weikum，G.，多层并发控制的理论基础，（第五届ACM数据库系统原理研讨会论文集（1986年3月））
[46] Yannakakis，M.，《通过锁定实现序列化》，J.Assoc.Compute。机器。，31，第2期，227-244（1984）·Zbl 0631.68078号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。