Adaptable, efficient, and modular coordination of distributed extended transactions

The authors describe a method for building a variety of coordination protocols as well as distributed extended transaction primitives. The method is called open coordination protocol (OCP), and is applied to construct many variants of commit-transaction, as well as distributed split-transaction and distributed join-group. OCP adopts a modular decomposition of popular coordination protocols (e.g., two-phase commit) into microprotocols, and then chooses appropriate microprotocols to build new coordination protocols or extended transaction primitives with desired features (e.g., split-transaction with read-only optimization). They use incremental specialization to improve the efficiency of each implemented protocol.