Abstract
In client-solver environments, clients can execute applications without contact a server by storing data in its cache. To guarantee correction of applications, we need a cache consistency algorithm. Many cache consistency algorithms have been proposed, these were categorized by detection-based and avoidance-based algorithms. In this paper, we propose a new detection-based cache consistency algorithm that can reduce a burden of a client that has poor resource compare with a server Our method controls concurrency of transactions using timestamp ordering and updates a cache dynamically. In addition to we show that our method maintains a one-copy serializability.
클라이언트-서버 환경에서 클라이언트는 캐쉬에 데이터를 저장함으로씨 서버와 접촉하지 않고도 응용을 수행할 수 있다. 클라이언트에서 수행되는 응용의 정확성을 보장하기 위해서는 캐쉬의 일관성 유지가 필요하고, 이를 위해 탐지 기반의 방법과 회피 기반의 방법이 사용되어져 왔다. 이 논문에서는 서버에 비하여 자원이 빈약한 클라이언트의 부담을 덜어줄 수 있는 탐지 기반의 새로운 캐쉬 일관성 유지 방법을 제안한다. 제안하는 방법에서는 타임스탬프를 이용하여 트랜잭션의 동시성을 제어하며, 캐쉬를 갱신할 때 갱신된 데이터의 삭제와 덮어쓰기를 동적으로 수행함으로써 캐쉬를 효율적으로 관리한다. 또한 1-사본 직렬성을 이용하여 제안하는 방법의 정확성을 증명하였다.
