诺瑞克

NOrec:通过废除所有权记录来简化STM。从以前的几个项目中获得灵感,我们提出了一个所有权记录自由软件事务性内存(STM)系统,它将极低的开销与异常干净的语义结合在一起。虽然不太可能扩展到数百个活动线程,但这个“NOrec”系统提供了许多吸引人的特性:非常低的快速路径延迟——与我们所知的任何允许并发更新的系统一样低;发布和私有化安全;livelock自由度;少量、恒定的全局元数据,与现有的数据结构布局完全兼容;没有由于哈希冲突而导致的错误冲突;兼容托管和非托管语言,以及静态和动态编译;以及封闭嵌套、不可避免(不可撤销)事务和避免饥饿机制的易用性。据我们所知,目前还没有一个STM系统结合了这组特性。虽然具有数百个核心的处理器的事务性内存可能需要硬件支持,但软件实现将需要与当前和近期具有2到64个内核的处理器进行向后兼容,以及在未来的计算机中当硬件资源耗尽时进行回撤。我们的经验表明,NOrec可能是这种软件系统的理想候选。同时,我们也注意到,在操作系统中,嵌套和嵌套的安全性都有相当大的要求。