선점 임계 스케줄링에서의 실시간 동기화 = Real - Time Synchronization under Preemption Threshold Scheduling

국문 초록 (Abstract)

객체 지향 설계 방법론은 현재 소프트웨어 개발에 널리 사용되고 있지만 내장형 실시간 시스템에는 적합한 스케줄링 기법이 존재하지 않기 때문에 제한적으로만 적용되어 왔다. 선점 임계 스케줄링(preemption threshold scheduling: PTS)은 비선점성을 최대한 이용하여 다중 태스킹의 부하를 줄이기 위한 제안되었다. PTS는 전통적인 스케줄링 기법을 대신하여 실시간 객체 지향 설계에 사용되기에 적합하나, 이를 위해서는 실시간 동기화의 문제가 해결되어야 한다. 본 논문에서는 PTS를 위한 실시간 동기화의 필수적인 기반을 제시한다. 구체적으로 PTS를 위한 기본 우선순위 계승 프로토콜과 우선순위 실링(ceiling) 프로토콜을 제시한다. 제시된 동기화 기법은 유효 우선순위의 개념을 사용하여 우선순위를 계승하도록 하며, 선점 임계 실링 대신 우선순위 실링을 사용한다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. 태스크 모델
• 3. 우선순위 역전 문제의 방지
• 4. 교착상태, 추이 블록킹 및 연쇄 블록킹의 방지
• 5. 결론
• 참고 문헌