×

Lowest priority first based feasibility analysis of real-time systems. (English) Zbl 1327.68047

Summary: The feasibility problem of periodic tasks under fixed priority systems has always been a critical research issue in real-time systems and a number of feasibility tests have been proposed to guarantee the timing requirements of real-time systems. These tests can be broadly classified into: (a) inexact and (b) exact tests. The inexact tests are applied to the task sets that present lower utilization, while the exact tests become inevitable when system utilization is high. The exact tests can be further classified into: (a) Scheduling Points Tests (SPT) and (b) Response Time Tests (RTT). The SPT analyze task set feasibility at the arrival times while the RTT utilize fixed-point techniques to determine task feasibility. All of the available exact feasibility tests, whichever class it belongs to, share pseudo-polynomial complexity. Therefore, the aforementioned tests become impractical for online systems. Currently, both SPT and RTT employ the Highest Priority First (HPF) approach, which determines the system feasibility by testing the schedulability of individual tasks in the decreasing order of priority. In contrast, this work exploits the Lowest Priority First (LPF) alternative which is an aggressive solution based on the observation that the system infeasibility is primarily due to the lower priority tasks and not because of the higher priority tasks. For the average case analysis, our technique demonstrates promising results. Moreover, in the worst case scenario our solution is no inferior to the existing state of the art alternatives. We compare our proposed technique with the existing tests: (a) by counting the number of scheduling points used by a test that belongs to the SPT, (b) by counting the number of inner-most loops executed by an algorithm for the RTT, and (c) by measuring the actual running time of the existing alternatives.

MSC:

68M14 Distributed systems
68M20 Performance evaluation, queueing, and scheduling in the context of computer systems
Full Text: DOI

References:

[1] Asplund, M., Real Time Systems (2011), Department of Computer and Information Science: Department of Computer and Information Science Linköping University, Sweden
[2] Audsley, N. C., On priority assignment in fixed priority Scheduling, Information Processing Letters, 79, 1, 39-44 (2011) · Zbl 0998.68018
[4] Audsley, N. C.; Burns, A.; Tindell, K.; Wellings, A., Applying new scheduling theory to static priority preemptive scheduling, Software Engineering Journal (1993)
[6] Bini, E.; Buttazzo, G. C., Schedulability analysis of periodic fixed priority systems, IEEE Transactions on Computers, 53, 11, 1462-1473 (2004)
[8] Buchard, A.; Liebeherr, J.; Oh, Y.; Son, S. H., New strategies for assigning realtime tasks to multiprocessor systems, IEEE Transactions on Computers, 4, 1429-1442 (1995) · Zbl 1048.68534
[9] Burns, A.; Wellings, A. J., Real-Time Systems and Programming Languages, 602 (2009), Addison Wesley
[10] Chenga, T. C.E.; Wang, Xiuli, Machine scheduling with job class setup and delivery considerations, Computers and Operations Research, 37, 6, 1123-1128 (2010) · Zbl 1178.90145
[11] Chrobak, M.; Epstein, L.; Noga, J.; Sgall, C. J.; Stee, R. V.; Tichý, T.; Vakhania, N., Preemptive scheduling in overloaded systems, Journal of Computer and System Sciences, 67, 1, 183-197 (2003) · Zbl 1054.68015
[12] Davis, R. I.; Zabos, A.; Burns, A., Efficient exact schedulability tests for fixed priority real-time systems, IEEE Transactions on Computers, 57, 9, 1261-1276 (2008) · Zbl 1390.68122
[16] Joseph, M.; Pandya, P., Finding response times in a real-time system, The Computer Journal, 29, 5, 390-395 (1986)
[17] Krishna, C. M.; Shin, K. G., Real-Time Systems (1997), McGrawHill · Zbl 0910.68078
[18] Laplante, P. A., Real-Time Systems Design and Analysis (2004), Wiley, IEEE Press
[19] 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.; Zobrist, G., Real-Time Systems Design and Analysis (2004), A John Wiley and Sons
[21] Leung, J. Y.T.; Whitehead, J., On the complexity of fixed-priority scheduling of periodic real-time tasks, Performance Evaluation, 2, 237-250 (1982) · Zbl 0496.90046
[22] Liu, J. W.S., Real Time Systems (2000), Prentice Hall
[23] Liu, C. L.; Layland, J. W., Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM, 20, 1, 40-61 (1973) · Zbl 0265.68013
[24] Lu, Wan-Chen; Lin, Kwei-Jay; Wei, Hsin-Wen; Shih, Wei-Kuan, Efficient exact test for rate-monotonic schedulability using large period-dependent initial values, IEEE Transactions on Computers, 57, 5 (2008) · Zbl 1373.68160
[25] Manabe, Y.; Aoyagi, S., A feasibility decision algorithm for rate monotonic and deadline monotonic scheduling, Real-Time Systems, 14, 2, 171-181 (1998)
[26] Min-Allah, N.; Ali, I.; Xing, J.; Wang, Y., Utilization bound for periodic task set with composite deadline, Journal of Computers and Electrical Engineering, 36, 6, 1101-1109 (2010) · Zbl 1210.68039
[27] Min-Allah, N.; Hussain, H.; Khan, S. U.; Zomaya, A. Y., Power efficient rate monotonic scheduling for multi-core systems, Journal of Parallel and Distributed Computing, 72, 1, 48-57 (2012) · Zbl 1231.68087
[28] Min-Allah, N.; Khan, S. U.; Wang, Y., Optimal task execution times for periodic tasks using nonlinear constrained optimization, The Journal of Supercomputing, 59, 3, 1120-1138 (2012)
[29] Min-Allah, N.; Yong-Ji, W.; Jian-Sheng, X.; Liu, J., Revisiting fixed priority techniques, (EUC, Vol. 4808. EUC, Vol. 4808, LNCS (2007)), 134-145
[33] Tindell, K. W.; Bums, A.; Wellings, A. J., An extendible approach for analyzing fixed priority hard real-time tasks, Real-Time Systems Journal, 6, 133-151 (1994)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.