What Cannot Be Implemented on Weak Memory?

Armando Castañeda, Gregory Chockler, Brijesh Dongol +1

We present a general methodology for establishing the impossibility of implementing certain concurrent objects on different (weak) memory models. The key idea behind our approach l…