Implementation of Semaphores to Prevent Priority Inversion

우선순위 역전을 해결하기 위한 세마포어의 구현

  • 양희권 (충남대학교 컴퓨터공학과) ;
  • 윤기현 (충남대학교 컴퓨터공학과) ;
  • 성영락 (국민대학교 전자정보통신공학부) ;
  • 이철훈 (충남대학교 컴퓨터공학과)
  • Published : 2003.04.01

Abstract

실시간 운영체제(Real-Time OS)는 우선순위 기반의 선점형 스케줄링을 제공하는 운영체제로서 시간 결정성 (Determinism)을 보장하는 특징이 있다. 그러나, 우선순위가 높은 태스크가 우선순위가 낮은 태스크에 의해 CPU를 점유 당하는 우선순위 역전(Priority Inversion)이 발생하여 시간 결정성이 보장되지 못하면 시스템의 심각한 결함을 야기할 수 있다. 본 논문에서는 우선순위 역전을 해결하기 위하여 Priority Inheritance Protocol 을 적용한 세마포 (Semaphore)의 구현에 대해 기술한다.

Keywords