×

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文件

按年份列出的引文