Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions

Tim Soethout, Tijs van der Storm, Jurgen Vinju

Context: Concurrent objects with asynchronous messaging are an increasingly popular way to structure highly available, high performance, large-scale software systems. To ensure dat…