以追踪求恢复：无锁数据结构的可检测恢复
分布式、并行与集群计算
2021-07-29 v2
摘要
本文提出追踪方法，用于推导许多广泛使用的并发数据结构的可检测恢复（因而也可持久化）实现。满足可检测恢复的数据结构对于具有字节寻址非易失主存（NVRAM）的新兴系统颇具吸引力，其持久性允许在崩溃后高效恢复失败进程。可检测恢复确保崩溃后每个已执行操作能够恢复并返回正确响应，且数据结构状态不被破坏。基于信息结构（ISB）的追踪在现有无锁辅助方案所用的描述符对象中增补了追踪操作完成进度并将其持久化到内存的额外字段，以确保可检测恢复。ISB-追踪避免全量日志，并以每进程方式追踪并发操作的进度，从而降低了确保可检测恢复的开销。我们已应用 ISB-追踪推导了队列、链表、二叉搜索树和交换器的可检测恢复实现。实验结果展示了该技术的可行性。
引用
@article{arxiv.1905.13600,
title = {Tracking in Order to Recover: Detectable Recovery of Lock-Free Data Structures},
author = {Hagit Attiya and Ohad Ben-Baruch and Panagiota Fatourou and Danny Hendler and Eleftherios Kosmas},
journal= {arXiv preprint arXiv:1905.13600},
year = {2021}
}