Fine-grained Causal Reversibility for Asynchronous Channel-based Programming

Shunya Oguchi, Shoji Yuen, Nobuko Yoshida +1

Causal reversibility has emerged as an effective technique for debugging concurrent systems. In particular, rolling back and replaying a concurrent program with causal consistency…