모바일 컴퓨팅 환경을 위한 재수행 트랜잭션 모델의 설계 및 구현 = Design and Implementation of a Reprocessing Transaction Model for Mobile Computing Environments

다국어 초록 (Multilingual Abstract)

Mobile transactions updating spatial objects are long transactions that can update independently local objects of mobile clients during disconnection. Validation based protocols that are well known to be appropriate for mobile transactions are required to abort a conflicted transaction in order to keep data consistent. Since abortion leads to cancel of all of the updates, it is not desirable to use the abortion for resolving conflicts of mobile transactions.In this paper, we propose a reprocessing transaction model to resolve the update conflicts between mobile transactions without aborting them. We also design a mobile transaction server to support the reprocessing transaction and build a prototype of a mobile field system. The reprocessing transaction is a subtransaction of a newly committed mobile transaction and re-executes only conflicted objects with foreign conflicted objects. We also introduce a progressive reprocessing scheme to expose non-conflicted objects of the mobile transaction to other transactions in order to reduce starvation of reprocessing transactions.

국문 초록 (Abstract)

공간 객체를 수정하는 모바일 트랜잭션은 단절 상태에서 지역 데이타를 독립적으로 수정할 수 있는 긴 트랜잭션이다. 모바일 트랜잭션의 수행에 적합하다고 알려진 검증 기반 프로토콜은 데이타 일관성을 유지하기 위하여 충돌된 트랜잭션을 철회시킨다. 그러나 긴 트랜잭션을 철회하면 모든 작업 결과를 취소해야 하기 때문에 철회 방법은 모바일 트랜잭션 수행에 적합하지 않다.이 논문에서는 충돌된 모바일 트랜잭션을 철회하지 않고 충돌을 해소하기 위하여 재수행 트랜잭션 모델을 제안한다. 그리고 재수행 트랜잭션을 지원하는 트랜잭션 서버를 설계하고 모바일 현장 시스템의 프로토타입을 구현하였다. 재수행 트랜잭션은 외래 충돌 객체를 이용하여 충돌 객체만을 재수정하는 트랜잭션으로 완료를 요청한 트랜잭션의 충돌에 의해 시작되는 서브 트랜잭션이다. 그리고 재수행 트랜잭션의 기아 문제를 줄이기 위하여 쓰기 집합의 객체들 중 비충돌 객체는 다른 트랜잭션에게 노출시키는 점진적 재수행 기법을 제시한다.