Real-Time Systems

, Volume 51, Issue 6, pp 675–723 | Cite as

Cache-aware compositional analysis of real-time multicore virtualization platforms

  • Meng Xu
  • Linh Thi Xuan Phan
  • Oleg Sokolsky
  • Sisu Xi
  • Chenyang Lu
  • Christopher Gill
  • Insup Lee
Article

Abstract

Multicore processors are becoming ubiquitous, and it is becoming increasingly common to run multiple real-time systems on a shared multicore platform. While this trend helps to reduce cost and to increase performance, it also makes it more challenging to achieve timing guarantees and functional isolation. One approach to achieving functional isolation is to use virtualization. However, virtualization also introduces many challenges to the multicore timing analysis; for instance, the overhead due to cache misses becomes harder to predict, since it depends not only on the direct interference between tasks but also on the indirect interference between virtual processors and the tasks executing on them. In this paper, we present a cache-aware compositional analysis technique that can be used to ensure timing guarantees of components scheduled on a multicore virtualization platform. Our technique improves on previous multicore compositional analyses by accounting for the cache-related overhead in the components’ interfaces, and it addresses the new virtualization-specific challenges in the overhead analysis. To demonstrate the utility of our technique, we report results from an extensive evaluation based on randomly generated workloads.

Keywords

Compositional analysis Interface Cache-aware Multicore Virtualization 

Notes

Acknowledgments

This research was supported in part by the ONR N000141310802, NSF CNS-1329984, NSF CNS-1117185, NSF ECCS-1135630, and The Ministry of Knowledge Economy (MKE), Korea, under the Global Collaborative R&D program supervised by the KIAT (M002300089).

References

  1. Barham P, Dragovic B, Fraser K, Hand S, Harris T, Ho A, Neugebauer R, Pratt I, Warfield A (2003) Xen and the art of virtualization. In: SOSPGoogle Scholar
  2. Baruah S, Baker T (2008) Schedulability analysis of global EDF. Real Time Syst 38(3):223–235MATHCrossRefGoogle Scholar
  3. Baruah S, Fisher N (2009) Component-based design in multiprocessor real-time systems. In: ICESSGoogle Scholar
  4. Bastoni A, Brandenburg BB, Anderson JH (2010) Cache-related preemption and migration delays: empirical approximation and impact on schedulability. In: Proceedings of OSPERTGoogle Scholar
  5. Basumallick S, Nilsen K (1994) Cache issues in real-time systems. In: LCTESGoogle Scholar
  6. Bini E, Bertogna M, Baruah S (2009) Virtual multiprocessor platforms: specification and use. In: RTSSGoogle Scholar
  7. Brandenburg BB (2011) Scheduling and locking in multiprocessor real-time operating systems. PhD thesis, The University of North Carolina at Chapel Hill, Chapel HillGoogle Scholar
  8. Brandenburg BB, Leontyev H, Anderson JH (2011) An overview of interrupt accounting techniques for multiprocessor real-time systems. J Syst Archit 57(6):638–654CrossRefGoogle Scholar
  9. Bruns F, Traboulsi S, Szczesny D, Gonzalez E, Xu Y, Bilgic A (2010) An evaluation of microkernel-based virtualization for embedded real-time systems. In: ECRTSGoogle Scholar
  10. Calandrino JM, Leontyev H, Block A, Devi UC, Anderson JH (2006) LITMUS RT: a testbed for empirically comparing real-time multiprocessor schedulers. In: RTSSGoogle Scholar
  11. Crespo A, Ripoll I, Masmano M (2010) Partitioned embedded architecture based on hypervisor: the XtratuM approach. In: EDCCGoogle Scholar
  12. Easwaran A, Anand M, Lee I (2007) Compositional analysis framework using EDP resource models. In: RTSSGoogle Scholar
  13. Easwaran A, Shin I, Lee I (2009) Optimal virtual cluster-based multiprocessor scheduling. Real Time Syst 43(1):25–59MATHCrossRefGoogle Scholar
  14. Guan N, Stigge M, Yi W, Yu G (2009) Cache-aware scheduling and analysis for multicores. In: EMSOFTGoogle Scholar
  15. Hardy D, Piquet T, Puaut I (2009) Using bypass to tighten WCET estimates for multi-core processors with shared instruction caches. In: RTSSGoogle Scholar
  16. Kim T, Peinado M, Mainar-Ruiz G (2012) System-level protection against cache-based side channel attacks in the cloud. In: USENIX securityGoogle Scholar
  17. Lee J, Phan LTX, Chen S, Sokolsky O, Lee I (2011) Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Rev 8(1):38–45CrossRefGoogle Scholar
  18. Lee J, Xi S, Chen S, Phan LTX, Gill C, Lee I, Lu C, Sokolsky O (2012) Realizing compositional scheduling through virtualization. In: RTASGoogle Scholar
  19. Leontyev H, Anderson JH (2008) A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees. In: ECRTSGoogle Scholar
  20. Lipari G, Bini E (2010) A framework for hierarchical scheduling on multiprocessors: from application requirements to run-time allocation. In: RTSSGoogle Scholar
  21. Phan LTX, Xu M, Lee J, Lee I, Sokolsky O (2013) Overhead-aware compositional analysis of real-time systems. In: RTASGoogle Scholar
  22. Sha L, Lehoczky JP, Rajkumar R (1986) Solutions for some practical problems in prioritized preemptive scheduling. In: RTSSGoogle Scholar
  23. Shin I, Lee I (2003) Periodic resource model for compositional real-time guarantees. In: Proceedings of the 24th IEEE real-time systems symposium (RTSS), CancunGoogle Scholar
  24. Shin I, Easwaran A, Lee I (2008) Hierarchical scheduling framework for virtual clustering of multiprocessors. In: ECRTSGoogle Scholar
  25. Xi S, Xu M, Lu C, Phan LTX, Gill C, Sokolsky O, Lee I (2014) Real-time multi-core virtual machine scheduling in Xen. In: EMSOFTGoogle Scholar
  26. Xu M, Phan LTX, Lee I, Sokolsky O, Xi S, Lu C, Gill CD (2013) Cache-aware compositional analysis of real-time multicore virtualization platforms. In: RTSSGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2015

Authors and Affiliations

  • Meng Xu
    • 1
  • Linh Thi Xuan Phan
    • 1
  • Oleg Sokolsky
    • 1
  • Sisu Xi
    • 2
  • Chenyang Lu
    • 2
  • Christopher Gill
    • 2
  • Insup Lee
    • 1
  1. 1.University of PennsylvaniaPhiladelphiaUSA
  2. 2.Washington University in St. LouisSt. LouisUSA

Personalised recommendations