Processor virtualization and split compilation for heterogeneous multicore embedded systems

Proceedings - Design Automation Conference

Volumn , Issue , 2010, Pages 102-107

  Cohen, Albert ^a,b   Rohou, Erven ^b,c  

^a INRIA SACLAY   (France)

^b HiPEAC Network   (France)

^c INRIA   (France)

Author keywords

Annotations; Back end optimization; Bytecode language; Heterogeneous multicore; Portable performance; Specialization; Split compilation; Vectorization; Virtualization

Indexed keywords

COMPUTER AIDED DESIGN; EMBEDDED SYSTEMS; PROGRAM COMPILERS; VIRTUAL REALITY; VIRTUALIZATION;

ANNOTATIONS; BACK ENDS; BYTECODE LANGUAGES; HETEROGENEOUS MULTICORE; PORTABLE PERFORMANCE; SPECIALIZATION; SPLIT COMPILATION; VECTORIZATION;

C++ (PROGRAMMING LANGUAGE);

EID: 77956201402     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1837274.1837303     Document Type: Conference Paper

References (45)

1. K. Asanović, R. Bodik, B. Catanzaro, J. Gebis, P. Husbands, K. Keutzer, D. Patterson, W. Plishker, J. Shalf, S. Williams, and K. Yelik. The Landscape of Parallel Computing Research: A View from Berkeley. Technical Report UCB/EECS-2006-183, EECS Dept., University of California at Berkeley, Dec. 2006
2. A. Azevedo, A. Nicolau, and J. Hummel. Java annotation-aware just-in-time (AJIT) compilation system. In Java Grande, pages 142-151, 1999
3. V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent dynamic optimization system. In Proc. Of the Conference on Programming Language Design and Implementation, pages 1-12, June 2000
4. R. L. Bocchino, Jr. and V. S. Adve. Vector LLVA: a virtual vector instruction set for media processing. In VEE'06: Proceedings of the 2nd International Conference on Virtual Execution Environments, pages 46-56, New York, NY, USA, 2006. ACM
5. F. Bodin, T. Kisuki, P. Knijnenburg, M. O'Boyle, and E. Rohou. Iterative compilation in a non-linear optimisation space. In Workshop on Profile and Feedback-Directed Compilation, in Conjunction with PACT'98, Paris, France, Oct. 1998
6. U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan. A practical automatic polyhedral parallelization and locality optimization system. In ACM SIGPLAN Conf. on Programming Languages Design and Implementation (PLDI'08), Tucson, AZ, USA, June 2008
7. F. Bouchez, A. Darte, and F. Rastello. On the complexity of spill everywhere under SSA form. In LCTES'07, pages 103-112, 2007
8. S. Campanoni, G. Agosta, and S. Crespi Reghizzi. Aparallel dynamic compiler for CIL bytecode. SIGPLAN Not., 43(4):11-20, 2008
9. D. Cann. Retire Fortran?: a debate rekindled. Comm. of the ACM, 35(8), 1992
10. W. Cazzola, A. Cisternino, and D. Colombo. [a]C#: C# with a Customizable Code Annotation Mechanism. In Proc. of the 10th Symp. on Applied Computing, pages 1274-1278, Santa Fe, NM, 2005
11. Computing Systems Consultation Meeting. Research Challenges for Computing Systems - ICT Workprogramme 2009-2010. European Commission -Information Society and Media, Braga, Portugal, Nov.2007
12. C. Consel, L. Hornof, R. Marlet, G. Muller, S. Thibault, E.-N. Volanschi, J. Lawall, and J. Noyé. Tempo: specializing systems applications and beyond. ACM Comput. Surv., 1998
13. M. Cornero, R. Costa, R. Fernández Pascual, A. C. Ornstein, and E. Rohou. An Experimental Environment Validating the Suitability of CLI as an Effective Deployment Format for Embedded Systems. In HiPEAC'08, volume 4917 of Lecture Notes in Computer Science, pages 130-144, Göteborg, Sweden, Jan. 2008
14. R. Costa, A. Ornstein, and E. Rohou. CLI Back-End in GCC. In GCC Developers' Summit, pages 111-116, Ottawa, Canada, July 2007
15. R. Costa and E. Rohou. Comparing the Size of .NET Applications with Native Code. In Proc. of the 3rd International Conference on Hardware/Software Codesign and System Synthesis, pages 99-104, Jersey City, NJ, USA, 2005
16. K. De Bosschere, W. Luk, X. Martorell, N. Navarro, M. O'Boyle, D. Pnevmatikatos, A. Ramirez, P. Sainrat, A. Seznec, P. Stenström, and O. Temam. High-Performance Embedded Architecture and Compilation Roadmap, volume 4050/2007 of Lecture Notes in Computing Science, pages 5-29. Springer-Verlag, 2007
17. G. Desoli, N. Mateev, E. Duesterwald, P. Faraboschi, and J. Fisher. DELI: a new run-time control point. In Proc. of 35th Annual International Symposium on Microarchitecture, pages 257-268, Istanbul, Turkey, Nov. 2002
18. B. Diouf, J. Cavazos, A. Cohen, and F. Rastello. Split register allocation: Linear complexity without the performance penalty. In HiPEAC'10, LNCS, Pisa, Italy, Jan. 2010. Springer-Verlag
19. ECMA International, Rue du Rhône 114, 1204 Geneva, Switzerland. Common Language Infrastructure (CLI) Partitions I to IV, 4th edition, June 2006
20. Free Software Foundation. The GNU Compiler Collection. http://gcc.gnu.org
21. G. Fursin, A. Cohen, M. O'Boyle, and O. Temam. Quick and practical run-time evaluation of multiple program optimizations. Trans. on High Performance Embedded Architectures and Compilers, 1(1):13-31, Jan. 2007
22. A. Gal et al. Trace-based just-in-time type specialization for dynamic languages. In PLDI'09, Dublin, Ireland, June 2009
23. S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello, M. Sigler, and O. Temam. Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies. Intl. J. of Parallel Programming, 34(3):261-317, June 2006. Special issue on Microgrids
24. B. Grant, M. Mock, M. Philipose, C. Chambers, and S. J. Eggers. DyC: An Expressive Annotation-Directed Dynamic Compiler for C. Technical Report UW-CSE-97-03-03, Univ. of Washington, 1999
25. S.-I. Han, S.-I. Chae, L. Brisolara, L. Carro, R. Reis, X. Guérin, and A. A. Jerraya. Memory-efficient multithreaded code generation from simulink for heterogeneous mpsoc. J. on Design Automation for Embedded Systems, Springer-Verlag, 2007
26. International Organization for Standardization and International Electrotechnical Commission. International Standard ISO/IEC 23271:2006 -Common Language Infrastructure (CLI), Partitions Ito VI, 2nd edition, 2006
27. J. Jones. Annotating Mobile Code for Performance. PhD thesis, University of Illinois at Urbana Champaign, 2002
28. G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information processing, pages 471-475, Stockholm, Sweden, Aug. 1974. North Holland, Amsterdam
29. C. Krintz and B. Calder. Using annotations to reduce dynamic optimization time. In Proc. of the Conference on Programming Language Design and Implementation, pages 156-167, Snowbird, UT, USA, June 2001
30. C. Lattner. The LLVM compiler system. In Bossa Conference on Open Source, Mobile Internet and Multimedia, Recife, Brazil, Mar. 2007
31. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proc. of the International Symposium on Code Generation and Optimization, Palo Alto, CA, USA, Mar. 2004
32. A. Le, O. Lhoták, and L. Hendren. Using inter-procedural side-effect information in JIT optimizations. Technical Report 2004-5, McGill University - School of Computer Science, 2004
33. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 2nd edition, Apr. 1999
34. Microsoft. Introducing the .NET Micro Framework. Product Positioning and Technology White Paper,Sept. 2007
35. R. Muth, S. Debray, S. Watterson, and K. De Bosschere. alto: a link-time optimizer for the Compaq Alpha. Software: Practice and Experience, 31(1):67-101, 2001
36. Novell. The Mono Project. http://www.mono-project.com
37. M. Paleczny, C. Vick, and C. Click. The Java HotSpotTM Server Compiler. In Proc. of the Java Virtual Machine Research and Technology Symposium, Monterey, CA, USA, Apr. 2001
38. P. Pominville, F. Qian, R. Vallée-Rai, L. Hendren, and C. Verbrugge. A framework for optimizing Java using attributes. In Proc. of the 10th International Conference on Compiler Construction, volume 2027 of Lecture Notes in Computer Science, pages 334-354, Genova, Italy, Apr. 2001
39. D. Potop-Butucaru, S. A. Edwards, and G. Berry. Compiling Esterel. Springer-Verlag, 2007
40. M. Pouzet and P. Raymond. Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. In EMSOFT'09, pages 215-224, 2009
41. M. Püschel, B. Singer, J. Xiong, J. Moura, J. Johnson, D. Padua, M. Veloso, and R. W. Johnson. SPIRAL: A generator for platform-adapted libraries of signal processing algorithms. Journal of High Performance Computing and Applications, special issue on Automatic Performance Tuning, 18(1):21-45, 2004
42. E. Rohou. Portable and efficient auto-vectorized bytecode: a look at the interaction between static and JIT compilers. In 2nd International Workshop on GCC Research Opportunities (GROW'10), Jan. 2010
43. Southern Storm Software, Pty Ltd. DotGNU project. http://dotgnu.org
44. L. Van Put, D. Chanet, B. De Bus, B. De Sutter, and K. De Bosschere. Diablo: a reliable, retargetable and extensible link-time rewriting framework. In Proc. of the International Symposium On Signal Processing And Information Technology, pages 7-12, Athens, Greece, 2005
45. X. Zhang, Z. Wang, N. Gloy, J. B. Chen, and M. D. Smith. System support for automatic profiling and optimization. In Proc. of the 16th Symposium on Operating System Principles, pages 15-26, Saint-Malo, France, Oct. 1997.s