Advertisement

Real-Time Systems

, Volume 53, Issue 6, pp 957–986 | Cite as

Parameter adaptation for generalized multiframe tasks: schedulability analysis, case study, and applications to self-suspending tasks

  • Bo Peng
  • Nathan Fisher
Article
  • 128 Downloads
Part of the following topical collections:
  1. Special issue on Embedded and Real-Time Computing Systems and Applications

Abstract

The generalized multiframe task model (GMF) extends the sporadic task model and multiframe task model. Each frame in the GMF model contains an execution time, a relative deadline, and a minimum inter-arrival time. These parameters are fixed after task specification time in the GMF model. However, multimedia and adaptive control systems may be overloaded and no longer stabilized when the task parameters in such systems are not flexible. In order to address this problem, deadlines and periods of frames may change to alleviate temporal overload, e.g., in the parameter adaptation and elastic scheduling model. In this paper, we propose a new model GMF-PA (the GMF model with parameter adaptation). This model allows task parameters to be flexible in arbitrary-deadline systems. A necessary schedulability test based on mixed-integer linear programming is given to check the schedulability under EDF scheduling and optimally assign frame deadlines and periods at the same time. We also prove that the test is a sufficient and necessary schedulability test when frame deadlines and periods must be integers. An approximation algorithm is also deployed to reduce computational running time and indicates a sufficient schedulability test in general. The speed-up factor of our approximation algorithm is \(1+\epsilon \) where \(\epsilon \) can be arbitrarily small, with respect to the exact schedulability test of GMF-PA tasks under EDF. We also apply the GMF model to self-suspending tasks. By extending recent work on scheduling self-suspending tasks, we remove the assumption that frame deadlines are equally assigned in self-suspending tasks, and the system is extended from constrained-deadline systems to arbitrary-deadline systems. We have done extensive experiments to show that the schedulability ratio is improved using our techniques in our GMF-PA model.

Keywords

Generalized multiframe task model Multiple-segment self-suspending tasks Uniprocessor scheduling Mixed-integer linear programming Approximation algorithms 

Notes

Acknowledgements

This research has been supported in part by the US National Science Foundation (Nos. CNS-0953585, CNS-1618185) and a grant from Wayne State University’s Office of Vice President of Research.

References

  1. Ahmed E, Akhunzada A, Whaiduzzaman M, Gani A, Hamid S, Buyya R (2015) Network-centric performance analysis of runtime application migration in mobile cloud computing. Simul Model Pract Theory 50:42–56CrossRefGoogle Scholar
  2. Andersson B (2008) Schedulability analysis of generalized multiframe traffic on multihop-networks comprising software-implemented ethernet-switches. In: Proceedings of the IEEE international symposium on parallel and distributed processing, pp 1–8, April 2008Google Scholar
  3. Baruah S (2003) Dynamic- and static-priority scheduling of recurring real-time tasks. Real Time Syst 24(1):93–128CrossRefzbMATHGoogle Scholar
  4. Baruah S (2010) The non-cyclic recurring real-time task model. In: Proceedings of the 31st IEEE real-time systems symposium, pp 173–182, November 2010. doi: 10.1109/RTSS.2010.19
  5. Baruah S, Chen D, Gorinsky S, Mok A (1999) Generalized multiframe tasks. Real Time Syst 17(1):5–22CrossRefGoogle Scholar
  6. Bini E, Buttazzo GC (2005) Measuring the performance of schedulability tests. Real Time Syst 30(1):129–154CrossRefzbMATHGoogle Scholar
  7. Buttazzo GC, Lipari G, Caccamo M, Abeni L (2002) Elastic scheduling for flexible workload management. IEEE Trans Comput 51(3):289–302CrossRefGoogle Scholar
  8. Chantem T, Wang X, Lemmon MD, Hu XS (2008) Period and deadline selection for schedulability in real-time systems. In: Proceedings of the Euromicro conference on real-time systems (ECRTS), pp 68–177, July 2008Google Scholar
  9. Chen JJ, Liu C (2014) Fixed-relative-deadline scheduling of hard real-time tasks with self-suspensions. In: Proceedings of the real time systems symposium (RTSS), December 2014Google Scholar
  10. Chen JJ, Nelissen G, Huang WH (2016) A unifying response time analysis framework for dynamic self-suspending tasks. In: Proceedings of the 28th Euromicro conference on real-time systems (ECRTS), pp 61–71, July 2016. doi: 10.1109/ECRTS.2016.31
  11. Ding S, Tomiyama H, Takada H (2007) Scheduling algorithms for i/o blockings with a multi-frame task model. In: Proceedings of the 13th IEEE international conference on embedded and real-time computing systems and applications, August 2007Google Scholar
  12. Ekberg P, Yi W (2015) Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization. In: Proceedings of the 36th IEEE real-time systems symposium (RTSS)Google Scholar
  13. Ekberg P, Guan N, Stigge M, Yi W (2015) An optimal resource sharing protocol for generalized multiframe tasks. J Log Algebr Methods Progr 84(1):92–105MathSciNetCrossRefzbMATHGoogle Scholar
  14. Gurobi (2014) The state-of-the-art mathematical programming solver. http://www.gurobi.com/
  15. Huang WH, Chen JJ (2016) Self-suspension real-time tasks under fixed-relative-deadline fixed-priority scheduling. In: Proceedings of the design, automation, and test in Europe (DATE), March 2016Google Scholar
  16. Kim J, Andersson B, de Niz D, Rajkumar RR (2013) Segment-fixed priority scheduling for self-suspending real-time tasks. In: Proceedings of the 34th real-time systems symposium, pp 246–257, December 2013. doi: 10.1109/RTSS.2013.32
  17. Kim J, Andersson B, de Niz D, Chen J-J, Huang WH, Nelissen G (2016) Segment-fixed priority scheduling for self-suspending real-time tasks. Technical Report. CMU/SEI-2016-TR-002Google Scholar
  18. Lipari G, Bini E (2011) On the problem of allocating multicore virtual resources to real-time task pipelines. In: 4th workshop on compositional theory and technology for real-time embedded systems, November 2011Google Scholar
  19. Liu J (2000) Real-time systems. Prentice Hall, Upper Saddle RiverGoogle Scholar
  20. Liu C, Anderson JH (2009) Task scheduling with self-suspensions in soft real-time multiprocessor systems. In: Proceedings of the 30th IEEE real-time systems symposium, pp 425–436, December 2009. doi: 10.1109/RTSS.2009.10
  21. Liu C, Anderson JH (2013) Suspension-aware analysis for hard real-time multiprocessor scheduling. In: Proceedings of the 25th Euromicro conference on real-time systems, pp 271–281, July 2013.  10.1109/ECRTS.2013.36
  22. Liu M, Behnam M, Nolte T (2013) Schedulability analysis of multi-frame messages over controller area networks with mixed-queues. In: Proceedings of the 18th emerging technologies factory automation (ETFA), pp 1–6, Sept 2013Google Scholar
  23. Liu W, Chen JJ, Toma A, Kuo TW, Deng Q (2014) Computation offloading by using timing unreliable components in real-time systems. In: Proceedings of the 51st design automation conference (DAC), pp 1–6, June 2014Google Scholar
  24. Mok AK, Chen D (1996) A multiframe model for real-time tasks. In: Proceedings of the 17th IEEE real-time systems symposium, pp 22–29, Dec 1996Google Scholar
  25. Moyo NT, Nicollet E, Lafaye F, Moy C (2010) On schedulability analysis of non-cyclic generalized multiframe tasks. In: Proceedings of the 22nd Euromicro conference real-time systems (ECRTS), pp 271–278, July 2010Google Scholar
  26. Nelissen G, Fonseca J, Raravi G, Nelis V (2015) Timing analysis of fixed priority self-suspending sporadic tasks. In: Proceedings of the 27th Euromicro conference on real-time systems (ECRTS), pp 80–89, July 2015. doi: 10.1109/ECRTS.2015.15
  27. Nimmagadda Y, Kumar K, Lu YH, Lee CSG (2010) Real-time moving object recognition and tracking using computation offloading. In: Proceedings of the IEEE/RSJ intelligent robots and systems (IROS 2010), Oct 2010Google Scholar
  28. Peng B, Fisher N (2016) Parameter adaptation for generalized multiframe tasks and applications to self-suspending tasks. In: Proceedings of the 22nd embedded and real-time computing systems and applications (RTCSA), Aug 2016Google Scholar
  29. Peng B, Fisher N, Chantem T (2016) MILP-based deadline assignment for end-to-end flows in distributed real-time systems. In: Proceedings of the 24th international conference on real-time networks and systems (RTNS ’16), pp 13–22. ACM, New York. ISBN 978-1-4503-4787-7. doi: 10.1145/2997465.2997498
  30. Ridouard F, Richard P, Cottet F (2004) Negative results for scheduling independent hard real-time tasks with self-suspensions. In: Proceedings of the 25th real-time systems symposium, pp 47–56, Dec 2004. doi: 10.1109/REAL.2004.35
  31. Sivaraman S, Trivedi MM (2013) Looking at vehicles on the road: a survey of vision-based vehicle detection, tracking, and behavior analysis. IEEE Trans Intell Transp Syst 14(4):1773–1795. doi: 10.1109/TITS.2013.2266661 CrossRefGoogle Scholar
  32. Stigge M, Ekberg P, Guan N, Yi W (2011) The digraph real-time task model. In: Proceedings of the 17th IEEE real-time and embedded technology and applications symposium, pp 71–80, April 2011. doi: 10.1109/RTAS.2011.15
  33. Tchidjo Moyo N, Nicollet E, Lafaye F, Moy C (2009) Real time scheduling analysis for DSP base band processing in multi-channel SDR set. In: Proceedings of the SDR forum technical conference, Washington, USA, Dec 2009. https://hal-supelec.archives-ouvertes.fr/hal-00401397
  34. Toma A, Chen JJ (2013) Server resource reservations for computation offloading in real-time embedded systems. In: Proceedings of the 11th IEEE symposium on embedded systems for real-time multimedia, pp 31–39, Oct 2013. doi: 10.1109/ESTIMedia.2013.6704500
  35. von der Brüggen G, Huang WH, Chen JJ, Liu C (2016) Uniprocessor scheduling strategies for self-suspending task systems. In: Proceedings of the 24th international conference on real-time networks and systems (RTNS ’16), pp 119–128. ACM, New York. ISBN 978-1-4503-4787-7. doi: 10.1145/2997465.2997497. http://doi.acm.org/10.1145/2997465.2997497

Copyright information

© Springer Science+Business Media New York 2017

Authors and Affiliations

  1. 1.Department of Computer ScienceWayne State UniversityDetroitUSA

Personalised recommendations