环STM swMATH ID: 25976 软件作者： M.F.斯皮尔、M.M.迈克尔、C.冯·普劳恩。 描述： RingSTM：使用单个原子指令的可伸缩事务。现有的软件事务内存（STM）设计将元数据附加到共享内存范围；随后的运行时指令读取并更新此元数据，以确保动态事务的读取和写入保持正确。元数据操作和检查的开销与事务执行的读写次数呈线性关系，并且涉及昂贵的读-修改-写指令，从而导致大量开销。我们考虑一种新的STM方法，其中事务将其读写集表示为Bloom过滤器，事务通过将Bloom过滤器排队到全局列表来提交。使用这种方法，我们的RingSTM系统对任何事务最多需要一次读-修改-写操作，并且导致验证开销与事务大小成线性关系，而与提交的并发写入程序的数量成线性关系。此外，RingSTM是第一个固有的无活锁和私有化安全的STM，同时允许通过并发不相交事务进行并行写回。我们评估了RingSTM算法的三种变体，发现在许多工作负载下，它比最先进的TL2算法提供了更好的性能和/或更强的语义。 主页： https://dl.acm.org/citation.cfm？id=1378583 相关软件： NOrec公司;印章;TLRW公司;KIV公司;PVS公司;伊莎贝尔/HOL;伊莎贝尔;柔道STM;DiSTM公司;STM台架7 引用于： 5文件 全部的 前5名17位作者引用 2 约翰·德里克 2 西蒙·多尔蒂 2 布里杰什·多戈尔 2 格哈德·谢尔霍恩 2 迈克尔·F·斯皮尔。 2 海克·卫尔海姆 1 埃利尼·比拉 1 安东·拜舍夫斯基 1 卢克·达莱桑德罗 1 戴夫，骰子 1 艾迪特·凯达尔 1 奥列格·利特马诺维奇 1 德米特里·佩雷尔曼 1 马修·罗德里格斯。 1 迈克尔·L·斯科特。 1 尼尔·沙维特。 1 奥列格·特拉夫金 2篇连载文章中引用 1 计算的形式方面 1 计算机科学中的逻辑方法 在2个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文