More Web Proxy on the site http://driver.im/

research-article

Compilation and virtualization in the HiPEAC vision

Authors:

Christian Bertin,

Christophe Guillon,

Koen De BosschereAuthors Info & Claims

DAC '10: Proceedings of the 47th Design Automation Conference

Pages 96 - 101

https://doi.org/10.1145/1837274.1837302

Published: 13 June 2010 Publication History

Abstract

This paper describes the HiPEAC vision of embedded virtualization as it has developed during two years of discussion among the members of the HiPEAC cluster on binary translation and virtualization. We start from system virtualization and process virtualization and we gradually develop a vision in which the two merge into one virtualization layer for embedded systems. Such a unified virtualization offers solutions for consolidation, performance optimization, software engineering and dealing with legacy hardware components. Four adoption requirements are identified: support for real-time execution, low performance overhead, virtualization of accelerator cores and finally trustworthiness. Finally, we define four research challenges: full virtualization of heterogeneous multi-core platforms, portable performance for heterogeneous multi-cores, virtual machine management interfaces, and standards for embedded virtualization.

References

[1]

Aho, A. V., Sethi, R., and Ullman, J. D. Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc., 1986

Digital Library

[2]

Bala, V., Duesterwald, E., Banerjia, S. Dynamo: A Transparent Runtime Optimization System. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, ACM, p. 1--12, 2000

Digital Library

[3]

Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., and Warfield, A. Xen and the art of virtualization. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, ACM, p. 164--177, 2003.

Digital Library

[4]

Brakensiek, J., Dröge, A., Botteck, M., Härtig, H., and Lackorzynski, A. Virtualization as an enabler for security in mobile devices. In Proceedings of the 1st Workshop on Isolation and integration in Embedded Systems, ACM, p. 17--22, 2008.

Digital Library

[5]

Chang, M., Smith, E., Reitmaier, R., Bebenita, M., Gal, A., Wimmer, C., Eich, B., and Franz, M. Tracing for web 3.0: trace compilation for the next generation web applications. In Proceedings of the 2009 ACM SIGPLAN/SIGOPS international Conference on Virtual Execution Environments, ACM, p. 71--80, 2009.

Digital Library

[6]

Combaz, J., Fernandez, J., Lepley, T., and Sifakis, J. QoS control for optimality and safety. In Proceedings of the 5th ACM international Conference on Embedded Software, ACM, p. 90--99, 2005.

Digital Library

[7]

Cornero, M., Costa, R., Pascual, R. F., Ornstein, A. C. and Rohou, E. An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems. In HiPEAC 2008, LNCS 4917, Springer Verlag, p. 130--144, 2008.

Digital Library

[8]

Criswell, J., Lenharth, A., Dhurjati, D., and Adve, V. Secure virtual architecture: a safe execution environment for commodity operating systems. In Proceedings of Twenty-First ACM SIGOPS Symposium on Operating Systems Principles, ACM, p. 351--366, 2007.

Digital Library

[9]

Debaere, E. H. and Campenhout, J. M. Interpretation and Instruction Path Coprocessing. MIT Press, 1990.

Digital Library

[10]

Gheorghita, S. V., Palkovic, M., Hamers, J., Vandecappelle, A., Mamagkakis, S., Basten, T., Eeckhout, L., Corporaal, H., Catthoor, F., Vandeputte, F., and De Bosschere, K. System-scenario-based design of dynamic embedded systems. ACM Trans. Des. Autom. Electron. Syst. 14(1):1--45, 2009.

Digital Library

[11]

Hunt, G. C. and Larus, J. R. Singularity: rethinking the software stack. SIGOPS Operating Systems Review 41(2):37--49, 2007.

Digital Library

[12]

Inoue, H., Ikeno, A., Kondo, M., Sakai, J., and Edahiro, M. VIRTUS: a new processor virtualization architecture for security-oriented next-generation mobile terminals. In Proceedings of the 43rd Annual Design Automation Conference, ACM, p. 484--489, 2006.

Digital Library

[13]

Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., and Winwood, S. seL4: formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems ACM, p. 207--220, 2009.

Digital Library

[14]

Myreen, M. O. 2010. Verified just-in-time compiler on x86. In Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, p. 107--118, 2010.

Digital Library

[15]

Popek, G. J. and Goldberg, R. P. Formal requirements for virtualizable third generation architectures. Communications of the ACM 17(7):412--421, 1974.

Digital Library

[16]

Richards, M. BCPL: a tool for compiler writing and system programming. In Proceedings of the Spring Joint Computer Conference, ACM, p. 557--566, 1969.

Digital Library

[17]

Embedded Xen, http://sourceforge.net/projects/embeddedxen/

[18]

ISV, http://www.ghs.com/products/rtos/integrity_virtualization.html

[19]

MVP, http://www.vmware.com/products/mobile/index.html

[20]

OKL4, http://www.ok-labs.com/products/okl4-microvisor

[21]

Portmeirion project at sun: http://research.sun.com/projects/dashboard.php?id=193

[22]

VLX, http://www.virtuallogix.com/solutions/product.html

Cited By

Aguiar AHessel F(2019)Current Techniques and Future Trends in ES's VirtualizationSoftware—Practice & Experience10.1002/spe.115642:7(917-944)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1002/spe.1156
Siozios KDanassis PZompakis NKorkas CKosmatopoulos ESoudris D(2016)Supporting Decision Making for Large-Scale IoTs: Trading Accuracy with Computational ComplexityComponents and Services for IoT Platforms10.1007/978-3-319-42304-3_12(233-250)Online publication date: 24-Sep-2016
https://doi.org/10.1007/978-3-319-42304-3_12
Aguiar AMoratelli CSartori MHessel F(2014)Adding virtualization support in MIPS 4Kc-based MPSoCsFifteenth International Symposium on Quality Electronic Design10.1109/ISQED.2014.6783310(84-90)Online publication date: Mar-2014
https://doi.org/10.1109/ISQED.2014.6783310
Show More Cited By

Index Terms

Compilation and virtualization in the HiPEAC vision
1. Hardware
  1. Communication hardware, interfaces and storage
2. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems

Recommendations

Effects of dynamic isolation for full virtualized RTOS and GPOS guests

Industrial systems currently include not only control processing with real-time operating system (RTOS) but also information processing with general-purpose operating system (GPOS). Multicore-based virtualization is an attractive option to provide ...
Exploring embedded systems virtualization using MIPS virtualization module
CF '16: Proceedings of the ACM International Conference on Computing Frontiers

Embedded virtualization has emerged as a valuable way to increase security, reduce costs, improve software quality and decrease design time. The late adoption of hardware-assisted virtualization in embedded processors induced the development of ...
Improving machine virtualisation with 'hotplug memory'

Machine virtualisation is a key technology for server consolidation and on-demand server provisioning. To support this trend, it is essential to improve the performance of virtualisation software and enable the efficient running of many virtual ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '10: Proceedings of the 47th Design Automation Conference

June 2010

1036 pages

ISBN:9781450300025

DOI:10.1145/1837274

General Chair:
Sachin Sapatnekar
Univ. of Minnesota, Minneapolis, MN

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

EDAC: Electronic Design Automation Consortium
SIGDA: ACM Special Interest Group on Design Automation
IEEE-CEDA

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 June 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Seventh Framework Programme

Conference

DAC '10

Sponsor:

EDAC
SIGDA

DAC '10: The 47th Annual Design Automation Conference 2010

June 13 - 18, 2010

California, Anaheim

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
274
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Aguiar AHessel F(2019)Current Techniques and Future Trends in ES's VirtualizationSoftware—Practice & Experience10.1002/spe.115642:7(917-944)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1002/spe.1156
Siozios KDanassis PZompakis NKorkas CKosmatopoulos ESoudris D(2016)Supporting Decision Making for Large-Scale IoTs: Trading Accuracy with Computational ComplexityComponents and Services for IoT Platforms10.1007/978-3-319-42304-3_12(233-250)Online publication date: 24-Sep-2016
https://doi.org/10.1007/978-3-319-42304-3_12
Aguiar AMoratelli CSartori MHessel F(2014)Adding virtualization support in MIPS 4Kc-based MPSoCsFifteenth International Symposium on Quality Electronic Design10.1109/ISQED.2014.6783310(84-90)Online publication date: Mar-2014
https://doi.org/10.1109/ISQED.2014.6783310
Aguiar AMoratelli CSartori MHessel F(2012)Hardware-assisted virtualization targeting MIPS-based SoCs2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP)10.1109/RSP.2012.6380683(2-8)Online publication date: Oct-2012
https://doi.org/10.1109/RSP.2012.6380683
Rohou EOrnstein ACornero M(2010)CLI-based compilation flows for the C language2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation10.1109/ICSAMOS.2010.5642069(162-169)Online publication date: Jul-2010
https://doi.org/10.1109/ICSAMOS.2010.5642069

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents