NOrec公司 swMATH ID: 24487 软件作者: Dalesandro,L.、Spear,M.F.、Scott,M.L。 描述: NOrec:通过废除所有权记录来简化STM。从之前的几个项目中汲取灵感,我们提出了一个无所有权记录的软件事务存储器(STM)系统,该系统将极低的开销与异常干净的语义相结合。虽然不太可能扩展到数百个活动线程,但这个“NOrec”系统提供了许多吸引人的功能:非常低的快速路径延迟——与我们所知的允许并发更新的任何系统一样低;出版和私有化安全;活锁自由;少量恒定的全局元数据,与现有数据结构布局完全兼容;没有由于散列冲突而导致的错误冲突;与托管和非托管语言以及静态和动态编译的兼容性;以及容易接受封闭的嵌套、不可避免的(不可撤销的)交易和饥饿避免机制。据我们所知,现有的STM系统都没有结合这组功能。虽然具有数百个内核的处理器的事务内存可能需要硬件支持,但为了与当前和不久的将来具有2–64内核的处理器向后兼容,以及在硬件资源耗尽时在未来的机器中进行后备,将需要软件实现。我们的经验表明,NOrec可能是这种软件系统的理想候选。我们还注意到,它在操作系统内以及需要封闭嵌套和发布安全的系统中具有很大的吸引力。 主页: https://dl.acm.org/citation.cfm?doid=1837853.1693464 相关软件: 环STM;TLRW公司;犹太科学图书馆;同步试验台;DiSTM公司;印章;FDR3公司;TM单元;KIV公司;PVS公司;伊莎贝尔/HOL;伊莎贝尔;WHISPER公司;原子能机构;Mnemosyne公司 引用于: 11文件 全部的 前5名27位作者引用 4 西蒙·多尔蒂 4 布里杰什·多戈尔 三 约翰·德里克 三 格哈德·谢尔霍恩 三 海克,韦尔海姆 2 埃利尼·比拉 2 文森特·格拉莫利 2 彼得·库兹涅佐夫 2 萨提亚·佩里 2 迈克尔·F·斯皮尔。 1 卢克·达莱桑德罗 1 戴夫,骰子 1 林赛·格罗夫斯。 1 拉希德·格拉乌伊 1 奇拉格·朱亚尔 1 Sandeep S.Kulkarni。 1 斯威塔·库马里 1 杰·勒·佩宾 1 维克托·卢昌科 1 马克·莫尔 1 斯利瓦桑·拉维 1 马修·罗德里格斯。 1 迈克尔·L·斯科特。 1 尼尔·沙维特。 1 阿奇特·索马尼 1 奥列格·特拉夫金 1 Trigonakis、Vasileios 5篇连载文章中引用 2 计算的形式方面 1 理论计算机科学 1 信息与计算 1 分布式计算 1 计算机科学中的逻辑方法 在2个字段中引用 11 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文