Real-Time Systems

, Volume 49, Issue 3, pp 367–400 | Cite as

Stability of adaptive feedback-based resource managers for systems with execution time variations

Article

Abstract

Today’s embedded systems are exposed to variations in load demand due to complex software applications, dynamic hardware platforms, and the impact of the run-time environment. When these variations are large, and efficiency is required, adaptive on-line resource managers may be deployed on the system to control its resource usage. An often neglected problem is whether these resource managers are stable, meaning that the resource usage is controlled under all possible scenarios. In this paper we develop mathematical models for real-time embedded systems and we derive conditions which, if satisfied, lead to stable systems. For the developed system models, we also determine bounds on the worst case response times of tasks. We also give an intuition of what stability means in a real-time context and we show how it can be applied for several resource managers. We also discuss how our results can be extended in various ways.

Keywords

Control theory Stability criterion Adaptive real-time systems Utilization control 

References

  1. Abdelzaher TF, Stankovic JA, Lu C, Zhang R, Lu Y (2003) Feedback performance control in software services—using a control-theoretic approach to achieve quality of service guarantees. IEEE Control Syst Mag 23:74–90 CrossRefGoogle Scholar
  2. Boyd S, Vandenberghe L (2008) Convex optimization. Cambridge University Press, Cambridge Google Scholar
  3. Bramson M (2008) Stability of queueing networks. Springer, Berlin MATHGoogle Scholar
  4. Buttazo GC, Albeni L (2002) Adaptive workload management through elastic scheduling. J Real-Time Syst 23:7–24 CrossRefGoogle Scholar
  5. Buttazo GC, Lipari G, Albeni L (1998) Elastic task model for adaptive rate control. In: Proceedings of the IEEE real-time systems symposium, December 1998, p 286 Google Scholar
  6. Buttazo GC, Velasco M, Marti P, Fohler G (2004) Managing quality-of-control performance under overload conditions. In: Proceedings of the Euromicro conference on real-time systems, July 2004, pp 53–60 Google Scholar
  7. Cervin A, Eker J (2003) The control server: a computational model for real-time control tasks. In: Proceedings of the 15th Euromicro conference on real-time systems, July 2003 Google Scholar
  8. Cervin A, Eker J, Bernhardsson B, Årzén KE (2002) Feedback-feedforward scheduling of control tasks. Real-Time Syst 23:25–53 MATHCrossRefGoogle Scholar
  9. Combaz J, Fernandez JC, Sifakis J, Strus L (2008) Symbolic quality control for multimedia applications. Real-Time Syst 40:1–43 MATHCrossRefGoogle Scholar
  10. Cucinotta T, Palopoli L (2010) QoS control for pipelines of tasks using multiple resources. IEEE Trans Comput 59:416–430 MathSciNetCrossRefGoogle Scholar
  11. Kreyszing E (1989) Introduction to functional analysis with applications. Wiley, New York Google Scholar
  12. Kumar PR, Meyn S (1995) Stability of queueing networks and scheduling policies. In: IEEE trans. automatic control Google Scholar
  13. Lee C, Lehoczky J, Rajkumar R, Siewiorek D (1999) On quality of service optimization with discrete QoS options. In: Proceedings of real-time technology and applications symposium, p 276 Google Scholar
  14. Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in hard-real-time environment. J ACM 20(1):46–61 MathSciNetMATHCrossRefGoogle Scholar
  15. Liu X, Zhu X, Padala P, Wang Z, Singhal S (2007) Optimal multivariate control for differentiated services on a shared hosting platform. In: Proceedings of the conference on decision and control, December 2007, pp 3792–3799 Google Scholar
  16. Lu C, Stankovic JA, Son SH, Tao G (2002) Feedback control real-time scheduling: framework, modeling, and algorithms. Real-Time Syst 23:85–126 MATHCrossRefGoogle Scholar
  17. Marioni M, Buttazo GC (2007) Elastic DVS management in processors with discrete Voltage/Frequency modes. IEEE Trans Ind Inform 3:51–62 CrossRefGoogle Scholar
  18. Michel AN, Hou L, Liu D (2008) Stability of dynamical systems: continuous, discontinuous, and discrete systems. Birkhäuser, Boston MATHGoogle Scholar
  19. Palopoli L, Cucinotta T, Marzario L, Lipari G (2009) AQuoSA – adaptive quality of service architecture. Softw Pract Exp 39:1–31 CrossRefGoogle Scholar
  20. Rafiliu S, Eles P, Peng Z (2010) Low overhead dynamic QoS optimization under variable execution times. In: Proceedings of 16th IEEE embedded and real-time computing systems and applications (RTCSA), pp 293–303 Google Scholar
  21. Rafiliu S, Eles P, Peng Z (2011) Stability conditions of on-line resource managers for systems with execution time variations. In: Proceedings of the 23rd Euromicro conference on real-time systems Google Scholar
  22. Yao J, Liu X, Yuan M, Gu Z (2008) Online adaptive utilization control for real-time embedded multiprocessor systems. In: Proceedings of the international conference on hardware/software codesign and system synthesis, pp 85–90 Google Scholar

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.Department of Computer and Information ScienceLinköping UniversityLinköpingSweden

Personalised recommendations