×

通过创建和读取直至删除的无等待并发内存管理(CaRuD)。 (英语) Zbl 1448.68112号

摘要:首字母缩写词CaRuD代表一种接口规范和一种用于管理并发进程共享内存的算法。存储单元形成一个有向非循环图。只有通过添加一个带有可访问子节点列表的新节点,并删除不可访问的节点,才能修改此图。如果内存未满,该算法可确保空闲节点的无等待重新分配。它使用原子计数器进行引用计数,并使用一致变量确保独占访问。通过使用由不安全知识指导的不确定性,可以提高性能。实验表明,该算法非常适合于多处理。

MSC公司:

64岁以下 分布式系统
68兰特 计算机科学中的图论(包括图形绘制)
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Brand,M.G.J.van den,Jong,H.A.de,Klint,P.,Olivier,P.A.:有效的注释术语。Softw,Pract Expert 30:259-291(2000)
[2] Boyer,R.S.,Moore,J.S.:计算逻辑手册。波士顿:学术出版社1988·Zbl 0655.68117号
[3] Buhrman,H.、Garay,J.A.、Hoepman,J.H.、Moir,M.:长寿命更名很快实现。收录:第十四届Ann.Symp。《分布式计算原理》(加拿大安大略省渥太华)ACM出版社1995年,第194-203页·Zbl 1373.68080号
[4] Dijkstra,E.W.:编程学科。新泽西州恩格尔伍德克利夫斯:普伦蒂斯·霍尔1976·Zbl 0368.68005号
[5] Groote,J.F.,Hesselink,W.H.:并行可访问哈希表的高效无锁算法。正在准备中
[6] Herlihy,M.P.:实现高度并发数据结构的方法论。程序。第二个ACM症状。帕尔原理和实践。程序,1990, 197-206
[7] Herlihy,M.P.:无等待同步。ACM事务处理。在程序上。语言和系统13:124-149(1991)
[8] Herlihy,M.P.,Moss,J.E.B.:多处理器的无锁垃圾收集。IEEE跨Parall Distrib系统3:304-311(1992)
[9] Hesselink,W.H.:自由地址的有限延迟。信息学报33:233-254(1996)·Zbl 0849.68031号
[10] Hesselink,W.H.:并行数据对象的线性化设计。收录:D.Gries,W.-P.de Roever(编辑):编程概念和方法,Proceedings Procomet’98,Chapman&Hall,IFIP 1998,第205-224页
[11] Hesselink,W.H.:有限公平下的进步。分布式计算12:197-207(1999)·Zbl 1448.68111号
[12] Hesselink,W.H.:网址:http://www。反恐精英。地毯。nl/水/积垢
[13] Hesselink,W.H.,Groote,J.F.:通过创建和读取直到删除(CRUD)实现无等待分布式内存管理。报告SEN-R9811,CWI,阿姆斯特丹,1998
[14] Jones,R.,Lins,R.:垃圾收集,自动动态内存管理算法。纽约:Wiley 1996·兹比尔0945.68508
[15] Jonker,J.E.:几个突变子的即时垃圾收集。分布计算5:187-199(1992)·Zbl 0744.68059号
[16] Owicki,S.,Gries,D.:并行程序的公理证明技术。信息学报6:319-340(1976)·Zbl 0312.68011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。