An Improvement of the Schedulability Condition in Dynamic Priority Ceiling Protocol

동적 우선순위 상한 프로토콜의 스케줄링 가능성 조건 개선

  • Published : 2001.12.01

Abstract

When tasks access shared resources in real-time systems, the unbounded priority inversion may occur. In such cases it is impossible to guarantee the schedulability of real-time tasks. Several resource access protocols have been proposed to bound the duration of priority inversion and sufficient conditions are given to guarantee the schedulability of periodic task set. In this paper, we show an improved sufficient condition for schedulability when the dynamic priority ceiling protocol is used. Our approach exploits the fact that a lower priority task can continue to execute as far as the higher priority tasks do not miss their deadlines. This permitting execution time of the higher priority tasks for a lower priority task can be excluded from the worst-case blocking time of the higher priority tasks. Since the worst-case blocking time of tasks can be reduced, the sufficient condition for schedulability of dynamic priority ceiling protocol becomes further tight.

실시간 시스템에서 태스크가 공유 자원을 사용할 때 제한되지 않은 우선순위 역전이 발생할 수 있다. 이는 실시간 태스크의 스케줄링 가능성 보장을 불가능하게 한다. 따라서 우선순위 역전을 제한하는 자원 접근 프로토콜들이 연구되었으며 주기적 태스크 집합의 스케줄링 가능성 분석을 위한 충분조건이 제시되었다. 본 논문에서는 동적 우선순위 상한 프로토콜을 사용할 경우 개선된 스케줄링 가능성 충분조건을 제시한다. 제시된 방법에서는 높은 우선순위의 태스크들의 마감시간을 놓치지 않는 범위 내에서 낮은 우선순위를 가진 태스크가 계속 수행될 수 있다는 사실을 이용하였다. 이렇게 함으로써 높은 우선순위를 가진 태스크가 낮은 우선순위를 가진 태스크를 위해서 허용해 줄 수 있는 시간은 높은 우선순위를 가진 태스크의 최악 블록킹 시간에서 제외될 수 있다. 태스크의 최악 블록킹 시간이 감소하게 되므로 동적 우선순위 상한 프로토콜의 스케줄링 가능성 충분조건은 개선된다.

Keywords

References

  1. C.L. Liu and J.W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the Association for Computing Machinery, 20(1), 1973 https://doi.org/10.1145/321738.321743
  2. Cheng S.-C, J.A. Stankovic, and K. Ramamritham, Scheduling Algorithms for Hard Real-Time Systems A Brief Survey, Tutorial on Hard Real-Time Systems, J.A. Stankovic and K. Ramamritham (Eds.), IEEE Computer Society, 1988
  3. M.L. Dertouzos, Control Robotics: the Procedural Control of Physical Processes, Information Processing 74, North-Holland Publishing Company, 1974
  4. A.K. Mok, Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment, Ph.D. Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1983
  5. L. Sha, R Jajkumar, and J. P. Lehoczky, Priority inheritance protocols: An Approach to real-time synchronization, IEEE Transactions on Computer, Vol. 39, No.9, September 1990 https://doi.org/10.1109/12.57058
  6. Min-Ih Chen and Kwei-Jay Lin, Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems, The Journal of Real-Time Systems, 2, 1990, pp. 325-346 https://doi.org/10.1007/BF01995676
  7. M. Spuri, Efficient Deadline Scheduling in Real-Time Systems, Ph.D. Thesis. Scuola Superiore S. Anna, July 1995
  8. T.P. Baker, Stack-Based Scheduling of Real-Time Processes, The Journal of Real-time Systems 3, 1991 https://doi.org/10.1007/BF00365393