Management Protocols of Global Transaction Based on Transaction State Transitions in an Optimistic 2-phase Commit Protocol

To alleviate the blocking inherent in 2-phase commit protocol(2PC) that is widely used to ensure the atomicity of global transactions in distributed environments, an optimistic 2PC can be used. Under the optimistic 2PC, compensation transactions are introduced to ensure the atomicity of transactions, which may result in the violation of global serializability due to the properties of compensation, transactions. In this paper, we propose several valid management protocols for global transactions to ensure the global serializability through the analysis of transaction of state transitions. To determine the execution of one global transaction, the proposed protocols check the sates of other concurrent global transactions. According to the result, execution of the global transaction may be delayed to ensure the global serializability.