Multi-mode virtualization for soft real-time systems

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2018, Pages 117-128

  Li, Haoran ^a   Xu, Meng ^b   Li, Chong ^a   Lu, Chenyang ^a   Gill, Christopher ^a   Phan, Linh ^b   Lee, Insup ^b   Sokolsky, Oleg ^b  

^a WASHINGTON UNIVERSITY   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

M2 Xen; Multi mode Virtualization; Real time Virtualization; RT Xen; Soft Real time System

Indexed keywords

EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SCHEDULING; VIRTUAL REALITY; VIRTUALIZATION;

M2 XEN; MULTIMODES; REAL TIME; RT XEN; SOFT REAL-TIME SYSTEMS;

REAL TIME SYSTEMS;

EID: 85058457259     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2018.00022     Document Type: Conference Paper

References (41)

1. M. García-Valls, T. Cucinotta, and C. Lu, "Challenges in real-time virtualization and predictable cloud computing, " Journal of Systems Architecture, vol. 60, no. 9, pp. 726-740, 2014.
2. I. Shin and I. Lee, "Compositional real-time scheduling framework, " in Real-Time Systems Symposium (RTSS), 2004.
3. L. T. Phan, I. Lee, and O. Sokolsky, "Compositional analysis of multi-mode systems, " in Euromicro Conference on Real-Time Systems (ECRTS), 2010.
4. A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Miku?cionis, U. Nyman, and A. Skou, "Hierarchical scheduling framework based on compositional analysis using uppaal, " in International Workshop on Formal Aspects of Component Software, 2013.
5. S. Xi, J. Wilson, C. Lu, and C. Gill, "RT-Xen: towards real-time hypervisor scheduling in xen, " in Embedded Software (EMSOFT), 2011.
6. F. Checconi, T. Cucinotta, and M. Stein, "Real-time issues in live migration of virtual machines, " in Euro-Par 2009-Parallel Processing Workshops, 2009.
7. Y. Ye, R. West, J. Zhang, and Z. Cheng, "Maracas: A real-time multicore vcpu scheduling framework, " in Real-Time Systems Symposium (RTSS), 2016.
8. "Solution accelerators and services from globallogic, " https://cdn10. globallogic. com/wp-content/uploads/ 2016/12/GlobalLogic-Nautilus-Platform. pdf, accessed: 2017-03-08.
9. "Infotainment and telematics solutions with renesas rcar, " https://goo. gl/sAMdpi, accessed: 2017-10-06.
10. "Integrity multivisor for IVI, " http://www. ghs. com/ products/multivisor infotainment. html, accessed: 2016-10-12.
11. "Xen hypervisor targets automotive virtualization role, " https://goo. gl/Uwj8U3/, accessed: 2017-10-06.
12. "Mentor embedded hypervisor, " ihttps://www. mentor. com/embedded-software/hypervisor, accessed: 2018-01-21.
13. S. Xi, M. Xu, C. Lu, L. T. Phan, C. Gill, O. Sokolsky, and I. Lee, "Real-time multi-core virtual machine scheduling in xen, " in Embedded Software (EMSOFT), 2014.
14. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield, "Xen and the art of virtualization, " in ACM SIGOPS operating systems review, 2003.
15. A. Easwaran, I. Shin, and I. Lee, "Optimal virtual clusterbased multiprocessor scheduling, " Real-Time Systems, vol. 43, no. 1, pp. 25-59, 2009.
16. S. K. Baruah and N. Fisher, "Component-based design in multiprocessor real-time systems, " in International Conference on Embedded Software and Systems (ICESS), 2009.
17. I. Shin, A. Easwaran, and I. Lee, "Hierarchical scheduling framework for virtual clustering of multiprocessors, " in Euromicro Conference on Real-Time Systems (ECRTS), 2008.
18. M. Xu, L. T. X. Phan, O. Sokolsky, S. Xi, C. Lu, C. Gill, and I. Lee, "Cache-aware compositional analysis of real-time multicore virtualization platforms, " Real-Time Systems, vol. 51, no. 6, pp. 675-723, 2015.
19. J. Lee, H. S. Chwa, L. T. Phan, I. Shin, and I. Lee, "MCADAPT: Adaptive task dropping with task-level mode switch in mixed-criticality scheduling, " in Embedded Software (EMSOFT), 2017.
20. D. de Niz and L. T. Phan, "Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms, " in Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
21. A. Burns and S. Baruah, "Towards a more practical model for mixed criticality systems, " in Workshop on Mixed-Criticality Systems (colocated with RTSS), 2013.
22. X. Gu, A. Easwaran, K.-M. Phan, and I. Shin, "Resource efficient isolation mechanisms in mixed-criticality scheduling, " in Euromicro Conference on Real-Time Systems (ECRTS), 2015.
23. J. Ren and L. T. X. Phan, "Mixed-criticality scheduling on multiprocessors using task grouping, " in Euromicro Conference on Real-Time Systems (ECRTS), 2015.
24. P. Huang, P. Kumar, N. Stoimenov, and L. Thiele, "Interference constraint grapha new specification for mixedcriticality systems, " in Emerging Technologies & Factory Automation (ETFA), 2013.
25. J. Real and A. Crespo, "Mode change protocols for realtime systems: A survey and a new proposal, " Real-time systems, vol. 26, no. 2, pp. 161-197, 2004.
26. Y. Li, R. West, Z. Cheng, and E. Missimer, "Predictable communication and migration in the quest-v separation kernel, " in Real-Time Systems Symposium (RTSS), 2014.
27. H. Kim and R. Rajkumar, "Real-time cache management for multi-core virtualization, " in Embedded Software (EMSOFT), Oct 2016, pp. 1-10.
28. M. Xu, L. T. X. Phan, H. Y. Choi, and I. Lee, "vcat: Dynamic cache management using cat virtualization, " in Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017.
29. L. T. X. Phan, J. Lee, A. Easwaran, V. Ramaswamy, S. Chen, I. Lee, and O. Sokolsky, "Carts: A tool for compositional analysis of real-time systems, " SIGBED Rev., vol. 8, no. 1, pp. 62-63, Mar. 2011.
30. A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori, "kvm: the linux virtual machine monitor, " in Proceedings of the Linux symposium, 2007.
31. A. Bastoni, B. B. Brandenburg, and J. H. Anderson, "An empirical comparison of global, partitioned, and clustered multiprocessor edf schedulers, " in Real-Time Systems Symposium (RTSS), 2010.
32. G. Gracioli, A. A. Fröhlich, R. Pellizzoni, and S. Fischmeister, "Implementation and evaluation of global and partitioned scheduling in a real-time os, " Real-Time Systems, vol. 49, no. 6, pp. 669-714, 2013.
33. T. Cucinotta, F. Checconi, G. Kousiouris, K. Konstanteli, S. Gogouvitis, D. Kyriazis, T. Varvarigou, A. Mazzetti, Z. Zlatev, J. Papay et al., "Virtualised e-learning on the irmos real-time cloud, " Service Oriented Computing and Applications, vol. 6, no. 2, pp. 151-166, 2012.
34. M. Drescher, V. Legout, A. Barbalace, and B. Ravindran, "A flattened hierarchical scheduler for real-time virtualization, " Embedded Software (EMSOFT), 2016.
35. A. Lackorzýnski, A. Warg, M. Völp, and H. Härtig, "Flattening hierarchical scheduling, " in Proceedings of the tenth ACM international conference on Embedded software. ACM, 2012, pp. 93-102.
36. Y. Li, R. West, and E. Missimer, "A virtualized separation kernel for mixed criticality systems, " in ACM SIGPLAN Notices, vol. 49, no. 7, 2014, pp. 201-212.
37. E. Missimer, R. West, and Y. Li, "Distributed realtime fault tolerance on a virtualized multi-core system, " Operating Systems Platforms for Embedded Real-Time Application, 2014.
38. A. Burns, "System mode changes-general and criticalitybased, " in Proc. of 2nd Workshop on Mixed Criticality Systems (WMC), 2014, pp. 3-8.
39. K. Tindell and A. Alonso, "A very simple protocol for mode changes in priority preemptive systems, " Universidad Politécnica de Madrid, Tech. Rep, 1996.
40. C. Bailey, "Hard real-time operating system kernel. investigation of mode change, " British Aerospace Systems Ltd, 1993.
41. M. S. Mollison, J. P. Erickson, J. H. Anderson, S. K. Baruah, and J. A. Scoredos, "Mixed-criticality real-time scheduling for multicore systems, " in Computer and Information Technology (CIT), 2010.