• The KIPS Transactions:PartA
• /
• v.13A no.5 s.102
• /
• pp.421-428
• /
• 2006

This paper proposes an integrated recovery approach applying retry and rollback techniques to recover the TMR failure. Combining the time redundancy techniques with W system is apparently effective to recover the TMR failure(or masked error) primarily caused by transient faults. These policies need fewer reconfigurations at the cost of extra time required for the time redundant schemes. The optimal numbers of retry and rollback to minimize the mean execution time of tasks are derived for the proposed method through computing the likelihoods of all possible states of the failed system. The effectiveness of the proposed method is validated through examining certain numerical examples and simulations conducted with a variety of parameters governing environmental characteristics.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.9
• /
• pp.424-433
• /
• 2001

The cyclic debugging approach often fails for message passing parallel programs because they non-deterministic characteristics due to message race conditions. This paper identifies the MPI events that affect non-deterministic executions, and then converts the concurrent execution to the sequential one that is controlled in order to make it equivalent to a reference execution by keeping their orders of events in two executions identical. This paper also presents an efficient algorithm for the causal distributed breakpoint which is initiated by any sequential breakpoint in one process, and restores each process to the earliest state that reflects all events that happened causally before the sequential breakpoint. So a cyclic debugging approach can be used in debugging MPI parallel programs as like as in debugging sequential programming environments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.844-846
• /
• 2001

홈기반의 분산 공유메모리 모델은 지금 현재 가장 적은 외부 통신비용을 가진 프로토콜 모델이다. 본 논문에서는 기존의 Recoverpoint와 Recoverpoint Server를 이용한 결함허용모델 (Checkpoint Model)을 보다 향상시키기 위하여 향상된 결함복구후 재실행 알고리즘을 제안한다. 이 알고리즘은 피기백(Piggyback)방식과 복수개의 Checkpoint를 사용하며 기존의 Vector Time Stamp 기법시스템보다 더 낳은 확장성과 실행속도를 제공한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.1529-1532
• /
• 2008

이동 에이전트는 플랫폼 간을 이주하며 자기 복제를 통한 작업 분배가 가능하다. 이러한 점에 의해 최근 이동 에이전트는 분산 처리 기반 기술로 각광 받고 있다. 그러나 이러한 에이전트의 이주, 복제능력은 악의적인 플랫폼과 이동 에이전트의 공격에 대한 약점이 되고 있다. 그 중 재실행 공격은 에이전트의 반복 수행을 통해 에이전트를 공격하는 기법이다. 이에 대한 방지 기법으로 트립 마커를 이용하여 동적인 수행 결정이 가능한 연구가 있다. 그러나 이 기법은 이동 에이전트가 위치한 플랫폼에 따라 이동 에이전트의 복제가 제한 받는다는 단점이 있다. 본 논문에서는 이동 에이전트의 복제가 가능한 외적 재실행 방지 기법을 제안한다. 본 기법은 트립 마커 생성을 담당하는 트립 마커 서버를 두어 플랫폼에 상관없이 유연한 이동 에이전트의 복제가 가능하다. 또한 비대칭키 기법을 이용한 비밀 통신을 통해 재실행 공격으로부터 이동 에이전트를 방어한다.

• KSCI Review
• /
• v.1 no.2
• /
• pp.109-118
• /
• 1995

자료 기지관리 체계(Database Management System; DBMS)에서 실시간 처리를 만족시킬 수 있는 동시성 제어 기법 중의 하나가 낙관적 기법이다. 낙관적 기법은 카네기 멜론 대학교의 Kung에 의해 제안된 이래 여러가지 변형이 시도되었다. 그러나 아직도 변형된 기법들에 대한 성능 차원의 비교가 이루어지지 않아서 실시간 체계 등에 적용시 기법의 선정에 어려움을 겪고 있다. 본 논문에서는 Kung이 제안한 원형 기법과 이의 대표적 변형 기법들의 근간이 되는 순간 검증을 이용한 기법을 비교하였다. 원형 기법은 거래의 직렬화 가능성을 파괴하지 않는 거래간의 충돌까지 철회되어야 하는 단점이 있기 때문에 충돌된 거래를 재시작하는 측면에서는 순간 검증 방법보다 불필요한 재실행을 해야 하는 만큼의 시간적 부담이 크다. 그러나 원형 검증 방법은 버퍼 보유 효과를 제공하므로 이를 제공하지 않는 순간 검증 기법보다 충돌된 거래의 재시작으로 인한 부담이 적다. 왜냐하면 충돌된 거래에 대한 실행시 필요한 모든 객체들이 이미 준비되어 있다면 거래의 재실행시 드는 시간적인 부담이 적기 때문이다. 처리 기간이 긴 장기거래 위주로 실행하는 환경에서는 순간 검증을 이용한 기법이 불리하였다. 왜냐하면 한 거래가 처리 단계에 있을 때 실행을 완료한 거래들의 수많은 순간 검증을 해야 하기 때문이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.352-354
• /
• 2002

메모리 재활용 방법 (gabage collection)은 안전하고 효율적이지만, 메모리를 재사용하려면 항상 메모리를 수거해야 하는 비용이 든다. 가능하면 메모리 수거없이 즉각적으로 메모리를 재사용하게 함으로써 비용을 줄일 수 있다. 본 논문에서는 실행시간 정보 전달을 통해 효과적으로 메모리를 즉각 재사용할 수 있는 방법을 제시하고, 그러한 메모리 재사용이 안전하다는 것을 증명하는 메모리 타입 시스템을 제시한다. 제시한 방법을 사용하여 프로그램 sieve를 28.1% 빠르게 실행할 수 있었다..

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.853-855
• /
• 2004

ML프로그램에 메모리 재사용 명령어를 자동으로 삽입하는 변환기의 효과에 대한 실험 결과를 보인다. 분석 및 변환에 드는 비용은 초당 1,582 줄～29,000 줄이었다. 총 생성 메모리의 3.8%～88.6%를 재사용 하도록 변환함으로써 메모리 최고점(memory peak)을 0.0%～71.9% 감소시켰다. 재사용에 의한 프로그램 실행 속도는 25.4% 단축되거나 42.9% 느려졌다. 프로그램 실행 시간 중에 메모리 수거(garbage collection)의 비중이 높을 경우에만 수행 속도가 단축되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.568-570
• /
• 2004

Harel과 UML에서 제공하는 기존 개념의 상태챠트는 실시간 작업들의 동시성(concurrency)을 모델링하기 어려운 단점을 가진다. 본 논문에서는 이러한 문제점을 해결하기 위해 재진입 상태머신과 재진입 상태챠트라는 새로운 개념을 제안한다. 재진입 상태머신은 병렬적으로 실행할 작업들을 교차수행(interleave)함으로서, 상태챠트로 표현되는 실시간 작업들의 동시성(Concurrency)물 효과적으로 지원할 수 있다 이러한 재진입 상태머신을 기반으로, 재진입 상태챠트는 간결하고 풍부한 표현 의미를 제공하며, 아울러 동시적으로 처리되는 행동 모델들을 구체적으로 표현할 수 있다. 재진입 상태머신과 재진입 상태챠트를 이용하여 실시간 시스템을 구현하면 프로세스간 흑은 쓰레드간의 스위칭이 불필요해짐에 따라 그에 따른 실행 오버헤드를 최소화할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.494-497
• /
• 2011

함수 복귀 예측은 이론적으로 오버플로가 발생하지 않는 한도 내에서 100%의 정확도를 보여야 한다. 하지만, 투기적 실행을 지원하는 현대 마이크로프로세서 환경 하에서는 잘못된 실행 경로로의 수행 결과를 무효화 할 때 RAS의 오염이 발생하며, 이는 함수 복귀 주소의 예측 실패로 이어진다. 본 논문에서는 이러한 RAS의 오염을 방지하기 위하여 RAS 재명명 기법을 제안한다. RAS 재명명 기법은 RAS의 스택을 소프트 스택과 하드 스택으로 나누어 관리한다. 소프트 스택은 투기적 실행에 의한 데이터의 변경을 복구할 수 있는 항목을 관리하고, 하드 스택은 소프트 스택의 크기 제한으로 겹쳐쓰기가 일어나는 데이터 가운데 이후에 재사용될 데이터를 관리하는 구조로 구성된다. 제안된 기법을 모의실험 한 결과, RAS 오염방지 기법이 적용되지 않은 시스템과 비교하여 함수 복귀 예측 실패를 약 1/90로 감소시켰으며, 최대 6.95%의 IPC 향상을 가져왔다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.229-231
• /
• 2001

공간 데이터베이스 시스템에서의 질의처리 과정 중 질의 재작성 과정에 의해 다중 블록 질의가 단일 블록으로 변환되면 공간 서술자와 비공간 서술자가 OR와 AND에 의해 연결되어있는 복잡한 CNF가 생성된다. CNF 내의 공간 서술자는 공간연산의 정제단계의 수행 비용이 비공간 연산에 비해 상당히 많이 들기 때문에 비공간 서술자와는 다른 최적화 기법이 필요하다. 본 논문에서는 공간 서술자가 포함된 복잡한 CNF를 수평적으로 분리하여 질의를 재작성하고 수행순서를 재조정하는 기법을 제안한다. 제안하는 기법은 원시 CNF를 수행 비용이 상대적으로 적은 전처리 단계의 CNF와 이에 비해 수행비용이 많이 드는 후처리 단계의 CNF로 분리하고 질의를 재작성 한 후 비용 모델에 의거해서 실행 트리를 최적화 한다. 본 논문에서 제시하는 기법은 질의 최적화 단계에서 공간연산의 단계별 실행특성을 감안한 효율적인 실행 계획 생성이 가능하다는 장점이 있다.