A highly flexible, parallel virtual machine: Design and experience of ILDJIT

Software - Practice and Experience

Volumn 40, Issue 2, 2010, Pages 177-207

  Campanoni, Simone ^a   Agosta, Giovanni ^a   Crespi Reghizzi, Stefano ^a   Di Biagio, Andrea ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

CIL dynamic compiler; Dynamic adaptation; Parallel virtual machine

Indexed keywords

ADAPTIVE FRAMEWORK; ADAPTIVE OPTIMIZATION; CODE OPTIMIZATION; COMPILER DESIGN; DYNAMIC ADAPTATIONS; DYNAMIC COMPILATION; DYNAMIC COMPILER; MASKING EFFECT; MULTICORE ARCHITECTURES; OPEN SOURCE IMPLEMENTATION; PARALLEL COMPILATION; PARALLEL VIRTUAL MACHINES; PIPELINE ORGANIZATION; VIRTUAL MACHINES;

MACHINE DESIGN; MICROPROCESSOR CHIPS;

PROGRAM COMPILERS;

EID: 76949106140     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.950     Document Type: Article

References (44)

1. ECMA. ECMA-335: Common Language Infrastructure (CLI) (4th edn). ECMA (European Association for Standardizing Information and Communication Systems): Geneva, Switzerland, June 2006; 556.
2. Campanoni S, Agosta G, Crespi Reghizzi S. A parallel dynamic compiler for CIL bytecode. SIGPLAN Notices 2008; 43(4):11-20.
3. Kulkarni P, Arnold M, Hind M. Dynamic compilation: The benefits of early investing. VEE '07: Proceedings of the 3rd International Conference on Virtual Execution Environments. ACM: New York, NY, U.S.A., 2007; 94-104.
4. Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley: Reading, MA, 1995; 416.
5. Campanoni S, Sykora M, Agosta G, Crespi Reghizzi S. Dynamic look ahead compilation: A technique to hide JIT compilation latencies in multicore environment. Proceedings of the 18th International Conference on Compiler Construction (CC 2009), York, U.K., March 2009; 220-235.
6. Duesterwald E. Dynamic compilation. The Compiler Design Handbook-Optimizations and Machine Code Generation, Srikant YN, Shankar P (eds.). CRC Press: Boca Raton, 2003; 739-761.
7. Suganuma T, Yasue T, Nakatani T. A region-based compilation technique for dynamic compilers. ACM Transactions on Programming Languages and Systems 2006; 28(1):134-174.
8. Krintz C, Grove D, Sarkar V, Calder B. Reducing the overhead of dynamic compilation. Software: Practice and Experience 2001; 31(8):717-738.
9. Stevens WR, Fenner B, Rudoff AM. UNIX Network Programming, vol.1. Pearson Education: Upper Saddle River, NJ, U.S.A., 2003; 1009.
10. Bacon DF, Konuru R, Murthy C, Serrano M. Thin locks: Featherweight synchronization for Java. PLDI'98: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, Montreal, Quebec, Canada. ACM: New York, NY, U.S.A., 1998; 258-268. ISBN: 0-89791-987-4. Available at: http://doi.acm.org/10.1145/277650.277734.
11. Tartara M, Campanoni S, Agosta G, Crespi Reghizzi S. Just-In-Time compilation on ARM processors. ICOOOLPS '09: Proceedings of the 4th Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, Genova, Italy. ACM: New York, NY, U.S.A., 2009; 70-73.
12. Lee PA. Exception handling in C programs. Software: Practice and Experience 1983; 13(5):389-405.
13. Bacon DF, Graham SL, Sharp OJ. Compiler transformations for high-performance computing. ACM Computing Survey 1994; 26(4):345-420.
14. Agosta G, Crespi Reghizzi S, Svelto G. Jelatine: A virtual machine for small embedded systems. JTRES '06: Proceedings of the 4th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM: New York, NY, U.S.A., 2006; 170-177.
15. Wilson PR. Uniprocessor garbage collection techniques. Proceedings of the International Workshop on Memory Management, number 637. Springer: Saint-Malo (France), 1992.
16. Boehm H-J, Weiser M. Garbage collection in an uncooperative environment. Software: Practice and Experience 1988; 18(9):807-820.
17. De Icaza M, Molaro P, Maurer D. Mono Documentation. Available at: http://www.go-mono.com/docs [October 2008].
18. Bull M, Smith L, Westhead M, Henty D, Davey R. Benchmarking Java grande applications. Proceedings of the Second International Conference on the Practical Applications of Java, 2000; 63-73.
19. The Computer Language Benchmarks Game. Available at: http://shootout. alioth.debian.org [September 2008].
20. Anderson KR, Rettig D. Performing Lisp analysis of the FANNKUCH benchmark. SIGPLAN Lisp Pointers 1994; VII(4):2-12.
21. Devaney RL, Keen L. Chaos and Fractals: The Mathematics behind the Computer Graphics. American Mathematical Society: Boston, MA, U.S.A., 1997.
22. Dussaud E, Husband C, Nguyen H, Reynolds D, Stolk C. Hundred digit challenge solutions. Technical Report, Department of Computational and Applied Mathematics, Rice University, Houston, TX, U.S.A., May 2002.
23. Fursin G. Collective Tuning Initiative: Automating and accelerating development and optimization of computing systems. Proceedings of the GCC Developers' Summit, Montreal, Canada, June 2009; 41.
24. Guthaus MR, Ringenberg JS, Ernst D, Austin TM, Mudge T, Brown RB. MiBench: A free, commercially representative embedded benchmark suite. WWC '01: Proceedings of the Workload Characterization, 2001. WWC-4. 2001 IEEE International Workshop. IEEE Computer Society: Washington, DC, U.S.A., 2001; 3-14.
25. Costa R, Ornstein A, Rohou E. GCC4NET. Available at: http://gcc.gnu.org/ projects/cli.html [March 2007].
26. Aycock J. A brief history of just-in-time. ACM Computing Surveys 2003; 35(2):97-113.
27. Proebsting TA, Townsend G, Bridges P, Hartman JH, Newsham T, Watterson SA. Toba: Java for applications-A way ahead of time (wat) compiler. Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems, June 1997; 41-53.
28. Dehnert JC, Grant BK, Banning JP, Johnson R, Kistler T, Klaiber A, Mattson J. The transmeta code morphing® software: Using speculation, recovery, and adaptive retranslation to address real-life challenges. CGO '03: Proceedings of the International Symposium on Code Generation and Optimization. IEEE Computer Society: Washington, DC, U.S.A., 2003; 15-24.
29. Ebcioglu K, Altman E, Gschwind M, Sathaye S. Dynamic binary translation and optimization. IEEE Transactions on Computers 2001; 50(6):529-548.
30. Adams K, Agesen O. A comparison of software and hardware techniques for x86 virtualization. ASPLOS-XII: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems. ACM: New York, NY, U.S.A., 2006; 2-13.
31. Sundaresan V, Maier D, Ramarao P, Stoodley M. Experiences with multi-threading and dynamic class loading in a Java just-in-time compiler. CGO '06: Proceedings of the International Symposium on Code Generation and Optimization. IEEE Computer Society: Washington, DC, U.S.A., 2006; 87-97.
32. Paleczny M, Vick C, Click C. The java hotspottm server compiler. JVM'01: Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium. USENIX Association: Berkeley, CA, U.S.A., 2001; 1-1
33. Arnold M, Fink S, Grove D, Hind M, Sweeney PF. Adaptive optimization in the jalapeno jvm. OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM: New York, NY, U.S.A., 2000; 47-65.
34. Bea jrockit: Java for the enterprise technical white paper. 2006.
35. Cierniak M, Eng M, Glew N, Lewis B, Stichnoth J. The open runtime platform: A flexible high-performance managed runtime environment: Research articles. Concurrency and Computation: Practice and Experience 2005; 17(5-6):617-637.
36. Thomas G, Geoffray N, Clément C, Folliot B. Designing highly flexible virtual machines: The jnjvm experience. Software: Practice and Experience 2008; 38(15):1643-1675.
37. Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes CV, Loingtier J-M, Irwin J. Aspect-oriented programming. Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP 1997), June 1997; 220-242.
38. Kaffe. Available at: http://www.kaffe.org [January 2005].
39. Goetz B. Optimistic thread concurrency. Technical Report AWP-011-010, Azul Systems, Inc., January 2006; 12.
40. Bacon DF, Konuru R, Murthy C, Serrano M. Thin locks: Featherweight synchronization for Java. PLDI '98: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation. ACM: New York, NY, U.S.A., 1998; 258-268.
41. Suganuma T, Yasue T, Nakatani T. A region-based compilation technique for dynamic compilers. ACM Transactions on Programming Languages and Systems 2006; 28(1):134-174.
42. Reddi VJ, Campanoni S, Gupta MS, Smith MD, Wei G-Y, Brooks D. Software-assisted hardware reliability: Abstracting circuit-level challenges to the software stack. DAC'09, San Francisco, CA, U.S.A., 2009; 788-793.
43. Reddi VJ, Gupta MS, Rangan KK, Campanoni S, Holloway G, Smith MD, Wei G-Y, Brooks D. Voltage noise: Why it's bad, and what to do about it. SELSE'09, Santa Clara, CA, U.S.A., 2009; 4.
44. Pereira FMQ, Palsberg J. Register allocation by puzzle solving. PLDI, New York, U.S.A., 2008; 216-226.