• 한국정보과학회논문지:시스템및이론
• /
• 제26권8호
• /
• pp.895-904
• /
• 1999

• 대한공간정보학회지
• /
• 제5권2호
• /
• pp.193-205
• /
• 1997

대용량의 매핑 자료를 다수의 사용자들이 효율적으로 공유하는데는 클라이언트-서버 환경에서 복제 일관성을 위한 분산 모델 개발이 요구된다. 기존의 분산 모델은 각 사이트들의 사본간의 일관성을 강조했으나 GUI를 이용한 화면과 사본간의 일관성이 고려되지 못하여 매핑 시스템과 같은 장기 트랜잭션에는 적합하지 않다. 매핑자료의 특성상 분산 환경에서 트랜잭션들의 일관성을 유지하는데는 시간 지연이 많으므로 병행효율이 중요하다. 본 연구에서는 디스플레이 록을 이용하여 GUI 화면과 사본들 사이의 일관성을 지원한다. 매핑자료의 특성을 이용하여 낙관적 병행제어 기법과 일관성 모델을 개선하여, 처리효율을 향상하는 일관성 모델을 제시한다.

• 정보처리학회논문지A
• /
• 제11A권6호
• /
• pp.459-468
• /
• 2004

모바일 환경에서 여러 사용자가 XML 트리를 공유하는 응용이 점차 많아지고 있다. XML 트리를 낙관적인 중복 방식으로 모바일 환경에서 공유하려면 동시에 수정된 데이터를 협상하여 하나의 버전을 만들 수 있어야 한다. 특히 XML 트리의 부분 트리를 삽입/삭제한 구조 변경 행위들을 협상하기 위해서는 트리의 노드 매핑과 비교 과정이 필요한데, 이것은 O(n$^2$)의 복잡도를 가지는 문제로 알려져 있다. 또한 응용에 따라 달라지는 의미 기반의 충돌 해결 방식이 도입되어야 할 필요성이 제기되고 있다. 본 연구에서는 모바일 환경에서 XML 트리의 편집 기록(edit script)을 협상하기 위한 효율적인 협상 방법을 제시하였다 본 논문에서는 이러한 요구를 만족시킬 수 있는 XML 데이터 공유 모델로서 문서타입에서 반복부에 해당하는 부분만 삽입과 삭제를 허용하고 반복부의 부분 트리들이 형제들과 구분되는 키 값을 가지는 리스트 공유 모델을 이용한다. 이러한 리스트 공유 모델은 구조 변경 행위가 항상 문서의 유효성을 보장할 수 있다는 장점을 가지며, 키 기반의 리스트 협상을 하게 되므로 효율적인 협상 알고리즘을 얻는 것이 가능하다. 본 논문에서는 리스트 공유 모델에서 서로 키의 충돌이 없는 편집 기록에 대해 편집기록의 길이를 m이라 할 때 O(m)복잡도를 가지는 협상 알고리즘을 제안하였다. 기존 트리 협상 방법이 키의 충돌이 없는 경우 트리 크기에 선형 비례하는 시간 복잡도를 가지므로 제안된 방법은 모바일 환경에서 효과적인 협상 방법으로 사용될 수 있을 것이다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권3호
• /
• pp.484-493
• /
• 2001

실시간 데이터베이스 시스템이 분산환경으로 확장됨에 따라 기존의 실시간 병행수행 제어 기법을 분산환경으로 적용할 필요성이 대두되었다. 이에 본 논문에서는 중복 저장(replication)을 지원하는 분산 실시간 데이터베이스 시스템을 위한 효율적인 병행수행 제어 기법을 제안한다. 제안하는 기법은 중복 저장을 지원하는 분산 실시간 환경에서 완료준비 단계에 도달한 트랜잭션의 우선 순위를 상승시킴으로써 트랜잭션의 완료를 최대한 보장하며 완료 준비 단계에서 재시작 되는 트랜잭션을 줄이고 잠금 지연 시간을 최소화한다. 도한, 우선 순위가 상승된 트랜잭션이 점유한 데이터에 대한 대여(lending)를 허용함으로써 데이터를 차용(borrowing)한 트랜잭션의 대기시간이 감소되고 전체적인 시스템 성능이 향상되었다. 제안한 기법에 대한 성능 평가에서는 Firm 실시간 데이터베이스 환경에서 2단계 완료 기법을 기반으로 DO2PL_PA와 MIRROR 기법을 대상으로 트랜잭션의 도착율, 크기, 쓰기 가능성 및 데이터 중복율에 대한 마감시한 초과비율을 비교한다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1418-1432
• /
• 1996

분산 실시간 트랜잭션 처리 시스템에서 데이타의 복제는 유용성의 향상 및 여러 노드에서 발생한 트랜잭션들을 병행적으로 처리할 수 있기 때문에 성능을 향상시킬 수 있다. 데이타의 일관성과 실시간적 제약성을 충족하기 위해서 동시실행 제어 및 원자적 종료 프로토콜이 시간 구동형 스케쥴링 과정에 통합될 필요가 있다. 기존의 동시실행 제어 프로토콜들에게 발생하는 중단 현상은 트랜잭션들의 종료시한을 만족 할 수 있는 스케쥴링이 어렵기 때문에 시간 구동형 스케쥴링에 적합하지 않다. 복제 된 데이타의 일관성 유지 그리고 스케쥴링 가능성 및 예측가능성을 향상시키기 위하 여 제시된 시간 구동형 스케쥴링 기법은 중단 시간을 최소화하고 우선순위에 따른 직 렬가능성 순서를 생성하는 낙관적 동시실행 제어 프로토콜을 통합하였다. 분산 환경 에서 트랜잭션의 성공적인 종류를 보장하는 원자성도 유지된다. 시간 구동형 스케쥴 링 기법의 성능 분석 결과 및 구체적인 과정들이 기술된다.