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