SMERT: 읽기 전용 트랜잭션에 대한 스케쥴링 기법 = SMERT: The Scheduling Technique for Read-only Transactions

국문 초록 (Abstract)

무선 통신 기술이 발달함에 따라, 이동성을 가진 사용자가 무선 채널을 사용하여 다양한 정보 서비스를 받을 수 있게 되었다. 이러한 무선 이동 컴퓨팅 환경은 본래 많은 새로운 특징 및 제약조건을 가지고 있다. 따라서 이전의 분산 컴퓨팅 환경에서 정보 서비스를 제공하기 위해 제안되었던 알고리즘을 수정없이 그대로 적용한다면, 여러 문제점이 생길 수 있다. 이 논문에서는 무선 통신 기능을 가진 이동 컴퓨터에서 읽기 전용 트랜잭션을 제기할 경우, 자신의 캐쉬 데이터를 이용하여 지역적으로 처리할 수 있는 스케쥴링 기법을 제안한다. 이러한 캐쉬 데이터는 데이터 서버의 주기적인 브로드캐스팅 정보를 이용하여 일관성을 유지시킨다. 이렇게 지역적인 수행을 하더라도 트랜잭션의 올바른 수행을 보장하기 위하여, 이 논문에서는 읽기 트랜잭션의 수행 순서를 재순서화 하는 기법을 사용한다. 즉 서버에서 수행되는 쓰기를 포함하며, 읽기 전용 트랜잭션과 충돌이 발생하는 트랜잭션과의 연산 순서를 데이터의 의미를 고려하여 재순서화 하며, 이러한 순서관계를 지킬 수 있도록 트랜잭션의 연산들을 스케쥴링 한다. 또한 제안하는 스케쥴링 알고리즘(SMERT : Scheduing MEthod for Read-only Trasactions)에 의하여 트랜잭션을 수행하면, 트랜잭션의 검증을 완전히 이동 컴퓨터에서 수행할 수 있으므로, 이동 컴퓨터의 자원을 효율적으로 사용할 수 있게 해준다. 제안하는 SMERT에 의한 수행에 영향을 줄 수 있는 인자에 대한 실험 및 그 결과도 분석한다.

다국어 초록 (Multilingual Abstract)

With the development of wireless communication technology, various information services have been available to users having mobility. Since wireless mobile computing enviroments have their own characteristics and limitations, if we adopt the algorithms developed for distributed computing environments in mobile environments without modification, we may have some problems. In this paper, we propose a new scheduling technique for read-only transactions, which executes and validates them based on its cached data. A mobile computer maintains cache consistency by using periodic broadcast information. In order to provide correct local execution, we use the reordering technique; that means a mobile computer determines conflict orders between operations according to data semantics. A mobile computer executes operations without violating the determined conflict orders. We call this scheduling method SMERT. Because SMERT allows read-only transactions to be terminated without any messages for synchronization, a mobile computer can use its limited resources efficiently. In the last section, we present a simulation study about the relation between response time and various parameters.

목차 (Table of Contents)

• 1. 서론
• 2. 시스템 모델
• 3. SMERT 알고리즘(Scheduling MEthod for Read-only Transactions)
• 3.1 문제인식
• 3.2 재순서화를 이용한 기본적 접근방법
• 3.3 스케쥴링 알고리즘
• 4. 정당성 증명
• 5. 실험 결과 분석
• 5.1 모의 실험 모델
• 5.2 모의 실험 결과 분석
• 6. 결과 및 앞으로의 과제