×
哈齐拉科斯，塔纳西斯;哈齐拉科斯，瓦索斯

对象库中的事务同步。 （英语） Zbl 0766.68029号

J.计算。系统。科学。 43，第1期，2-24页（1991年）.
摘要：我们提出了对象库中并发控制的形式化模型。对象库就像数据库一样，只是信息是用“对象”表示的，这些“对象”封装了数据和可以操作数据的过程。该模型概括了数据库并发控制的经典模型：它允许嵌套事务（而不是平面事务），这些事务可能会发出任意操作（而不仅仅是读写操作）。我们建立了一个与经典可串行性定理类似的定理，并用它推导了两种对象库并发控制算法正确性的简单证明，即嵌套两阶段锁（Moss算法[J.E.B.莫斯，“嵌套事务：可靠分布式计算的方法”，麻省理工学院博士论文，马萨诸塞州剑桥（1981）]）和嵌套时间戳排序（Reed算法[D.P.里德，“分散计算机系统中的命名和同步”，麻省理工学院博士论文，马萨诸塞州剑桥（1978）]）。对象库中的并发控制可以被视为基础对象和对象间同步的组合。前者确保每个对象自己的方法以串行方式执行；后者确保不同对象中事务序列化顺序的兼容性。这种分离允许每个对象选择最合适的并发控制算法来同步自己的过程，而不依赖于其他对象使用的算法，从而增强了并发性。

引用于2文件

MSC公司：

第68页，共15页 数据库理论

关键词：

并发控制;嵌套两相锁定;嵌套时间戳排序
PDF格式BibTeX公司 XML格式引用
\textit{T.Hadzilacos}和\textit{V.Hadzilas}，J.Compute。系统。科学。43，编号1，2--24（1991；Zbl 0766.68029）
全文： 内政部

参考文献：

[1] 拜耳，R。；Chkolnick，M.，《（B）树上操作的并发性》，《信息学报》。，9, 1-21 (1977) ·Zbl 0343.68022号
[2] 比里，C。；伯恩斯坦，P.A。；Goodman，N.，《嵌套事务系统中的并发模型》，J.Assoc.Compute。机器。，36，第2期，230-269（1989）·兹伯利0678.68105
[3] 伯恩斯坦，P.A。；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），Addison-Wesley：Addison-Whesley Reading，MA
[4] Ellis，C.S.，《2-3棵树中的并发搜索和插入》，《信息学报》。，14，第1期，63-86（1980）·Zbl 0413.68065号
[5] Eswaran，K.P。；格雷，J.N。；Lorie，R.A。；Traiger，I.L.，《关系数据库系统中一致性和谓词锁定的概念》，美国通信协会，第19卷，第11期，第624-633页（1976年）·Zbl 0341.68023号
[6] Fekete，A。；北卡罗来纳州林奇。；Merritt，M。；Weihl，W.E.，嵌套事务和读/写锁定，（第六届ACM数据库系统原理研讨会论文集（1987年3月）），97-111
[7] Herlihy，M.，《扩展多版本时间戳协议以利用类型信息》，IEEE Trans。计算。，C-36，第4号，443-448（1987）
[8] Kung，H.T。；Lehman，P.L.，二进制搜索树的并发操作，ACM数据库系统交易，5，No.3，339-353（1980）·Zbl 0441.68070号
[9] Kwong，Y.S。；Wood，D.，《（B）树并发方法》，IEEE Trans。软件工程，SE-8，No.3，211-223（1982）·Zbl 0486.68057号
[10] 雷曼，P.L。；Yao，S.B.，（B）树上并发操作的高效锁定，数据库系统上的ACM事务，第6期，第4期，650-670（1981）·Zbl 0465.68061号
[11] Liskov，B.，《Argus中的分布式编程》，美国通信协会，31，No.3，300-312（1988）
[12] Liskov，B。；Scheifler，R.，《守护者与行动：对健壮分布式程序的语言支持》，《美国计算机学会编程语言与系统事务》，第5期，第3期，381-404页（1983年）·Zbl 0512.68027号
[13] 北卡罗来纳州林奇。；Merritt，M.，《嵌套交易理论导论》（1986年7月），麻省理工学院计算机科学实验室：马萨诸塞理工学院剑桥计算机科学实验室，马萨诸塞州，TR-367
[14] 梅尔，D。；Stein，J.，《面向对象DBMS的开发与实现》（1987），手稿
[15] 美国曼伯。；Ladner，R.E.，《动态搜索结构中的并发控制》（Proceedings，1st ACM Symp.on Princ.of Database Systems，1982年3月），268-282
[16] Moss，J.E.B.，《嵌套事务：可靠分布式计算的方法》（博士论文（1981），麻省理工学院：麻省理工科大学剑桥分校，马萨诸塞州）
[17] Pang，R.S.F.，使用抽象来同步对象库中的事务，（多伦多大学计算机科学系硕士论文（1989年））
[18] Papadimitriou，C.H.，《数据库并发控制理论》（1986），计算机。科学。按：计算。科学。Press Rockville，医学博士·Zbl 0609.68073号
[19] Purdy，A。；Schuchurdt，B。；Maier，D.，《将对象服务器与其他世界集成》，《ACM办公信息系统交易》，第5期，第1期，第27-47页（1987年）
[20] Reed，D.P.，《分散计算机系统中的命名和同步》（博士论文（1978年），麻省理工学院：麻省理工科大学剑桥分校，马萨诸塞州）
[21] Samadi，B.，\（B\）-多用户系统中的树，Inform。过程。莱特。，第5期，第4期，第107-112页（1976年）·Zbl 0342.68012号
[22] Shasha，D.E.，搜索结构的并发算法，（博士论文（1984），哈佛大学：哈佛大学剑桥，MA）
[23] 斯特菲克，M。；Borrow，D.G.，《面向对象编程：主题和变体》，AI Mag.，6，No.4，40-62（1986）
[24] 预告，I.L.，数据库管理系统方面的趋势（第二届数据库国际会议论文集（1983年8月至9月））
[25] Weihl，W.E.，《原子数据类型的规范与实现》，（博士论文（1984年），麻省理工学院：麻省理工学院剑桥分校）
[26] Weikum，G.，《多级并发控制的理论基础》（Proceedings，5th ACM Symp.on Princ.of Database Systems，1986年3月），31-42
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。