Browse > Article

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

Kim, Kang-Hee (삼성전자 연구원)
Hwang, Ho-Young (안양대학교 디지털미디어학부)
Publication Information
Journal of KIISE:Computer Systems and Theory / v.32, no.5, 2005 , pp. 243-254 More about this Journal
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
Real-time systems; Overrun centrol; Probabilistic guarantee;
Citations & Related Records
연도 인용수 순위
  • Reference
1 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   DOI
2 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   DOI
3 Chenyang Lu, 'Design and Evaluation of a Feedback Control EDF Scheduling Algorithm,' Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999   DOI
4 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
5 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
6 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   DOI
7 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   DOI
8 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   DOI
9 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   DOI
10 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   DOI
11 F.W. Gembicki, 'Vector Optimization for Control with Performance and Parameter Sensitivity Indices,' Ph.D. Dissertation, Case Western Reserve University, Cleveland, Ohio, 1974
12 'MATLAB Optimization Toolbox User's Guide,' The Mathworks, Inc.
13 D. G. Luenberger, 'Linear and Nonlinear Programming (Second Edition),' Addison Wesley, 1984
14 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   DOI   ScienceOn
15 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   DOI
16 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
17 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   DOI
18 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   DOI
19 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   DOI   ScienceOn
20 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   DOI