跳到主要内容
10.1145/3583668.3594564acm会议文章/章节视图摘要出版物页面播客会议记录会议集合
研究论文

安全内存回收的ERA定理

出版:2023年6月16日出版历史

摘要

用于并发数据结构的安全内存回收(SMR)方案在三个理想特性之间进行了权衡:易于集成、健壮性和适用性。在本文中,我们严格定义了SMR和这三个属性,并给出了ERA定理,断言任何SMR方案最多只能提供三个属性中的两个。

工具书类

  1. 维塔利·阿克塞诺夫(Vitaly Aksenov)、丹·阿利斯塔(Dan Alistarh)、亚历山德拉·德罗兹多娃(Alexandra Drozdova)和阿米尔基万·莫塔沙米(Amirkeivan Mohtashami)。2020年。显示列表:分布式自适应并发跳过列表。arXiv预打印arXiv:2008.01009(2020).谷歌学者谷歌学者
  2. Dan Alistarh、Patrick Eugster、Maurice Herlihy、Alexander Matveev和Nir Shavit。2014.Stacktrack:并发内存回收的自动化事务方法。第九届欧洲计算机系统会议记录。1--14.谷歌学者谷歌学者数字图书馆数字图书馆
  3. Dan Alistarh、William Leiserson、Alexander Matveev和Nir Shavit。2018.线程扫描:自动和可扩展的内存回收。ACM并行计算事务(TOPC)4, 4 (2018), 1--18.谷歌学者谷歌学者数字图书馆数字图书馆
  4. Hagit Attiya、Ohad Ben-Baruch和Danny Hendler。2018.嵌套安全可恢复线性化能力:非易失性存储器的模块化构造。2018年ACM分布式计算原理研讨会论文集。7--16.谷歌学者谷歌学者数字图书馆数字图书馆
  5. Oana Balmau、Rachid Guerraoui、Maurice Herlihy和Igor Zablotchi。2016年,针对并发数据结构的快速稳健的内存回收。第28届ACM算法和体系结构并行性研讨会论文集。349--359.谷歌学者谷歌学者数字图书馆数字图书馆
  6. 波阿斯·巴拉克(Boaz Barak)、奥德·戈德雷奇(Oded Goldreich)、鲁赛尔·英帕利亚佐(Rusell Impagliazzo)、史蒂文·鲁迪奇(Steven Rudich)、阿米特·萨海(Amit Sahai)、萨利尔·瓦丹(Salil Vadhan。2001.关于(im)混淆程序的可能性。年度国际密码学会议。斯普林格,1-18。谷歌学者谷歌学者
  7. Ohad Ben-Baruch、Danny Hendler和Matan Rusanovsky。2020年可探测物体空间复杂性的上下限。第39届分布式计算原理研讨会论文集。11--20.谷歌学者谷歌学者数字图书馆数字图书馆
  8. 阿纳斯塔西娅·布拉金斯基(Anastasia Braginsky)、亚历克斯·科根(Alex Kogan)和埃雷斯·彼得兰克(Erez Petrank)。2013.抛锚:用于非阻塞数据结构的轻量级内存管理。第二十五届ACM算法和体系结构并行性研讨会论文集。33--42.谷歌学者谷歌学者数字图书馆数字图书馆
  9. 特雷弗·布朗(Trevor Brown)、费斯·艾伦(Faith Ellen)和埃里克·鲁珀特(Eric Ruppert)。2014年,非阻塞树木通用技术。第19届ACM SIGPLAN并行编程原理与实践研讨会论文集。329--342.谷歌学者谷歌学者数字图书馆数字图书馆
  10. 特雷弗·亚历山大·布朗。2015年。为无锁数据结构回收内存:必须有更好的方法。2015年ACM分布式计算原理研讨会论文集。261--270.谷歌学者谷歌学者数字图书馆数字图书馆
  11. Ran Canetti、Joe Kilian、Erez Petrank和Alon Rosen。2002.黑盒并发零知识需要(几乎)对数多轮。SIAM J.计算。32, 1 (2002), 1--47.谷歌学者谷歌学者数字图书馆数字图书馆
  12. 纳克肖恩·科恩。2018年。每个数据结构都应该进行无锁内存回收。程序。ACM计划。语言。2,OOPSLA(2018),143:1--143:24。谷歌学者谷歌学者数字图书馆数字图书馆
  13. Nachshon Cohen和Erez Petrank。2015.无锁数据结构的自动内存回收。ACM SIGPLAN通知50, 10 (2015), 260--279.谷歌学者谷歌学者数字图书馆数字图书馆
  14. Nachshon Cohen和Erez Petrank。2015.对无锁数据结构进行高效内存管理,并提供乐观访问。第27届ACM算法与体系结构并行性研讨会论文集。254--263.谷歌学者谷歌学者数字图书馆数字图书馆
  15. 安德烈亚·科雷亚(Andrea Correia)、佩德罗·拉马赫特(Pedro Ramalhete)和帕斯卡尔·费尔伯(Pascal Felber)。2021.OrcGC:自动无锁内存回收。第26届ACM SIGPLAN并行编程原理与实践研讨会论文集。205--218.谷歌学者谷歌学者数字图书馆数字图书馆
  16. David L Detlefs、Paul A Martin、Mark Moir和Guy L Steele Jr.2002。无锁引用计数。分布式计算15, 4 (2002), 255--271.谷歌学者谷歌学者数字图书馆数字图书馆
  17. Dave Dice、Maurice Herlihy和Alex Kogan。2016.针对高并发数据结构的快速非侵入式内存回收。2016年ACM SIGPLAN内存管理国际研讨会论文集。36--45.谷歌学者谷歌学者数字图书馆数字图书馆
  18. Faith Ellen、Panagiota Fatourou、Eric Ruppert和Frank van Breugel。2010.非阻塞二进制搜索树。第29届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集。131--140.谷歌学者谷歌学者数字图书馆数字图书馆
  19. Michael J.Fischer、Nancy A.Lynch和Michael S.Paterson。1985年,在一个错误的过程中不可能达成分布式共识。美国临床医学杂志32,2(1985年4月),374--382。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 基尔·弗雷泽。2004实用的锁自由。技术报告。剑桥大学计算机实验室。谷歌学者谷歌学者
  21. Anders Gidenstam、Marina Papatriantafilou、Hákan Sundell和Philippas Tsigas。2008.基于引用计数的高效可靠的无锁内存回收。IEEE并行和分布式系统汇刊20, 8 (2008), 1173--1187.谷歌学者谷歌学者数字图书馆数字图书馆
  22. 沃伊西奇·戈拉布(Wojciech Golab)。2018年。共享内存中可恢复的共识。arXiv预打印arXiv:1804.10597(2018).谷歌学者谷歌学者
  23. Alexey Gotsman、Noam Rinetzky和Hongseok Yang。2013.宽限验证并发内存回收算法。欧洲规划研讨会。施普林格,249-269。谷歌学者谷歌学者数字图书馆数字图书馆
  24. Timothy L Harris,2001年。非阻塞链接列表的实用实现。分布式计算国际研讨会。施普林格,300-314。谷歌学者谷歌学者数字图书馆数字图书馆
  25. Steve Heller、Maurice Herlihy、Victor Luchangco、Mark Moir、William N Scherer和Nir Shavit。2005.基于懒惰并发列表的集合算法。分布式系统原理国际会议。施普林格,3-16。谷歌学者谷歌学者
  26. 莫里斯·赫利希(Maurice Herlihy)。1991.无等待同步。美国计算机学会程序设计语言与系统汇刊(TOPLAS)13, 1 (1991), 124--149.谷歌学者谷歌学者数字图书馆数字图书馆
  27. 莫里斯·赫利希(Maurice Herlihy)、维克托·卢昌科(Victor Luchangco)、保罗·马丁(Paul Martin)和马克·莫尔(Mark Moir)。2005.对动态大小数据结构的无阻塞内存管理支持。计算机系统ACM事务(TOCS)23, 2 (2005), 146--196.谷歌学者谷歌学者数字图书馆数字图书馆
  28. 莫里斯·赫利希和尼尔·沙维特。2011.关于进展的性质。分布式系统原理国际会议。施普林格,313--328。谷歌学者谷歌学者数字图书馆数字图书馆
  29. Maurice Herlihy、Nir Shavit、Victor Luchangco和Michael Spear。2020多处理机编程的艺术。纽恩斯。谷歌学者谷歌学者
  30. 莫里斯·普·赫利希和珍妮特·温格。线性化:并发对象的正确条件。美国计算机学会程序设计语言与系统汇刊(TOPLAS)12, 3 (1990), 463--492.谷歌学者谷歌学者数字图书馆数字图书馆
  31. 谢恩·霍利(Shane V Howley)和杰里米·琼斯(Jeremy Jones)。2012.一个非阻塞的内部二进制搜索树。第二十四届ACM算法和体系结构并行性研讨会论文集。161--171.谷歌学者谷歌学者数字图书馆数字图书馆
  32. Jeehoon Kang和Jaehwang Jung。2020年,指针式和基于时代的复垦相结合。第41届ACM SIGPLAN编程语言设计与实现会议记录。314--328.谷歌学者谷歌学者数字图书馆数字图书馆
  33. 罗兰·梅耶和塞巴斯蒂安·沃尔夫。2019.从内存回收中解耦无锁数据结构以进行静态分析。美国计算机学会程序设计语言会议录3,POPL(2019),1--31。谷歌学者谷歌学者数字图书馆数字图书馆
  34. 罗兰·梅耶和塞巴斯蒂安·沃尔夫。2019.具有内存回收功能的无锁数据结构的指针生命周期类型。美国计算机学会程序设计语言会议录4,POPL(2019),1-36。谷歌学者谷歌学者
  35. 魔术师M Michael。2002.高性能动态无锁哈希表和基于列表的集合。第十四届ACM并行算法和体系结构研讨会论文集。73--82.谷歌学者谷歌学者数字图书馆数字图书馆
  36. 魔术师M Michael。2004年。使用单字指令预防ABA。IBM研究部,RC23089(W0401-136),技术代表(2004).谷歌学者谷歌学者
  37. 魔术师M Michael。2004.危险提示:无锁对象的安全内存回收。IEEE并行和分布式系统汇刊15, 6 (2004), 491--504.谷歌学者谷歌学者数字图书馆数字图书馆
  38. Aravind Natarajan和Neeraj Mittal。2014.快速并发无锁二进制搜索树。第19届ACM SIGPLAN并行编程原理与实践研讨会论文集。317--328.谷歌学者谷歌学者数字图书馆数字图书馆
  39. Ruslan Nikolaev和Binoy Ravindran。2020年,通用无等待内存回收。第25届ACM SIGPLAN并行编程原理与实践研讨会论文集。130--143.谷歌学者谷歌学者数字图书馆数字图书馆
  40. Ruslan Nikolaev和Binoy Ravindran。2021.无快照、透明和健壮的内存回收,用于无锁数据结构。第42届ACM SIGPLAN编程语言设计与实现国际会议论文集。987--1002.谷歌学者谷歌学者数字图书馆数字图书馆
  41. 佩德罗·拉马拉赫特和安德烈亚·科雷亚。2017年,简要声明:危险消除-非阻塞内存回收。第29届ACM算法和体系结构并行性研讨会论文集。367--369.谷歌学者谷歌学者数字图书馆数字图书馆
  42. 加利·谢菲(Gali Sheffi)、莫里斯·赫利希(Maurice Herlihy)和埃雷斯·彼得兰克(Erez Petrank)。2021.VBR:基于版本的回收。第35届分布式计算国际研讨会,DISC 20212021年10月4日至8日,德国弗莱堡(虚拟会议)(LIPIcs,第209卷)塞斯·吉尔伯特(编辑)。达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik),35:1-35:18。谷歌学者谷歌学者交叉引用交叉引用
  43. 加利·谢菲(Gali Sheffi)、莫里斯·赫利希(Maurice Herlihy)和埃雷斯·彼得兰克(Erez Petrank)。2021.Vbr:基于版本的回收。第33届ACM算法和体系结构并行性研讨会论文集。443--445.谷歌学者谷歌学者数字图书馆数字图书馆
  44. 加利·谢菲和埃雷斯·彼得兰克。2020年。功能故障。第32届ACM算法和体系结构并行性研讨会论文集。453--463.谷歌学者谷歌学者数字图书馆数字图书馆
  45. 加利·谢菲和埃雷斯·彼得兰克。2022安全内存回收的ERA定理。技术报告。本文的完整版本。谷歌学者谷歌学者
  46. Ajay Singh、Trevor Brown和Ali Mashtizadeh。2021.NBR:基于中和的回收。第26届ACM SIGPLAN并行编程原理与实践研讨会论文集。175--190.谷歌学者谷歌学者数字图书馆数字图书馆
  47. 丹尼尔·所罗门和亚当·莫里森。2021.有效回收并发搜索数据结构中的内存,同时限制浪费的内存。第26届ACM SIGPLAN并行编程原理与实践研讨会论文集。191--204.谷歌学者谷歌学者数字图书馆数字图书馆
  48. 哈坎·桑德尔。2005.无需等待的引用计数和内存管理。第19届IEEE国际并行和分布式处理研讨会。IEEE,第10页。谷歌学者谷歌学者数字图书馆数字图书馆
  49. Shahar Timnat、Anastasia Braginsky、Alex Kogan和Erez Petrank。2012.免费等候链接列表。分布式系统原理国际会议。施普林格,330-344。谷歌学者谷歌学者交叉引用交叉引用
  50. Shahar Timnat和Erez Petrank。2014.无锁数据结构的实用无等待模拟。ACM SIGPLAN通知49, 8 (2014), 357--368.谷歌学者谷歌学者数字图书馆数字图书馆
  51. 魏元浩、娜玛·本·达维德、盖伊·布莱洛赫、帕纳吉奥塔·法图鲁、埃里克·鲁珀特和孙毅汉。2021.具有并发数据结构应用程序的恒定时间快照。第26届ACM SIGPLAN并行编程原理与实践研讨会论文集。31--46.谷歌学者谷歌学者数字图书馆数字图书馆
  52. 文浩森(Haosen Wen)、约瑟夫·伊兹拉列维茨(Joseph Izraelevitz)、蔡文涛(Wentao Cai)、H阿兰·比德尔(H Alan Beadle)和迈克尔·斯科特(Michael L Scott)。2018.基于间隔的内存回收。ACM SIGPLAN通知53, 1 (2018), 1--13.谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 安全内存回收的ERA定理

建议

评论

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

登录

完全访问权限

  • 发布于

    封面图片ACM会议
    PODC’23:2023年ACM分布式计算原理研讨会论文集
    2023年6月
    392页
    国际标准图书编号:9798400701214
    内政部:10.1145/3583668

    版权所有©2023 ACM

    允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

    出版商

    计算机协会

    美国纽约州纽约市

    出版历史

    • 出版:2023年6月16日

    权限

    请求有关此文章的权限。

    请求权限

    检查更新

    限定符

    • 研究论文

    接受率

    PODC’23纸张接受率29属于110提交文件,26%总体验收率740属于2,477提交文件,30%

PDF格式

以PDF文件查看或下载。

PDF格式

电子阅读器

使用eReader联机查看。

电子阅读器