Maintaining the feasibility of hard real-time systems with a reduced number of priority levels

Muhammad Bilal Qureshi ; Saleh Alrashed ; Nasro Min-Allah ; Joanna Kołodziej ; Piotr Arabas

International Journal of Applied Mathematics and Computer Science, Tome 25 (2015), p. 709-722 / Harvested from The Polish Digital Mathematics Library

Résumé

When there is a mismatch between the cardinality of a periodic task set and the priority levels supported by the underlying hardware systems, multiple tasks are grouped into one class so as to maintain a specific level of confidence in their accuracy. However, such a transformation is achieved at the expense of the loss of schedulability of the original task set. We further investigate the aforementioned problem and report the following contributions: (i) a novel technique for mapping unlimited priority tasks into a reduced number of classes that do not violate the schedulability of the original task set and (ii) an efficient feasibility test that eliminates insufficient points during the feasibility analysis. The theoretical correctness of both contributions is checked through formal verifications. Moreover, the experimental results reveal the superiority of our work over the existing feasibility tests by reducing the number of scheduling points that are needed otherwise.

Détail

Publié le : 2015-01-01
EUDML-ID : urn:eudml:doc:275982

Bibliographie

[000] Audsley, N.C., Burns, A., Tindell, K. and A. Wellings (1993). Applying new scheduling theory to static priority preemptive scheduling, Software Engineering Journal 8(5): 284-292.

[001] Audsley, N.C. (2001). On priority assignment in fixed priority scheduling, Information Processing Letters 79(1): 39-44. | Zbl 0998.68018

[002] Bini, E., Buttazzo, G.C. and Buttazzo, G. (2001). A hyperbolic bound for the rate monotonic algorithm, Proceedings of the 13th Euromicro Conference on Real-Time Systems, Washington, DC, USA, pp.59-66.

[003] Bini, E. and Buttazzo, G.C. (2004). Schedulability analysis of periodic fixed priority systems, IEEE Transactions on Computers 53(11): 1462-1473.

[004] Bini, E., Natale, M.D. and Buttazzo, G. (2008). Sensitivity analysis for fixed-priority real-time systems, Real-Time Systems 39(1-3): 5-30. | Zbl 1141.68020

[005] Burns, A. and Wellings, A.J. (2009). Real-Time Systems and Programming Languages, 4th Edn., Addison Wesley, Longmain. | Zbl 0768.68009

[006] Davis, R.I., Zabos, A. and Burns, A. (2008). Efficient exact schedulability tests for fixed priority real-time systems, IEEE Transactions on Computers 57(9): 1261-1276.

[007] Han, C.C. and Tyan, H.Y. (1997). A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithms, Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), Washington, DC, USA, p. 36.

[008] Hong, K.S. and Leung, J.Y.-T. (1992). On-line scheduling of real-time tasks, IEEE Transactions on Computers 41(10):1326-1331.

[009] Joseph, M. and Pandya, P.K. (1986). Finding response times in a real-time system, The Computer Journal 29(5): 390-395.

[010] Katcher, D.I., Arakawa, H. and Strosnider, J.K. (1993). Engineering and analysis of fixed priority schedulers, IEEE Transactions on Software Engineering 19(9): 920-934.

[011] Katcher, D.I., Sathaye, S.S. and Strosnider, J.K. (1995). Fixed priority scheduling with limited priority levels, IEEE Transactions on Computers 44(9): 1140-1144. | Zbl 1057.68549

[012] Kopetz, H. (1997). Real-Time Systems, Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, Norwell, MA. | Zbl 0930.68148

[013] Laplante, P.A., Kartalopoulos, S.V., Akay,M., El-Hawary, M.E., Periera, F. M.B., Anderson, J. B., Leonardi, R., Singh, C., Baker,R.J., Montrose, M., Tewksbury, S., Brewer, J.E., Newman, M.S. and Zobrist, G. (2004). Real-Time Systems Design and Analysis, 3rd Edition, John Wiley and Sons, Hoboken, NJ.

[014] Lee, W. Y., Hong, S. J. and Kim, J. (2003). On-line scheduling of scalable real-time tasks on multiprocessor systems, Journal of Parallel and Distributed Computing 63(12): 1315-1324. | Zbl 1069.68030

[015] Lehoczky, J.P. and Sha, L. (1986). Performance of real-time bus scheduling algorithms, '86 ACM SIGMETRICS Joint International Conference on Computer Performance Modeling, Measurement and Evaluation, New York, NY, USA, pp. 44-53.

[016] Lehoczky, J.P., Sha, L. and Ding, Y. (1989). The rate monotonic scheduling algorithm: Exact characterization and average case behavior, Proceedings of the IEEE Real-Time Systems Symposium, Santa Monica, CA, USA, pp. 166-171.

[017] Leung, J.Y.T. and Whitehead, J. (1982). On the complexity of fixed-priority scheduling of periodic, Performance Evaluation 2(4): 237-250. | Zbl 0496.90046

[018] Liu, C.L. and Layland, J.W. (1973). Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM 20(1): 40-61. | Zbl 0265.68013

[019] Liu, J.W.S. (2000). Real Time Systems, Prentice Hall, New York, NY.

[020] Min-Allah, N., Yong-Ji, W., Jian-Sheng, X. and Jiu-Xiang, L. (2007). Revisiting fixed priority techniques, in T.W. Kuo et al. (Eds.), Proceedings of Embedded and Ubiquitous Computing, Lecture Notes in Computer Science, Vol. 4808, Springer, Berlin/Heidelberg, pp. 134-145.

[021] Min-Allah, N., Khan, S.U. and Yongji, W. (2010). Optimal task execution times for periodic tasks using nonlinear constrained optimization, Journal of Supercomputing 59(3): 1-19.

[022] Min-Allah, N. and Khan, S.U. (2011). A hybrid test for faster feasibility analysis of periodic tasks, International Journal of Innovative Computing, Information and Control 7(10): 5689-5698.

[023] Orozco, J., Cayssials, R., Santos, J. and Santos, R. (1998). On the minimum number of priority levels required for the rate monotonic scheduling of real-time systems, Proceedings of the 10th Euromicro Workshop on Real Time Systems, Berlin, Germany.

[024] Patan, M. (2012). Distributed scheduling of sensor networks for identification of spatio-temporal processes, International Journal of Applied Mathematics and Computer Science 22(2): 299-311, DOI: 10.2478/v10006-012-0022-9. | Zbl 1283.93298

[025] Santos, J., Gastaminza, M. L., Orozco, J., Picardi, D. and Alimenti, O. (1991). Priorities and protocols in real-time LANs, Computer Communications 14(9): 507-514.

[026] Sha, L. and Goodenough, J.B. (1988). Real-time scheduling theory and ADA, CMU/SEI-88-TR-33, Software Engineering Institute, Carnegie-Mellon University, Piittsburgh, PA.

[027] Sha, L., Sprunt, B. and Lehoczky, J.P. (1989). Aperiodic task scheduling for hard real-time systems, Journal of Real-Time Systems 1(1): 27-69.

[028] Sheng, J., Wang, Y., Liu, J., Zeng,H. and Min-Allah, N. (2007). A static priority assignment algorithm with least number of priority levels, Journal of Software 18(7): 1844-1854.

[029] Sjodin, M. and Hansson, H. (1998). Improved response-time analysis calculations, Proceedings of the 19th IEEE RealTime Systems Symposium, Madrid, Spain, pp. 399-409.

[030] Tindell, K.W., Bums, A. and Wellings, A.J. (1994). An extendible approach for analyzing fixed priority hard real-time tasks, Real-Time Systems Journal 6(2):133-151.

[031] Xuelian, B., Yuhai, Y. and Shiyao, J. (2003). Optimal fixed priority assignment with limited priority levels, Proceedings of the Advanced Parallel Programming Technologies, Xiamen, China, pp. 194-203. | Zbl 1113.68355

[032] Xu, J. and Parnas, D. (1990). Scheduling processes with release times, deadlines, precedence, and exclusion relations, IEEE Transactions on Software Engineering 16(3): 360-369.