Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

An Overrun Control Method and its Synthesis Method for Real-Time Systems with Probabilistic Timing Constraints

확률적인 시간 제약 조건을 갖는 실시간 시스템을 위한 과실행 제어 및 합성 기법

  • Published : 2005.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

Soft real-time applications such as multimedia feature highly variable processor requirements and probabilistic guarantees on deadline misses, meaning that each task in the application meets its deadline with a given probability. Thus, for such soft real-time applications, a system designer may want to improve the system utilization by allocating to each task a processor time less than its worst-case requirement, as long as the imposed probabilistic timing constraint is met. In this case, however, we have to address how to schedule jobs of a task that require more than (or, overrun) the allocated processor time to the task. In this paper, to address the overrun problem, we propose an overrun control method, which probabilistically controls the execution of overrunning jobs. The proposed overrun control method probabilistically allows overrunning jobs to complete for better system utilization, and also probabilistically prevents the overrunning jobs from completing so that the required probabilistic timing constraint for each task can be met. In the paper, we show that the proposed method outperforms previous methods proposed in the literature in terms of the overall deadline miss ratio, and that it is possible to synthesize the scheduling parameters of our method so that all tasks can meet the given probabilistic timing constraints.

멀티미디어와 같은 연성 실시간 응용들은 서비스 품질을 위해 각 태스크들이 마감시간 전에실행을 마칠 수 있다는 확률적 보장을 요구한다. 시스템 설계자는 태스크들의 확률적 시간 제약 조건을 만족시키는 범위내에서 각 태스크에게 최악 처리기 요구량 보다는 적은 처리기 시간을 할당함으로써 시스템 이용률 향상을 추구할 수 있다. 그러나 각 태스크에게 주어진 처리기 할당량이 최악 요구량보다 적은 경우에는 필연적으로 할당량을 초과하는 요구량을 가진 태스크 작업들, 즉 과실행 작업들이 발생하게 되므로 과실행 작업에 대한 제어 기법이 필요하다. 본 논문에서는 연성 실시간 시스템에서의 확률적인 과실행 제어 기법 및 합성 기법을 제안한다. 제안하는 기법은 우선순위 스케줄링의 기반 위에서 각 태스크가 주어진 확률적 시간 제약 조건을 만족할 수 있도록 과실행을 억제함과 동시에, 태스크 실행시간의 가변성으로 인한 여분의 처리기 시간을 일부 과실행 태스크에 유연하게 할당함으로써 시스템 이용률을 향상 시킬수 있다. 본 논문에서는 시스템 모델의 제시와 실험 결과의 분석을 통하여 제안하는 과실행 제어 기법이 마감시간 위반율 측면에서 기존의 기법들보다 우수함을 보이며, 또한 임의의 확률적 시간 제약 조건이 주어질 때 이를 만족시키는 과실행 제어 기법의 매개 변수들을 합성할 수 있음을 보인다.

Keywords

References

  1. M. Krunz, R. Sass, and H. Hughes, 'Statistical Characteristics and Multiplexing of MPEG Streams,' in Proceedings of the IEEE INFOCOM 1995 Conference, pp. 455-462, Apr. 1995 https://doi.org/10.1109/INFCOM.1995.515909
  2. M. Krunz and S. K. Tripathi, 'On the Characterization of VBR MPEG Streams,' in Proceedings of the 1997 ACM SIGMETRICS International Conference on Measurement and Modeling qf Computer Systems, pp. 192-202, 1997 https://doi.org/10.1145/258612.258688
  3. L. Abeni and G. Buttazzo. 'Integrating Multimedia Applications in Hard Real-Time Systems,' In Proceedings of the 19th Real-Time Systems Symposium, pp. 3-13, Dec. 1998 https://doi.org/10.1109/REAL.1998.739726
  4. A. K. Atlas and A. Bestavros. 'Statistical Rate Monotonic Scheduling,' In Proceedings of the 19th IEEE Real-Time Systems Symposium, pp. 123-132, Dec. 1998 https://doi.org/10.1109/REAL.1998.739737
  5. T.-S. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J. W.S. Liu. 'Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times,' in Proceedings of the Real-Time Technology and Applications Symposium, pp. 164-173, May 1995 https://doi.org/10.1109/RTTAS.1995.516213
  6. M. K. Gardner and J. W.S. Liu. 'Performance of Algorithms for Scheduling Real-Time Systems with Overrun and Overload,' in Proceedings of the 11th Euromicro Conference on Real-Time Systems, pp. 287-296, Jun. 1999 https://doi.org/10.1109/EMRTS.1999.777476
  7. K. Kim, L. Lo Bello, S. L. Min, and o. Mirabella. 'On Relaxing Task Isolation in Overrun Handling to Provide Probabilistic Guarantees to Soft Real-Time Tasks with Varying Execution Times,' In Proceedings of the 14th Euromicro Conference on Real-Time Systems, pp. 193-202, Jun. 2002 https://doi.org/10.1109/EMRTS.2002.1019199
  8. Chenyang Lu, 'Design and Evaluation of a Feedback Control EDF Scheduling Algorithm,' Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999 https://doi.org/10.1109/REAL.1999.818828
  9. Chenyang Lu, J. A. Stankovic, T. F. Abdelzaher, Gang Tao, S. H. Son, M. Marley, 'Performance Specifications and Metrics for Adaptive Real-time Systems,' Proceedings of the 21st IEEE Real-Time Systems Symposium, 2000 https://doi.org/10.1109/REAL.2000.895992
  10. A. Terrasa and G. Bernat, 'Extracting Temporal Properties from Real-Time Systems by Automatic Tracing Analysis,' in Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications, Feb. 2003
  11. C. L. Liu and J. W. Layland, 'Scheduling Algorithm for Multiprogramming in Hard Real Time Environment,' Journal of ACM, Vol. 20, pp. 46-61, Jan., 1973 https://doi.org/10.1145/321738.321743
  12. D. G. Carta. 'Two Fast Implementations of the 'Minimal Standard' Random Number Generator,' Communications of the ACM, Vol. 33, No. 1, pp. 87-88, Jan. 1990 https://doi.org/10.1145/76372.76379
  13. S. K. Park and K. W. Miller. 'Random Number Generators: Good Ones Are Hard to Find,' Communications of the ACM, Vol 21, No. 10, Oct. 1988 https://doi.org/10.1145/63039.63042
  14. C. A. Waldspurger and W. E. Weihl. 'Lottery Scheduling: Flexible Proportional-Share Resource Management,' In Proceedings of the USENIX 1994 Operating Systems Design and Implementation Symposium, pp. 1-11, 1994
  15. J. L. Diaz, D. F. Garcia, K. Kim, C.-G. Lee, L. Lo Bello, J. M. Lopez, S. L. Min, and O. Mirabella. 'Stochastic Analysis of Periodic Real-Time Systems,' In Proceedings of the 23rd Real-Time Systems Symposium, pp. 289-300, Dec. 2002
  16. M. Spuri, G. Buttazzo, and F. Sensini. 'Robust Aperiodic Scheduling Under Dynamic Priority Systems,' In Proceedings of the 17th Real-Time Systems Symposium, pp. 210-219, Dec. 1996 https://doi.org/10.1109/REAL.1995.495211
  17. F.W. Gembicki, 'Vector Optimization for Control with Performance and Parameter Sensitivity Indices,' Ph.D. Dissertation, Case Western Reserve University, Cleveland, Ohio, 1974
  18. 'MATLAB Optimization Toolbox User's Guide,' The Mathworks, Inc.
  19. D. G. Luenberger, 'Linear and Nonlinear Programming (Second Edition),' Addison Wesley, 1984
  20. K. Kim, J. L. Diaz, L. Lo Bello, J. M. Lopez, C.-G. Lee, D. F. Garcia, S. L. Min, and O. Mirabella, 'An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations,' submitted to the IEEE Transactions on Computers, 2003 https://doi.org/10.1109/TC.2005.174