The Taub Faculty of Computer Science Events and Talks
Armando Castañeda (National Autonomous University of Mexico)
Sunday, 14.05.2023, 11:30
This work studies the problem of distributed runtime verification of linearizability for asynchronous concurrent implementations. It proposes an interactive model for distributed runtime verification and shows that it is impossible to verify at runtime this correctness condition for some common sequential objects such as queues, stacks, sets, priority queues, counters and the consensus problem. The impossibility captures informal arguments used in the past that argue distributed runtime verification is impossible.