×
康拉德·锡克；PawełT，Wojciechowski。

最后一次使用不透明度：对于具有预发布支持的事务内存，这是一个强大的安全属性。 （英语） Zbl 1489.68052号

分布计算。 35，第3期，265-301（2022）.
总结：事务存储器（TM）是一种并发控制抽象，它允许程序员指定作为事务以原子方式执行的代码块。然而，由于事务代码几乎可以包含任何操作，因此必须注意共享变量在任何给定时间的状态。例如，与数据库事务相反，如果一个TM事务读取一个过时的值，它可能会执行危险的操作，如试图除以零、访问非法内存地址或进入无限循环。因此，可序列化性不足，TM中需要更强的安全属性，这些属性规定了可以读取的值，甚至可以通过中止的事务读取。因此，开发了一些TM安全特性，包括不透明度、TMS1和TMS2。然而，这种强大的属性排除了使用预发布作为优化TM的技术，因为它们实际上禁止从实时事务中读取。另一方面，允许预发布的属性要么不够强大，无法防止上述任何问题（可恢复性），要么在预发布变量限制其适用性的事务上添加附加条件（弹性不透明度、实时不透明度、虚拟世界一致性）。本文介绍了last-use不透明度和强last-use不透明性，这是一对新的TM安全属性，旨在在不透明度等强属性和序列化等最小属性之间进行折衷。这些属性消除了除一小部分良性的不一致视图之外的所有视图，并且对交易没有严格的条件。

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

事务性存储器；安全性能；一致性；并发控制

软件：

萨摩亚；柔道STM；AtomCaml公司
PDF格式BibTeX公司 XML格式引用
\textit{K.Siek}和\textit{P.T.Wojciechowski}，分布式计算。35，第3号，265--301（2022；Zbl 1489.68052）
全文： 内政部 arXiv公司

参考文献：

[1] Afek，Y.、Matveev，A.、Shavit，N.：悲观主义软件锁定。摘自：DISC’12会议记录：第26届分布式计算国际研讨会（2012年）
[2] Afek，Y.，Morrison，A.，Tzafrir，M.：简短声明：查看事务：具有放松一致性检查的事务模型。摘自：PODC’10会议录：第29届ACM SIGACT-SIGOPS分布式计算原理研讨会（2010年）
[3] Attiya，H.，Gotsman，A.，Hans，S.，Rinetzky，N.：从编程语言角度研究事务性内存一致性。In:PODC’13会议录：第32届ACM SIGACT-SIGOPS分布式计算原理研讨会（2013）·Zbl 1323.68061号
[4] Attiya，H.，Gotsman，A.，Hans，S.，Rinetzky，N.：事务内存中实时事务的安全：TMS是必要的，也是充分的。摘自：DISC’14会议记录：第28届分布式计算国际研讨会（2014年）
[5] Attiya，H.，Hans，S.：交易是后台的，但它们有多不同？收录：《TRANSACT’14会议录：第七届ACM SIGPLAN事务计算研讨会》（2014年）
[6] Attiya，H.，Hans，S.，Kuznetsov，P.，Ravi，S.：事务内存中延迟更新的安全性。摘自：ICDCS第13届会议记录：第33届分布式计算系统国际会议（2013）
[7] 伯恩斯坦，P。；希普曼，D。；Wong，W.，数据库并发控制中序列化的形式方面，IEEE Trans。柔和。工程师，SE-5，3，203-216（1979）·Zbl 0396.68020号 ·doi:10.1109/TSE.1979.234182
[8] 宾夕法尼亚州伯恩斯坦；哈齐拉科斯，V。；Goodman，N.，《数据库系统中的并发控制和恢复》（1987），波士顿：Addison-Wesley，波士顿
[9] Bieniusa，A.，Middelkoop，A.，Thiemann，P.：简短公告：黄昏中的行动同时发生不可撤销的交易和不一致性修复。摘自：PODC’10会议录：第29届ACM SIGACT-SIGOPS分布式计算原理研讨会（2010年）
[10] 布莱巴特，Y。；Georgakopoulos，D。；Rusinkiewicz，M。；Silberschatz，A.，《严格事务调度》，IEEE Trans。柔和。工程师，17，9，954-960（1991）·数字对象标识代码：10.1109/32.92915
[11] Dalesandro，L.，Scott，M.L.：沙盒事务内存。摘自：《2012年第21届并行体系结构和编译技术国际会议论文集》（2012）
[12] Dice，D.，Shalev，O.，Shavit，N.：事务锁定II。摘自：2006年DISC会议记录：第20届分布式计算国际研讨会（2006）
[13] Doherty，S。；格罗夫斯，L。；卢昌科，V。；Moir，M.，面向正式指定和验证事务内存，Form.Asp。计算。，25, 5, 769-799 (2013) ·Zbl 1298.68168号 ·doi:10.1007/s00165-012-0225-8
[14] Dziuma，D。；法图鲁，P。；Kanellou，E.，事务内存计算的一致性，Bull。EATCS，2、113、3（2014年）·Zbl 1409.68070号
[15] Felber，P.、Gramoli，V.、Guerraoui，R.：弹性交易。摘自：2009年DISC会议记录：第23届分布式计算国际研讨会（2009年）·Zbl 1261.68024号
[16] Guerraoui，R.，Kapałka，M.：关于事务性记忆的正确性。摘自：2008年PPoPP会议记录：第13届ACM SIGPLAN并行编程原理与实践研讨会（2008）·Zbl 1315.68065号
[17] Guerraoui，R。；Kapałka，M.，《交易记忆原理》（2010），圣拉斐尔：摩根和克莱普尔出版社，圣拉菲尔·doi:10.2200/S00253ED1V01Y201009DCT004
[18] Hadzilacos，V.，数据库系统可靠性理论，J.ACM，35，1，121-145（1988）·Zbl 0825.68351号 ·数字对象标识代码：10.1145/42267.42272
[19] Harris，T.，Fraser，K.：轻量级事务的语言支持。收录：OOPSLA’03会议记录：第18届ACM SIGPLAN面向对象编程、系统、语言和应用会议（2003）
[20] Harris，T.、Marlow，S.、Peyton Jones，S.和Herlihy，M.：可组合内存事务。摘自：PPoPP’05会议录：ACM SIGPLAN并行编程原理与实践研讨会（2005）
[21] Herlihy，M.、Luchangco，V.、Moir，M.和Scherer，I.W.N.：用于动态大小数据结构的软件事务内存。收录：PODC’03会议录：第22届ACM SIGACT-SIGOPS分布式计算原理研讨会（2003）
[22] Herlihy，M.，Moss，J.E.B.：事务内存：无锁数据结构的架构支持。In:ISCA’93会议记录：第20届计算机体系结构国际研讨会（1993）
[23] Imbs，D.，de Mendivil，J.R.，Raynal，M.：关于一致性条件或事务性记忆。技术报告1917，IRISA（2008）
[24] 艾姆斯·D。；Raynal，M.，《虚拟世界一致性：STM系统的一个条件》，Theor。计算。科学。，444, 113-127 (2012) ·Zbl 1246.68091号 ·doi:10.1016/j.tcs.2012.04.037
[25] Kobus，T。；科科钦斯基，M。；Wojciechowski，PT，在不透明度和线性化能力中放松实时顺序，J.并行分布计算。，100, 57-70 (2017) ·doi:10.1016/j.jpdc.2016.10.007
[26] 科比林斯基，P。；Siek，K。；Baranowski，J。；Wojciechowski，PT，Helenos：分布式事务内存的现实基准，J.Softw。实际。有效期：48、3、528-549（2018年）·doi:10.1002/spe.2548
[27] 孔恰克，JZ；Wojciechowski，PT；Guerraoui，R.，支持不可撤销操作的操作级无等待事务内存，IEEE Trans。并行分配系统。，28, 12, 3570-3583 (2017) ·doi:10.1109/TPDS.2017.2734879
[28] Lamport，L.，《证明多进程程序的正确性》，IEEE Trans。柔和。工程师，SE-3，2，125-143（1977）·Zbl 0349.68006号 ·doi:10.1109/TSE.1977.229904
[29] Lesani，M.，Palsberg，J.：分解不透明性。摘自：DISC’14会议记录：第28届分布式计算国际研讨会（2014年）
[30] Matveev，A.，Shavit，N.：走向一个完全悲观的STM模型。收录：TRANSACT’12会议录：第七届ACM SIGPLAN事务计算研讨会（2012年）
[31] Ni，Y.，Welc，A.，Adl-Tabatabai，A.R.，Bach，M.，Berkowits，S.，Cownie，J.，Geva，R.，Kozhukow。收录：OOPSLA’08会议记录：第23届ACM SIGPLAN面向对象编程、系统语言和应用会议（2008）
[32] Olszewski，M.，Cutler，J.，Steffan，J.G.：JudoSTM：软件事务内存的动态二进制重写方法。摘自：2007年PACT会议记录：第16届并行体系结构和编译技术国际会议（2007）
[33] Papadimitrou，CH，并发数据库更新的可序列化性，J.ACM，26，4，631-653（1979）·兹伯利0419.68036 ·doi:10.1145/322154.322158
[34] Perelman，D.，Fan，R.，Keidar，I.：关于在STM中维护多个版本。摘自：PODC’10会议录：第29届ACM SIGACT-SIGOPS分布式计算原理研讨会（2010年）
[35] Ramadan，H.E.，Roy，I.，Herlihy，M.，Witchel，E.：在STM中提交冲突交易。在：PPoPP’09会议录：第14届ACM SIGPLAN并行编程原理与实践研讨会（2009）
[36] Ringenburg，M.F.和Grossman，D.：AtomCaml：通过回滚实现一级原子性。In:ICFP’05会议记录：第十届ACM SIGPLAN函数编程国际会议（2005）·Zbl 1302.68052号
[37] Saad，M.M.、Kishi，M.J.、Jing，S.、Hans，S.和Palmieri，R.：按预定义顺序处理事务。摘自：PPoPP’19会议录：第24届并行编程原理与实践研讨会（2019年）
[38] Saha，B.，Adl-Tabatabai，A.，Hudson，R.L.，Minh，C.C.，Hertzberg，B.：McRT-STM：用于多核运行时的高性能软件事务内存系统。摘自：PPoPP’06会议录：ACM SIGPLAN并行编程原理与实践研讨会（2006）
[39] Shavit，N.，Touitou，D.：软件事务性内存。收录：PODC’95会议录：第14届ACM SIGACT-SIGOPS分布式计算原理研讨会（1995）·兹比尔1373.68178
[40] Siek，K.，Wojciechowski，P.T.：原子RMI 2：高度并行悲观分布式事务内存。abs/1606.03928（2016年）。arXiv:1606.03928
[41] Siek，K。；Wojciechowski，PT，《原子RMI：分布式事务内存框架》，《国际并行程序》。，44, 3, 598-619 (2016) ·doi:10.1007/s10766-015-0361-x
[42] 斯科尔，T.，科兹拉基斯，C.：提前发布：朋友还是敌人？收录：WTW’06会议录：事务性记忆工作负荷研讨会（2006）
[43] Weihl，WE，局部原子性属性：抽象数据类型的模块化并发控制，ACM Trans。程序。语言系统。，11, 2, 249-282 (1989) ·数字对象标识代码：10.1145/63264.63518
[44] 威库姆，G。；Vossen，G.，《事务信息系统：并发控制和恢复的理论、算法和实践》（2002），伯灵顿：摩根考夫曼出版社
[45] Welc，A.、Saha，B.、Adl-Tabatabai，A.R.：不可撤销交易及其应用。摘自：2008年SPAA会议记录：第20届ACM算法和架构并行性研讨会（2008）
[46] Wojciechowski，P.T.：通过键入和版本控制仅隔离事务。在：PPDP'05:第七届ACM SIGPLAN声明式编程原理与实践国际研讨会论文集（2005）
[47] Wojciechowski，PT，《通信系统中原子性、声明同步和动态更新的语言设计》（2007），波兹南：波兹南理工大学出版社
[48] Wojciechowski，P.T.，Rütti，O.，Schiper，A.：SAMOA：同步增强微控制器方法的框架。In:IPDPS’04会议记录：第18届IEEE国际并行和分布式处理研讨会（2004）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。