• 한국공간정보시스템학회 논문지
• /
• 제5권2호
• /
• pp.69-82
• /
• 2003

공간 객체를 변경하기 위한 모바일 트랜잭션은 단절 상태에서 지역 데이터를 변경하는 긴 트랜잭션이다. 모바일 트랜잭션이 회복할 때 단절 상태로 인하여 회복 시점보다 먼저 완료된 다른 트랜잭션의 쓰기 집합을 읽을 수 없기 때문에 회복된 트랜잭션이 충돌할 수 있다. 그러나 만약 회복된 긴 트랜잭션을 변경 충돌 때문에 철회하면 회복된 데이터를 포함한 모든 변경 데이터를 취소해야 하기 때문에 장애가 발생한 모바일 트랜잭션의 회복 기법으로 적합하지 않다. 이 논문에서는 회복된 모바일 트랜잭션이 변경 충돌로 인해 철회되는 것을 줄이기 위하여 다른 트랜잭션의 쓰기 집합에서 외래충돌가능객체를 검색하는 회복 기법을 제안한다. 외래충동가능객체는 회복 시점보다 먼저 완료된 다른 트랜잭션이 변경한 객체로서 회복된 트랜잭션이 변경한 객체와 충돌 가능한 객체이다. 제안한 기법은 회복할 때 외래충돌가능객체를 최근 검사점 상태의 읽기 집합과 함께 읽기 때문에 회복된 트랜잭션이 변경 충돌이 발생하지 않도록 객체를 재변경할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.520-522
• /
• 2002

SoC 설계의 검증 비용이 전체 설계 비용의 70%를 차지한다. 이런 검증을 위한 노력과 시간을 줄이기 위해서는 SoC 설계 검증 수준을 시그널 수준 또는 사이클 수준에서 트랜잭션 수준으로 높여야 할 필요성이 있으며, 또한 그렇게 하는 것이 바람직하다. 이 논문은 IP의 인터페이스를 통해 수행되는 트랜잭션을 사이란 수준에서 기술하는 트랜잭션 중심의 인터페이스 기술 언어로부터 트랜잭션 모니터 모듈을 생성하는 방법을 제시한다. 트랜잭션 모니터모듈은 시뮬레이션을 통한 검증에 파형을 통한 결과의 관찰대신, 트랜잭션 단위의 결과의 관찰을 가능하게 함으로써 검증시간을 줄이는데 공헌할 것으로 기대된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.269-271
• /
• 2000

이동 컴퓨팅 환경은 분산 컴퓨팅 환경과는 달리 네트웍의 낮은 신뢰성과 제한된 대역폭을 가지고, 이동 호스트 또한 제한된 저장장치와 배터리만을 사용할 수 있으며 트랜잭션(transaction)은 장시간에 결쳐 수행되는 특성을 가진다. 이동 컴퓨팅 환경에서는 전통적인 트랜잭션의 동시성 제어 기법 대신, 트랜잭션의 시맨틱스(semantics)를 이용하여 동시성을 향상시킬 수 있다. 본 연구에서는 중첩된 트랜잭션의 구조를 단순화시킨 단계분할(step- decomposition) 기법을 사용하여, 서브트랜잭션(sub-transaction)의 시맨틱 타입(semantic type) 별로 인터리빙(interleaving)을 제어함으로써 트랜잭션의 동시성을 향상시키는 기법을 제안하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.232-234
• /
• 2002

무선 통신 및 컴퓨터 기술의 발달은 사용자로 하여금 이동 중에도 휴대용 컴퓨터를 소지하고 무선 통신을 통해 다양한 비즈니스 트랜잭션을 수행할 수 있는 모바일 오피스(mobile of Hee)환경을 제공하고 있다. 그러나 무선 통신과 휴대용 컴퓨터의 고유한 특성으로 인해 이동 비즈니스 트랜잭션 처리에 유선망에서 사용되는 트랜잭션 처리 모델을 그대로 적용할 경우 트랜잭션 응답시간이 길어지고 데이터 관리가 복잡해지며, 통신 요금이 증가하는 등의 문제점이 발생한다. 본 연구에서는 고가의 무선통신 비용 및 이동 컴퓨터의 배터리 소모를 절감하기 위해 접속단절을 효과적으로 이용하여 회사와 이동 세일즈 사원들 간의 효율적인 비즈니스 트랜잭션 처리 시스템 구축을 위한 트랜잭션 처리 모델을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1717-1720
• /
• 2002

원격 백업 시스템은 주 시스템에서 재해가 발생했을 때 주 시스템의 데이타를 안전하게 복구하고 서비스를 지속적으로 유지시켜주기 위해 원격지에 주 시스템의 복사본을 두는 시스템이다. 주 시스템과 백업 시스템의 데이터를 동일하게 유지하기 위한 정책으로 1-Safe 방식과 2-Safe 방식을 들 수 있다. 1-Safe 방식은 주 시스템에서 트랙션을 완료한 후 백업 시스템에 완료 트랜잭션의 결과를 반영하는 방식이고, 2-Safe 방식은 트랜잭션이 주 시스템과 백업 시스템에서 동시에 완료하는 방식이다. 1-Safe 방식은 주 시스템에서 트랜잭션 처리 시간이 빨라진다는 장점을 갖지만, 재해가 발생했을 경우 백업시스템에 반영되지 않은 완료 트랜잭션이 존재할 수 있다는 단점을 갖는다. 이와는 달리 2-Safe 방식의 경우 트랜잭션 처리 시간은 증가하지만, 주 시스템과 백업 시스템 두 곳에서 동시에 완료 트랜잭션의 안정성이 보장된다는 장점이 있다. 본 논문에서는 완료 트랜잭션의 안정성을 보장하는 2-Safe 방식을 위한 최적화된 트랜잭션 완료 프로토콜인 O2PC를 제안한다. O2PC는 주 시스템과 백업 시스템간에 메시지 전송 오버헤드와 로그 기록 오버헤드를 최소화함으로써 2-Safe 방식의 성능을 개선할 수 있다는 장점을 갖는다.

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

트랜잭션간 캐슁을 허용하는 데디터전송 시스템은 각 클라이언트가 데이터베이스의 일부분을 동적으로 캐슁하므로 트랜잭션 캐쉬 일관성 유지 기법의 필요성을 야기한다. 지연 로킹 기법은 클라이언트가 액세스한 데이터에 대한 로크 설정 및 유효성 검사가 비동기적으로 이루어지는 검사기반 기법이다. 지연 로킹 기법은 매우 낮은 통신부담을 보이므로 높은 성능을 발휘할 수 있지만, 트랜잭션 철회율이 높은 단점이 있다. 이 단점에 대처하기 위하여 본 논문에서는 철회되는 트랜잭션 대신에 실행되기 위하여 관리되는 백업 목적의 트랜잭션인 그림자 트랜잭션의 개념을 제안한다. 그리고 이 개념과 지연 로킹 기법을 통합하여 그림자 트렌잭션을 이용한 새로운 트랜잭션 캐쉬 일관성 유지 기법을 제안한다. 그리고 모의실험을 통하여 제안된 기법의 성능과 검사기반 기법 중 가정 대표적인 적응적 낙관적 동시성 제어 기법과 캐슁 두단계 로킹 기법과의 성능을 비교한다.

• 한국전자통신학회논문지
• /
• 제9권3호
• /
• pp.359-368
• /
• 2014

최근에는 트랜잭션들 사이의 문맥을 반영하기 위해, 단위 트랜잭션들 사이의 관계를 반영한 확장 트랜잭션을 생성하고 이를 대상으로 인터트랜잭션들에 대한 연관 규칙 탐사방안이 연구되었다. 본 연구에서는 기존 인터트랜잭션들에 대한 연관규칙 탐사 기법에 존재하는 두 가지 문제를 제시하였고 이를 해결하기 위한 방안을 제안하였다. 첫째, 인접한 트랜잭션들 상에 존재하는 데이터의 의미적 변화 정보를 반영하기 위한 방안을 제안했다. 둘째, 트랜잭션을 인터트랜잭션으로 변환하는 과정에서 발생하는 불공정 고려를 해결하기 위한 방안을 제안했다. 이를 통해 기존 연구보다 의미 있는 규칙을 생성할 수 있다. 이를 해양 환경 데이터를 기반으로 실험하여 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.202-204
• /
• 2005

브로드캐스트 기법은 서버에서 사용자로의 하향 대역폭을 최대한 활용하고 사용자의 수와 무관하게 데이터를 배포할 수 있기 때문에 이동 컴퓨팅 환경에서의 주요한 방식으로 쓰이고 있다. 브로드캐스트 기법에서도 기존 컴퓨팅 환경처럼 여러 트랜잭션이 같은 데이터 항목을 동시에 사용하는 경우가 발생할 수 있다. 하지만 브로드캐스트 환경에서는 모바일 클라이언트의 제한된 자원과 제한된 상향 대역폭 등의 이유로 기존의 동시성 제어 기법을 그대로 사용할 수 없다. 이러한 이유로 무선 브로드캐스트 환경을 위한 동시성 제어 기법들이 많이 연구되어 왔다. 이 논문에서는 트랜잭션들의 접근 패턴이 편향될 경우 발생하게 되는 반복적인 재실행을 문제점으로 인식하고, 동시성 제어 기법에 기반을 둔 기법을 제안한다. 동일한 데이터 항목에 대한 갱신을 수행하는 트랜잭션이 많을수록 트랜잭션이 재실행될 확률은 높아지고 성능은 저하되는데, 이는 검증을 요청하는 트랜잭션들 중 가장 먼저 서버에 도착한 트랜잭션만이 경쟁에서 살아남고 나머지는 재실행되며 경쟁을 다시하기 때문이다. 제안하는 기법에서는 브로드캐스트 사이클이 끝날 때까지 완료 여부의 결정을 유보하면서 검증을 요청한 트랜잭션들의 조합을 구성해 후보 해 리스트를 유지한다. 마지막으로 갱신되는 데이터 항목의 수와 데이터 항목의 갱신 선호도를 기준으로 최적의 해를 선택해 트랜잭션들을 완료하고 데이터베이스에 값을 반영함으로써 트랜잭션의 철회율을 최소화하고 트랜잭션의 완료율을 높일 수 있다.

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.543-552
• /
• 2001

중복 데이터베이스 시스템에서 트랜잭션을 처리하기 위해서 원자적 방송이 주로 사용된다. 그런데 원자적 방송을 사용할 경우에는 트랜잭션을 처리하기 전에 먼저 서버들 사이에 조정단계가 선행되어야 하므로 트랜잭션 지연과 같은 문제점이 있다. 이 논문에서는 원자적 방송을 사용하여 트랜잭션을 처리할 경우에 발생되는 트랜잭션 지연문제를 해결할 수 있는 알고리즘을 제안한다. 이를 위해서 제안된 알고리즘에서 트랜잭션은 낙관적인 방법을 이용하여 처리하고, 판독연산은 트랜잭션이 제출된 사이트에서 수행된다. 그리고 기록연산은 중복된 모든 사이트에서 원자적으로 갱신이 이루어지도록 한다. 이렇게 함으로써 각 사이트의 클라이언트가 지역 데이터베이스에 제출한 연산을 모든 사이트에서 독립적으로 수행할 수 있게 되어 병행성이 향상되고 트랜잭션의 지연이 방지된다. 또한 트랜잭션이 직렬가능성은 완료 검사 단계에서 트랜잭션의 순서번호를 검사함으로서 보장되도록 한다.

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

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