분산 환경하에서 전역 트랜잭션의 원자성을 보장하기 위해 보편적으로 사용하는 2단계 완료규약(2PC)의 블록킹 현상을 완화하기 위해 낙관적 2PC를 사용할 수 있다. 낙관적 2PC는 보상 트랜잭션을 사용하여 트랜잭션의 원자성을 의미적으로 보장하게 되지만 보상 트랜잭션의 특성으로 인하여 전역 직렬성(global serializability)을 위 배할 수 있다. 본 논문에서는, 전역 트랜잭션의 상태전이 분석을 통하여 전역 직렬성 을 보장하는 올바른 전역 트랜잭션 관리 규약들을 제안한다. 제안된 규약들은 한 전 역 트랜잭션의 실행을 결정하기 전에 동시에 실행되는 다른 전역 트랜잭션들의 상태 를 검사하여 이 결과에 따라 전역 트랜잭션의 실행을 지연시킴으로써 전역직렬성을 보장한다.
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.
