Prof. Daniel Hendler
Know all about my research
Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures
We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation executed during a crash, resumes its execution and returns a correct response, and that the state of the data structure is not corrupted.
| Publication language | English |
| Pages | 503-505 |
| Publication status | Published - 06.07.2020 |
Keywords
detectability
non-volatile memory
recoverable algorithms
ASJC Scopus subject areas
Software
Theoretical Computer Science
Hardware and Architecture
