论文标题
安全记忆回收的时代定理
The ERA Theorem for Safe Memory Reclamation
论文作者
论文摘要
同时数据结构的安全记忆开垦(SMR)方案提供了三个理想属性之间的权衡:易于集成,鲁棒性和适用性。在本文中,我们严格地定义了SMR和这三个属性,并介绍了ERA定理,并断言任何SMR方案只能在这三个属性中最多提供两个。
Safe memory reclamation (SMR) schemes for concurrent data structures offer trade-offs between three desirable properties: ease of integration, robustness, and applicability. In this paper we rigorously define SMR and these three properties, and we present the ERA theorem, asserting that any SMR scheme can only provide at most two of the three properties.