Implementation of Synchronization Protocol Based on Priority Ceiling for PREEMPT-RT Linux

RT 패치 적용 리눅스를 위한 Priority Ceiling 기반 동기화 프로토콜의 구현

리눅스 운영체제는 처리율(throughput)을 보장하는 것을 우선으로 하고 있으며, 태스크들의 응답시간을 보장하지는 않기 때문에 실시간 처리가 필요한 경우에는 적용하기 어렵다. 이러한 문제를 해결하기 위해 RT 패치는 선점형 커널, 인터럽트 쓰레드화, 뮤텍스의 도입 등을 통해 리눅스의 실시간 처리를 지원한다. 그러나 RT 패치는 우선순위 상속만을 지원하기 때문에, 뮤텍스의 스핀락 대체로 인한 데드락 문제를 야기할 수 있다. 본 논문에서는 이를 해결하기 위하여 PCP(Priority Ceiling Protocol)의 변형인 ICPP(Immediate Ceiling Priority Protocol)을 RT 패치에 통합되도록 구현하고, 그 성능을 분석한다.