Atomicity with incompatible presumptions
Yousef J. Al-Houmaily, Panos K. Chrysanthis · 1999
We identify one of the incompatibility problems associated with atomic commit :protocols that prevents them from being used together and wei derive a correctness criterion that captures the correctness of their integration.We also present a new atomic commit Iprotocol, called Presumed Any, that integrates the three commonly known two-phase commit protocols and prove its correctness.