安全内存回收的ERA定理
分布式、并行与集群计算
2022-11-09 v1
摘要
并发数据结构的安全内存回收(SMR)方案在三个理想特性之间提供权衡:易于集成、鲁棒性和适用性。在本文中,我们严格定义了SMR及这三个特性,并提出了ERA定理,断言任何SMR方案最多只能提供这三个特性中的两个。
引用
@article{arxiv.2211.04351,
title = {The ERA Theorem for Safe Memory Reclamation},
author = {Gali Sheffi and Erez Petrank},
journal= {arXiv preprint arXiv:2211.04351},
year = {2022}
}