Recoverable Lock-Free Locks

2026-01-01

0

PRE

AI

DOI：10.4230/LIPIcs.OPODIS.2025.17

原文求助

摘要

En 中文

本文提出了首个同时引入无锁性和可恢复性的转换方法。该方法从一个基于锁的实现开始，为锁获取和锁释放操作提供可恢复的无锁替代方案。该转换方法支持嵌套锁以提高通用性，并确保在不破坏所应用基于锁实现的正确性的前提下保证可恢复性。

Keyword:

recoverable computing

NVM

lock

lock-freedom