×
彼得·库兹涅佐夫；萨提亚·佩里

事务内存中的无干扰和本地正确性。 （英语） Zbl 1371.68052号

西奥。计算。科学。 688, 103-116 (2017).
摘要：事务性内存允许用户以原子方式组装操作序列，从而保证并发编程的易处理性和高效性交易要么全有要么全无语义。人们相信，事务性内存凭借其本身的优点，必须确保坚信的事务构成了一个关于实时顺序的串行执行。相反，中止或不完整的事务不应该“生效”。但“不生效”到底意味着什么？
看起来很自然，中止或不完整的事务不会出现在全局串行执行中，因此，任何提交的事务都不会受到它们的影响。我们调查了另一个不太明显的“不起作用”特征，称为不干涉：中止或不完整的事务不应强制任何其他事务中止。在我们在本文中探讨的最强形式的不干涉中，通过从历史中删除中止或不完整事务的子集，我们应该无法在不违反正确性标准的情况下将中止的事务转换为提交的事务。
我们表明，严格意义上，不干涉不是可实施的关于通俗的不透明度标准全部的见证同一全局串行执行的事务（无论是提交的、中止的还是未完成的）。相反，当我们只需要地方的正确性，无干扰是可实现的。非正式地，如果正确性标准只要求每个事务都可以与在其最后一个事件（已中止或未完成的事务被忽略）之前提交的事务（事务的子集）一起序列化，那么它就是本地的。我们给出了几个局部正确性属性的例子，包括最近提出的虚拟世界一致性标准，并给出了一个简单但高效的实现，该实现满足无干扰和局部不透明度.

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
64岁以下 分布式系统
68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

软件事务内存；正确性准则；不透明度；不干涉；宽容

软件：

NOrec公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Kuznetsov}和\textit{S.Peri}，Theor。计算。科学。688103-116（2017；Zbl 1371.68052）
全文： 内政部

参考文献：

[1] 佩里，S。；Vidyasankar，K.，《满足所有读取一致性和无干扰的封闭嵌套事务的高效调度程序》（第13届分布式计算和网络国际会议（2012年））
[2] Dice博士。；沙列夫，O。；Shavit，N.，事务锁定II，（分布式计算：第20届国际研讨会，DISC 2006，瑞典斯德哥尔摩，2006年9月18日至20日，Proceedings（2006）），194-208
[3] Dalesandro，L。；斯皮尔，M.F。；Scott，M.L.，NOrec:通过废除所有权记录简化STM，（第15届ACM SIGPLAN并行编程原理与实践研讨会论文集。第15届APM SIGPLA并行编程原理和实践研讨会论文集中，PPOPP 2010，印度班加罗尔，2010年1月9日至14日（2010）），67-78
[4] Felber，P。；Fetzer，C。；马利埃，P。；Riegel，T.，基于时间的软件事务存储器，IEEE Trans。并行分配系统。，21, 12, 1793-1807 (2010)
[5] Guerraoui，R。；Henzinger，T。；Singh，V.，事务存储器中的允许性，（第22届分布式计算国际研讨会论文集。第22届分布式计算国际研讨会论文集，DISC'08。程序。第22届分布式计算国际研讨会。程序。第22届分布式计算国际研讨会，DISC’08，计算机科学讲稿，第5218卷（2008），Springer-Verlag），305-319·Zbl 1161.68387号
[6] Guerraoui，R。；Kapalka，M.，《关于事务性记忆的正确性》，（第13届ACM SIGPLAN并行编程原理与实践研讨会论文集。第13届AC M SIGPLA并行编程原理和实践研讨会论文集中，PPoPP’08（2008），ACM：美国纽约州纽约市ACM），175-184
[7] Guerraoui，R。；Kapalka，M.，事务记忆原理，分布式计算理论综合讲座（2010年），Morgan和Claypool
[8] 艾姆斯·D。；Raynal，M.，一种具有不可见读取操作的通用STM协议，满足虚拟世界一致性条件，（《第16届结构信息和通信复杂性国际会议论文集》，第16届国际结构信息和通讯复杂性会议论文集，SIROCCO’09（2010），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡），266-280·Zbl 1274.68015号
[9] Papadimitriou，C.H.，并发数据库更新的可序列化性，J.ACM，26，4，631-653（1979）·兹伯利0419.68036
[10] Hadzilacos，V.，数据库系统可靠性理论，J.ACM，35，1，121-145（1988）·Zbl 0825.68351号
[11] 库兹涅佐夫，P。；Ravi，S.，《关于事务性内存中并发的成本》，（分布式系统原理——第15届国际会议，OPODIS 2011，法国图卢兹，2011年12月13日至16日，Proceedings（2011）），112-127
[12] Alpern，B。；Schneider，F.B.，《定义活力，信息》。过程。莱特。，21, 4, 181-185 (1985) ·Zbl 0575.68030号
[13] 威库姆，G。；Vossen，G.，《事务信息系统：并发控制和恢复的理论、算法和实践》（2002），Morgan Kaufmann
[14] 克雷恩，T。；艾姆斯·D。；Raynal，M.，读取不可见性、虚拟世界一致性和概率允许性是兼容的，（ICA3PP（1）（2011）），244-257
[15] 以色列，A。；Rappoport，L.，强共享内存原语的分离存取并行实现，（第十三届ACM分布式计算原理研讨会论文集。第十三届年度ACM分布式计算机原理研讨会论文集中，PODC’94（1994），ACM:美国纽约州纽约市ACM），151-160·Zbl 1373.68102号
[16] 阿提亚，H。；Hillel，E。；Milani，A.，事务性内存的分离访问并行实现的固有限制，理论计算。系统。，49, 4, 698-719 (2011) ·Zbl 1253.68025号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。