• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.40-42
• /
• 2004

방송 디스크 환경에서는 서버와 클라이언트간의 비대칭적인 대역폭으로 인해 전통적인 동시성 제어 기법을 적용시키기 힘들다. 뿐만 아니라 최근 방송 디스크 환경에서 대부분의 응용분야들이 실시간 트랜잭션 처리를 요구하고 있다. 실시간 트랜잭션 처리는 데이터 일관성뿐만 아니라 트랜잭션이 마감기한 내에 완료해야하는 시간적 제약을 고려해야 한다. 본 논문에서는 방송 디스크 환경에서의 많은 계약들과 트랜잭션의 실시간성을 만족시킬 수 있는 동시성 제어 기법을 제안한다. 제안한 기법은 클라이언트에서 실행되는 읽기 전용 트랜잭션을 서버와의 접촉 없이 자체적으로 처리할 수 있다. 또한 서버에서의 전역 검증 과정에서 발생하는 클라이언트 갱신 트랜잭션의 데이터 충들을 클라이언트에서 미리 발견하여 재실행시킴으로써 마감기한을 놓치는 트랜잭션의 수를 줄일 수 있는 장점을 갖는다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.61-66
• /
• 2000

본 논문에서는 분산 실시간 데이터베이스 시스템을 위한 효율적인 동시성 제어 기법을 제안한다. 제안하는 기법은 분산 실시간 환경에서 완료준비 단계에 도달한 트랜잭션의 우선 순위를 상승시킴으로써 트랜잭션의 재시작에 의한 낭비를 줄이고, 트랜잭션의 완료를 최대한 보장하며, 잠금 지연 시간을 최소화하는 장점을 갖는다. 또한, 제안하는 기법은 우선 순위가 상승된 트랜잭션의 완료를 보장하며 데이터 차용(borrowing)을 통해 다른 트랜잭션의 지연시간을 줄여줌으로써 전체적인 시스템 성능을 향상시킨다.

• 제어로봇시스템학회논문지
• /
• 제8권9호
• /
• pp.795-802
• /
• 2002

We present a new dynamic routing scheme for multiple autonomous guided vehicles (AGVs) systems. There have been so many results concerned with scheduling and routing of multiple AGV systems; however, most of them are only applicable to systems with a small number of AGVs under a low degree of concurrency. With an increased number of AGVs in recent applications, these AGV systems are faced with another problem that has never been occurred in a system with a small number AGVs. This is the stop propagation problem. That is, if a leading AGV stops then all the following AGVs must stop to avoid any collision. In order to resolve this problem, we propose a nonstop preferential detour (NPD) algorithm which is a new dynamic routing scheme employing an election algorithm. For real time computation, we introduce two stage control scheme and propose a new path searching scheme, k-via shortest path scheme for an efficient dynamic routing algorithm. Finally, the proposed new dynamic routing scheme is illustrated by an example.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권6호
• /
• pp.735-751
• /
• 1999

클라이언트-서버 DBMS에 대한 기존의 연구는 클라이언트 데이터 캐슁이 캐쉬 일관성 유지에 드는 오버헤드에도 불구하고 시스템의 성능향상에 유용함을 보여주었다 본 논문에서는 시간적 제약을 가지는 실시간 트랜잭션을 처리하는데 있어서도 클라이언트 데이터 캐슁이 실시간 트랜잭션의 마감시간 충족률을 높이는데 유용하다는 것을 보였다. 기존실시간 데이터베이스 시스템에서 동시성 제어 기법과 실시간 트랜잭션 스케쥴링 기법을 통합한 것처럼 , 캐쉬 일관성 유지 및 동시성 제어 기법과 실시간 트랜잭션 스케쥴링 기법을 통합한 낙관적 알고리즘을 제시하고 클라이너트 데이터 캐슁을 지원하지 않는 경우와 그 성능을 비교하였다. 성능 평가 결과데이타의 지역성이 낮은 작업부하에서는 , 클라이언트 캐쉬의 이용으로 인해 마감시간을 어긴 실시간 트랜잭션의 비율 감소가 크지 않았지만(10%이하), 데이터의 지역성이 높은 작업부하에서는 그 감소폭이 컸다. HOTCOLD 작업부하의 경우 클라이언트의 수가 50, 트랜잭션의 데이터 변경률이 20% 일 때 마감시간을 어긴 실시간 트랜잭션의 비율이 약 47%감소하였다.

• 한국정보처리학회논문지
• /
• 제4권11호
• /
• pp.2874-2890
• /
• 1997

이 논문은 운영체제에 대한 호출들로 표현된 소프트웨어의 병렬성을 Ada로 번역하기 위한 방법론을 기술하고 있다. Legacy 소프트웨어들에 내재하는 병렬성은 주로 병렬 Process 또는 task들을 제어하는 운영체제 호출들로 표현된다. 본 논문에서 다루고 있는 예로서는 C 프로그램내부에서 사용하는 Unix 운영체제에 대한 호출과 더불어 CMS-2 프로그램에서 사용하는 ATES나 SDEX-20 운영체제의 Executive Service Routine들에 대한 호출들을 볼 수 있다. 소프트웨어 이해를 위한 다른 연구에서는 legacy 소프트웨어에 있는 운영체제호출을 또 다른 운영체제에 대한 호출로 번역하는 데에 역점을 두고 있다. 이런 연구에서는 소프트웨어를 이해하기 위해서 소프트웨어가 수행되는 운영체제에 대한 이해가 필수적으로 요구된다. 그런데 이런 운영체제는 보통 매우 복잡하거나 체계적으로 문서화되어 있지 않다. 본 논문에서의 연구는 legacy 소프트웨어에 있는 운영체제호출을 Ada 메커니즘을 이용한 동일한 프로토콜로 번역하는 데에 역점을 두고 있다. Ada로의 번역에 있어 이러한 호출들은 메시지에 기초한 kernel 중심 구조의scheme에 맞는 의미적으로 동일한 Ada 코드로 대표된다. 번역을 용이하게 하기 위하여 데이터 구조, task, Procedure, message들을 위해 library에 있는 template들을 사용한다. 이 방법론은 소프트웨어 재 ${\cdot}$ 역공학측면에서 운영체제를 Ada로 modeling하는 새로운 접근방식이다. 이 방식에는 소프트웨어 이해를 위하여 기존 운영 체제에 대한 지식이 필요하지 않다. 왜냐하면, legacy 소프트웨어에 내재했던 운영체제에 대한 종속성이 제거되었기 때문이다. 이렇게 번역된 Ada 소프트웨어는 여러 Ada실행환경 에서 이식이 가능하고 또한 소프트웨어들간에 상호작동성이 좋다. 이 방식은 다른 legacy 소프트웨어 시스템의 운영체제호출들도 처리할 수 있다．