Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability

Armando Castañeda, Gilde Valeria Rodríguez

This paper presents a {theoretical study} of the problem of verifying linearizability at runtime, where one seeks for a concurrent algorithm for verifying that the current executio…