Sufficient Conditions for Robustness of RDMA Programs

This paper introduces a set of straightforward criteria that, when met, guarantee sequential consistency and mitigate potential issues arising from weak memory behaviours in RDMA applications, significantly reducing the need for synchronisation primitives.