단일 자원, 단일 요청 시스템에서 효율적인 교착상태 발견 기법 = An Efficient Deadlock Detection Technique for a Single Resource and Single Request System

국문 초록 (Abstract)

교착상태의 해결 기법으로 교착 상태의 발견 기법이 널리 쓰인다. 대개 교착 상태의 발견 기법은 대기 그래프(wait-for graph)를 사용하여 사이클이나 노트를 발견함으로서 교착상태의 존재를 찾는다. 그러나, 대기 그래프에서 사이클을 찾는 것은 그래프의 에쥐를 쫓아 가는 일을 하게 되어 실시간 시스템 등과 같은 예측성이 요구되는시스템에서 사용이 부적절하다. 단일 자원, 단일 요청 시스템에서 자원의 요청 시의 즉각적인 사이클의 발견으로 교착상태를 알아내는 기법이 제안된 바 있다. 본 논문에서는 교착 상태의 발견 뿐만 아니라 자원의 반환도 즉각적으로 수행 할 수 있는 기법을 제안한다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 시스템 모델
• 3. 교착상태 발견 방법
• 4. 고찰 및 구현에 대한 고려
• 5. 결론
• 참고 문헌