Evaluation of dynamic binary translation techniques for full system virtualisation on ARMv7-A

Journal of Systems Architecture

Volumn 65, Issue , 2016, Pages 30-45

  Penneman, Niels ^a   Kudinskas, Danielius ^b   Rawsthorne, Alasdair ^b   De Sutter, Bjorn ^a   De Bosschere, Koen ^a  

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Binary translation; Hypervisor; Instruction set architecture; Virtual machine monitor; Virtualisation

Indexed keywords

ARM PROCESSORS; BENCHMARKING; BINS; MEMORY ARCHITECTURE; OPEN SOURCE SOFTWARE; OPEN SYSTEMS; SOFTWARE ENGINEERING; VIRTUAL REALITY;

BINARY TRANSLATION; HYPERVISOR; INSTRUCTION SET ARCHITECTURE; VIRTUAL MACHINE MONITORS; VIRTUALISATION;

COMPUTER ARCHITECTURE;

EID: 84977962732     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysarc.2016.03.001     Document Type: Article

References (54)

1. K. Adams, and O. Agesen A comparison of software and hardware techniques for x86 virtualization Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS-XII 2006 ACM New York, NY, USA 2 13
2. Z. Amsden, D. Arai, D. Hecht, A. Holler, and P. Subrahmanyam VMI: an interface for paravirtualization Proceedings of the Linux Symposium volume 2 of 2006 Linux Symposium July 2006 371 386
3. ® Architecture Reference Manual: ARMv7-A and ARMv7-R edition, ARM Limited, ARM DDI 0406C.c (ID051414) edition, May 2014.
4. F. Armand, and M. Gien A practical look at micro-kernels and virtual machine monitors 6th IEEE Consumer Communications and Networking Conference CCNC 2009 2009 IEEE Piscataway, New Jersey, USA 1 7
5. F. Armand, G. Muller, J.L. Lawall, and J. Berniolles Automating the port of Linux to the VirtualLogix hypervisor using semantic patches 4th European Congress ERTS Embedded Real Time Software ERTS 2008 2008 1 7
6. B-Labs Ltd., Codezero project overview, 2012. URL https://web.archive.org/web/20120101123359/ http://www.l4dev.org/codezero-overview.
7. 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 SIGOPS Oper Syst Rev 37 2003 164 177
8. K. Barr, P. Bungale, S. Deasy, V. Gyuris, P. Hung, C. Newell, H. Tuch, and B. Zoppis The VMware mobile virtualization platform: Is that a hypervisor in your pocket? SIGOPS Oper Syst Rev 44 2010 124 135
9. F. Bellard QEMU, a fast and portable dynamic translator Proceedings of the USENIX 2005 Annual Technical Conference, FREENIX Track USENIX '05 2005 USENIX Association Berkeley, CA, USA 41 46
10. P. Bungale, ARM virtualization: CPU & MMU issues, December 2010. URL https://labs.vmware.com/download/68.
11. P.P. Bungale, and C.-K. Luk PinOS: A programmable framework for whole-system dynamic instrumentation Proceedings of the 3rd International Conference on Virtual Execution Environments VEE '07 2007 ACM New York, NY, USA 137 147
12. J.-Y. Chen, B.-Y. Shen, Q.-H. Ou, W. Yang, and W.-C. Hsu Effective code discovery for arm/thumb mixed isa binaries in a static binary translator Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems CASES '13 2013 IEEE Press Piscataway, NJ, USA 19:1 19:10
13. C. Cifuentes, and V.M. Malhotra Binary translation: Static, dynamic, retargetable? Proceedings of the 1996 International Conference on Software Maintenance ICSM '96 November 1996 IEEE 340 349
14. CORDIS, Report on the EC workshop on virtualisation, consultation workshop "virtualisation in computing", September 2009. URL ftp://ftp.cordis.europa.eu/pub/fp7/ict/docs/computing/report-on-theec-workshop-on-virtualisation-en.pdf.
15. C. Dall, and J. Nieh KVM for ARM Proceedings of the 12th Annual Linux Symposium July 2010 45 56
16. C. Dall, and J. Nieh KVM/ARM: Experiences building the linux ARM hypervisor technical report CUCS-010-13 April 2013 Columbia University, Department of Computer Science
17. C. Dall, and J. Nieh KVM/ARM: The design and implementation of the Linux ARM hypervisor Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS '14 2014 ACM New York, NY, USA 333 348
18. S.W. Devine, L.S. Rogel, P.P. Bungale, G.A. Fry, Virtualization with in-place translation, December 2009, URL http://www.google.com/patents/US20090300645. US Patent App. 12/466,343; original assignee: VMware Inc.
19. J.-H. Ding, C.-J. Lin, P.-H. Chang, C.-H. Tsang, W.-C. Hsu, and Y.-C. Chung ARMvisor: System virtualization for ARM Proceedings of the Linux Symposium July 2012 93 107
20. M. Duranton, S. Yehia, B. De Sutter, K. De Bosschere, A. Cohen, B. Falsafi, G. Gaydadjiev, M. Katevenis, J. Maebe, H. Munk, N. Navarro, A. Ramirez, O. Temam, M. Valero, The HiPEAC vision, 2010. URL http://www.hipeac.net/roadmap.
21. D.R. Ferstay Fast Secure Virtualization for the ARM Platform June 2006 The University of British Columbia, Faculty of Graduate Studies (Computer Science) Master's thesis
22. M.R. Guthaus, J.S. Ringenberg, D. Ernst, T.M. Austin, T. Mudge, and R.B. Brown Mibench: A free, commercially representative embedded benchmark suite Proceedings of the Workload Characterization, 2001. WWC-4. 2001 IEEE International Workshop WWC '01 2001 IEEE Computer Society Washington, DC, USA 3 14 10.1109/WWC.2001.15
23. K. Hazelwood, and A. Klauser A dynamic binary instrumentation engine for the arm architecture Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems CASES '06 2006 ACM New York, NY, USA 261 270 10.1145/1176760.1176793
24. T. Heinz, and R. Wilhelm Towards device emulation code generation Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, Compilers, and Tools for Embedded Systems LCTES '09 2009 ACM New York, NY, USA 109 118
25. G. Heiser The Motorola Evoke QA4 - A case study in mobile virtualization Technology White Paper July 2009 Open Kernel Labs
26. G. Heiser, and B. Leslie The okl4 microvisor: Convergence point of microkernels and hypervisors Proceedings of the first ACM asia-pacific workshop on Workshop on systems APSys '10 2010 ACM New York, NY, USA 19 24
27. J.D. Hiser, D. Williams, W. Hu, J.W. Davidson, J. Mars, and B.R. Childers Evaluating indirect branch handling mechanisms in software dynamic translation systems Proceedings of the International Symposium on Code Generation and Optimization CGO '07 2007 IEEE Computer Society Washington, DC, USA 61 73 10.1109/CGO.2007.10
28. R.N. Horspool, and N. Marovac An approach to the problem of detranslation of computer programs Comput. J. 23 3 1980 223 229
29. P.L. Hung Varmosa: just-in-time binary translation of operating system kernels. 2009 Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science
30. J.-Y. Hwang, S.-B. Suh, S.-K. Heo, C.-J. Park, J.-M. Ryu, S.-Y. Park, and C.-R. Kim Xen on ARM: System virtualization using Xen hypervisor for ARM-based secure mobile phones 5th IEEE Consumer Communications and Networking Conference CCNC 2008 2008 IEEE Piscataway, New Jersey, USA 257 261
31. IBM, PowerVM Lx86 for x86 Linux applications, 2011. URL http://www.ibm.com/developerworks/linux/lx86/index.html.
32. H. Inoue, A. Ikeno, M. Kondo, J. Sakai, and M. Edahiro VIRTUS: A new processor virtualization architecture for security-oriented next-generation mobile terminals Proceedings of the 43rd annual Design Automation Conference DAC '06 2006 ACM New York, NY, USA 484 489
33. D.R. Kaeli, and P.G. Emma Branch history table prediction of moving target branches due to subroutine returns Proceedings of the 18th Annual International Symposium on Computer Architecture ISCA '91 1991 ACM New York, NY, USA 34 42 10.1145/115952.115957
34. R. Kaiser, and S. Wagner The PikeOS Concept - History and Design Whitepaper 2008 SYSGO AG
35. S.-M. Lee, S.-B. Suh, and J.-D. Choi Fine-grained I/O access control based on Xen virtualization for 3G/4G mobile devices Proceedings of the 47th Design Automation Conference DAC '10 2010 ACM New York, NY, USA 108 113
36. J. LeVasseur, V. Uhlig, Y. Yang, M. Chapman, P. Chubb, B. Leslie, and G. Heiser Pre-virtualization: Soft layering for virtual machines 13th Asia-Pacific Computer Systems Architecture Conference ACSAC 2008 2008 IEEE Computer Society Los Alamitos, California, USA 1 9
37. L. McVoy, and C. Staelin Lmbench: Portable tools for performance analysis Proceedings of the 1996 Annual Conference on USENIX Annual Technical Conference ATEC '96 1996 USENIX Association Berkeley, CA, USA http://dl.acm.org/citation.cfm?id=1268299.1268322
38. R.W. Moore, J.A. Baiocchi, B.R. Childers, J.W. Davidson, and J.D. Hiser Addressing the challenges of DBT for the ARM architecture Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems LCTES '09 2009 ACM New York, NY, USA 147 156
39. N. Penneman, D. Kudinskas, A. Rawsthorne, B. De Sutter, and K. De Bosschere Formal virtualization requirements for the arm architecture J Syst Architect 59 3 2013 144 154
40. G.J. Popek, and R.P. Goldberg Formal requirements for virtualizable third generation architectures Commun ACM 17 1974 412 421
41. Red Bend Software, vLogix Mobile for mobile virtualization, 2014, URL https://www.redbend.com/en/products-solutions/mobile-virtualization/vlogix-mobile-for-mobile-vitrualization
42. R. Russell Virtio: Towards a de-facto standard for virtual I/O devices SIGOPS Oper Syst Rev 42 2008 95 103
43. A. Smirnov, KVM-ARM hypervisor on Marvell Armada-XP board, 2012. Talk at Cloud Computing Research Center for Mobile Applications (CCMA) Low Power Workshop (Taipei). URL ftp://220.135.227.11/Low-Power%20Workshop%202012%20June%204th%20PDF/Low-Power%20Workshop%202012%20June%204th%20PDF/07-CCMA-workshop-taipei.pdf.
44. A. Smirnov, M. Zhidko, Y. Pan, P.-J. Tsao, K.-C. Liu, and T.-C. Chiueh Evaluation of a server-grade software-only arm hypervisor Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing CLOUD '13 2013 IEEE Computer Society Washington, DC, USA 855 862
45. B. Smith ARM and Intel battle over the mobile chip's future Computer 41 5 2008 15 18
46. J. Smith, and R. Nair Virtual Machines: Versatile Platforms for Systems and Processes The Morgan Kaufmann Series in Computer Architecture and Design 2005 Morgan Kaufmann Publishers Inc. San Francisco, California, USA
47. S. Sridhar, J.S. Shapiro, E. Northup, and P.P. Bungale Hdtrans: An open source, low-level dynamic instrumentation system Proceedings of the 2Nd International Conference on Virtual Execution Environments VEE '06 2006 ACM New York, NY, USA 175 185 10.1145/1134760.1220166
48. SYSGO AG, PikeOS comes with full virtualization for Renesas R-CAR H2, 2014, URL http://www.sysgo.com/news-events/press/press/details/article/pikeos-comes-with-fullvirtualization-for-renesas-r-car-h2/.
49. TRANGO Virtual Processors, Virtualization for mobile, 2009, URL https://web.archive.org/web/20090103050359/ http://www.trango-vp.com/markets/mobile-handset/usecases.php.
50. P. Varanasi, and G. Heiser Hardware-supported virtualization on ARM Proceedings of the 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (Shangai, China) APSys 2011 July 2011 ACM New York, NY, USA 11:1 11:5
51. VirtualLogix, VLX for mobile handsets, 2009, URL https://web.archive.org/web/20090308134358/ http://www.virtuallogix.com/products/vlx-for-mobile-handsets.html.
52. Y. Wu, S. Hu, E. Borin, and C. Wang A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization CGO 2011 April 2011 IEEE Computer Society Piscataway, New Jersey, USA 236 245
53. Xen Project, Xen ARM with virtualization extensions whitepaper, April 2014. URL http://wiki.xen.org/wiki/Xen-ARM-with-Virtualization-Extensions-whitepaper
54. Xvisor, eXtensible Versatile hypervISOR, URL http://xhypervisor.org.