Optimization-based dynamic reconfiguration of real-time schedulers with support for stochastic processor consumption

IEEE Transactions on Industrial Informatics

Volumn 6, Issue 4, 2010, Pages 594-609

  Camponogara, Eduardo ^a   De Oliveira, Augusto Born ^a   Lima, George ^b  

^a FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

^b FEDERAL UNIVERSITY OF BAHIA   (Brazil)

Author keywords

Approximation algorithms; optimization; real time systems; scheduling algorithms

Indexed keywords

APPROXIMATE SOLUTION; AUDIO DATA; AUTONOMOUS ROBOT; BANDWIDTH RESERVATION; CAPTURE IMAGES; CONTINUOUS MODELS; DYNAMIC RE-CONFIGURATION; EXTENSIVE SIMULATIONS; HARDWARE AND SOFTWARE; LIGHT CONDITIONS; MULTIMEDIA PLAYER; NP-HARD PROBLEM; OPERATION MODE; OPTIMIZATION PROBLEMS; POLYNOMIAL SOLUTION; PROCESSING BANDWIDTHS; REAL-TIME SCHEDULERS; RECONFIGURATION MECHANISMS; SCHEDULABILITY; SCHEDULING MECHANISM; SCHEDULING PARAMETERS; STOCHASTIC MODELING; TASK EXECUTIONS; USER REQUIREMENTS;

BANDWIDTH; COMPUTATIONAL COMPLEXITY; DATA PROCESSING; DYNAMIC MODELS; DYNAMICS; OPTIMIZATION; POLYNOMIALS; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES; REAL TIME SYSTEMS; SCHEDULING ALGORITHMS; STOCHASTIC SYSTEMS;

APPROXIMATION ALGORITHMS;

EID: 78149471619     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2010.2053937     Document Type: Article

References (56)

1. C. L. Liu, J. W. Layland. Scheduling algorithms for multiprogram in a hard real-time environment," J. ACM, 20. no. 1. 40-61, 1973.
2. C. W. Mercer, S. Savage, and H. Tokuda, "Processor capacity reserves for multimedia operating systems," Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU-CS-93-157, 1993.
3. G. Buttazzo, "Research trends in real-time computing for embedded systems," ACM SIGBED Review, vol. 3, no. 3, 2006.
4. L. Abeni and G. Buttazzo, "Resource reservation in dynamic real-time systems," Real-Time Syst., vol. 27, no. 2, pp. 123-167, 2004.
5. S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge, U.K.: Cambridge Univ. Press, 2004.
6. G. Koren and D. Shasha, "Skip-over: Algorithms and complexity for overloaded systems that allow skips," in Proc. 16th IEEE Real-Time Syst. Symp., 1995, pp. 110-117.
7. G. Bernat, A. Burns, and A. Llamosi, "Weakly hard real-time systems," IEEE Trans. Comput., vol. 50, no. 4, pp. 308-321, 2001.
8. P. Ramanathan and M. Hamdaoui, "A dynamic priority assignment technique for streams with (m, k)-firm deadlines," IEEE Trans. Comput., vol. 44, no. 12, pp. 1443-1451, Dec. 1995.
9. G. Buttazzo and J. Stankovic, "RED: Robust earliest deadline scheduling," in Proc. 3rd Int. Workshop on Responsive Comput. Syst., 1993, pp. 100-111.
10. G. Beccari, S. Caselli, and F. Zanichelli, "A technique for adaptive scheduling of soft real-time tasks," Real-Time Syst., vol. 30, no. 3, pp. 187-215, 2005.
11. G. Buttazzo and L. Abeni, "Adaptive workload management through elastic scheduling," Real-Time Syst., vol. 23, no. 1-2, pp. 7-24, 2002. (Pubitemid 34658880)
12. T.-W. Kuo and A. K. Mok, "Incremental reconfiguration and load adjustment in adaptive real-time systems," IEEE Trans. Comput., vol. 46, no. 12, pp. 1313-1324, Dec. 1997.
13. P. Martí, C. Lin, S. A. Brandt, M. Velasco, and J. M. Fuertes, "Draco: Efficient resource management for resource-constrained control tasks," IEEE Trans. Comput., vol. 58, no. 1, pp. 90-105, Jan. 2009.
14. G. Lima, E. Camponogara, and A. C. Sokolonski, "Dynamic reconfiguration for adaptive multiversion real-time systems," in Proc. 20th IEEE Euromicro Conf. Real-Time Syst., 2008, pp. 115-124.
15. J. Jehuda and A. Israeli, "Automated meta-control for adaptable realtime software," Real-Time Syst., vol. 14, no. 2, pp. 107-134, 1998.
16. C. Rusu, R. Melhem, and D. Mossé, "Multi-version scheduling in rechargeable energy-aware real-time systems," J. Embedded Computing, vol. 1, no. 2, pp. 271-283, 2005.
17. C. Lee, J. P. Lehoczky, R. Rajkumar, and D. Siewiorek, "On quality of service optimization with discrete QoS options," in Proc. 5th IEEE Real-Time Technol. Appl. Symp., 1999, pp. 276-286.
18. C. Lee, J. Lehoczky, D. S. R. Rajkumar, and J. Hansen, "A scalable solution to the multi-resource QoS problem," in Proc. 20th IEEE RealTime Syst. Symp., 1999, pp. 315-326.
19. P. Zhou, J. Xie, and X. Deng, "Optimal feedback scheduling of model predictive controllers," J. Control Theory and Applications, vol. 4, no. 2, pp. 175-180, 2006.
20. L. Abeni and G. Buttazzo, "Adaptive bandwidth reservation for multimedia computing," in Proc. 6th IEEE Int. Conf. Real-Time Comput. Syst. Appl. (RTCSA'99), 1999, pp. 70-77.
21. L. Abeni, L. Palopoli, G. Lipari, and J. Walpole, "Analysis of a reservation-based feedback scheduler," in Proc. 23rd IEEE Real-Time Syst. Symp., 2002, pp. 71-80.
22. L. Palopoli, T. Cucinotta, and A. Bicchi, "Quality of service control in soft real-time applications," in Proc. 42nd IEEE Conf. Decision Control, 2003, pp. 664-669.
23. C. Lu, J. A. Stankovic, T. F. Abdelzaher, G. Tao, S. H. Son, and M. Marley, "Performance specifications and metrics for adaptive real-time systems," in Proc. 21st IEEE Real-Time Syst. Symp., 2000, pp. 13-23.
24. A. B. de Oliveira, E. Camponogara, and G. Lima, "Dynamic reconfiguration in reservation-based scheduling: An optimization approach," in Proc. 15th IEEE Real-Time and Embedded Technol. Appl. Symp., 2009.
25. A. B. de Oliveira, E. Camponogara, and G. Lima, "Experimental analysis of bandwidth reservation adaptive schemes for real-time systems," in Proc. 11th Workshop on Real-Time and Embedded Syst., 2009, pp. 81-92.
26. E. D. Jensen, C. D. Locke, and H. Tokuda, "A time driven scheduling model for real-time operating systems," in Proc. 6th IEEE Real-Time Syst. Symp., 1985, pp. 112-122.
27. S. A. Aldarmi and A. Burns, "Dynamic value-density for scheduling real-time systems," in Proc. 11th Euromicro Conf. Real-Time Syst., 1999, pp. 270-277.
28. G.Buttazzo, M.Spuri, and F.Sensini, "Value vs. deadline scheduling in overload conditions," in Proc. 16th IEEE Real-Time Syst. Symp., 1995, pp. 90-99.
29. R. Davis, S. Punnekkat, N. Audsley, and A. Burns, "Flexible scheduling for adaptable real-time systems," in Proc. 1st IEEE Real-Time Technol. Appl. Symp., May 1995, pp. 230-239.
30. C. Lu, J. A. Stankovic, S. H. Son, and G. Tao, "Feedback control realtime scheduling: Framework, modeling, and algorithms," Real-Time Syst., vol. 23, no. 1-2, pp. 85-126, 2002.
31. C. Tres, L. B. Becker, and E. Nett, "Real-time tasks scheduling with value control to predict timing faults during overload," in Proc. 10th IEEE Int. Symp. Object and Component-Oriented Real-Time Distrib. Comput., 2007, pp. 354-358.
32. D. Prasad and A. Burns, "A value-based scheduling approach for real-time autonomous vehicle control," Robotica, vol. 18, no. 3, pp. 273-279, 2000.
33. A. Burns, D. Prasad, A. Bondavalli, F. D. Giandomenico, K. Ramam-ritham, J. Stankovic, and L. Strigini, "The meaning and role of value in scheduling flexible real-time systems," J. Syst. Architecture, vol. 46, no. 4, pp. 305-325, 2000.
34. A. B. de Oliveira, E. Camponogara, and G. Lima, "Dynamic reconfiguration of constant bandwidth servers," in Proc. 10th Workshop on Real-Time and Embedded Syst., 2008, pp. 37-44.
35. M. Simões, G. Lima, and E. Camponogara, "A GA-based approach to dynamic reconfiguration of real-time systems," in Proc. 1st Workshop on Adaptive Embedded Syst., 2008, pp. 43-46.
36. R. Perrone, R. Macêdo, G. Lima, and V. M. C. Lima, "A statistical method for estimating execution time probability distributions of component-based real-time systems," J. Universal Comput. Sci., vol. 15, no. 11, pp. 2142-2165, 2009.
37. G.Bernat, A.Colin, and S. M. Petters, "WCET analysis of probabilistic hard real-time systems," in Proc. 23rd IEEE Real-Time Syst. Symp. (RTSS'02), 2002, pp. 279-288.
38. K. Kim, J. L. Diaz, J. M. Lopez, L. L. Bello, C.-G. Lee, and S. L. Min, "An exact stochastic analysis of priority-driven periodic real-time systems and its approximations," IEEE Trans. Comput., vol. 54, no. 11, pp. 1460-1466, Nov. 2005.
39. J. P. Lehosczky, "Real-time queueing theory," in Proc. 17th Real-Time Syst. Symp., 1996, pp. 186-195.
40. S. Manolache, P. Eles, and Z. Peng, "Memory and time-efficient schedulability analysis of task sets with stochastic execution time," in Proc. 13th IEEE Euromicro Conf. Real-Time Syst., 2001, pp. 19-26.
41. M. Caccamo, G. C. Buttazzo, and D. C. Thomas, "Efficient reclaiming in reservation-based real-time systems with variable execution times," IEEE Trans. Comput., vol. 54, no. 2, pp. 198-213, Feb. 2005.
42. M. Caccamo, G. Buttazzo, and L. Sha, "Capacity sharing for overrun control," in Proc. 21st IEEE Real-Time Syst. Symp., 2000, pp. 295-304.
43. G. Lipari and S. Baruah, "Greedy reclamation of unused bandwidth in constant-bandwidth servers," in Proc. 12th Euromicro Conf. Real-Time Syst., 2000, pp. 193-200.
44. B. Andersson, "Uniprocessor EDF scheduling with mode change," in Proc. Principles of Distrib. Syst., 2008, vol. 5401, pp. 572-577, ser. LNCS, Springer.
45. L. A. Wolsey, Integer Programming. New York: Wiley, 1998.
46. A. B. de Oliveira, "A framework for dynamic reconfiguation of real-time schedulers: Models, algorithms, and applications," (in Portuguese) M.S. thesis, Graduate Program in Automation and Systems Engineering, Federal University of Santa Catarina, Florianópolis, Brazil, 2009.
47. V. V. Vazirani, Approximation Algorithms. Berlin, Germany:
48. J. R. Birge and F. Louveaux, Introduction to Stochastic Programming. Berlin, Germany: Springer-Verlag, 1997.
49. A. Charnes and W. W. Cooper, "Deterministic equivalents for optimizing and satisficing under chance constraints," Oper. Res., vol. 11, pp. 18-39, 1963.
50. A. Leon-Garcia, Probability and Random Processes for Electrical Engineering. Reading, MA: Addison-Wesley, 1994.
51. F. Alizadeh and D. Goldfarb, "Second-order cone programming," Mathematical Programming, vol. 95, no. 1, pp. 3-51, 2003.
52. D. P. Bertsekas, Nonlinear Programming. Belmont, MA: Athena Scientific, 1995.
53. R. Horst, P. M. Pardalos, and N. V. Thoai, Introduction to Global Optimization (Nonconvex Optimization and Its Applications). New York: Springer, 2000.
54. R. Horst and H. Tuy, Global Optimization: Deterministic Approaches. New York: Springer, 2003.
55. Ffmpeg, Nov. 2009. [Online]. Available: http://ffmpeg.org
56. GLPK-GNU Linear Programming Kit, Nov. 2009. [Online]. Available: http://www.gnu.org/software/glpk