Demystifying magic: High-level low-level programming

Proceedings of the 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE'09

Volumn , Issue , 2009, Pages 81-90

  Frampton, Daniel ^a   Blackburn, Stephen M ^a   Cheng, Perry ^b   Garner, Robin J ^a   Grove, David ^b   Moss, J Eliot B ^c   Salishev, Sergey I ^d  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b IBM RESEARCH   (United States)

^c UNIVERSITY OF MASSACHUSETTS   (United States)

^d ST PETERSBURG STATE UNIVERSITY   (Russian Federation)

Author keywords

Design; Experimentation; Languages; Performance; Reliability

Indexed keywords

DEVELOPMENT COSTS; EXPERIMENTATION; HARDWARE AND SOFTWARE; LANGUAGES; PERFORMANCE; PRACTICAL EXPERIENCE; UNBOXING; VIRTUAL MACHINES;

ABSTRACTING; ARCHITECTURE; COMPUTER PROGRAMMING; LINGUISTICS; QUALITY ASSURANCE; QUERY LANGUAGES; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY;

HIGH LEVEL LANGUAGES;

EID: 67650033115     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508293.1508305     Document Type: Conference Paper

References (69)

1. A.-R. Adl-Tabatabai, J. Bharadwaj, D.-Y. Chen, A. Ghuloum, V. Menon, B. Murphy, M. Serrano, and T. Shpeisman. The StarJIT compiler: a dynamic compiler for managed runtime environments. Intel Technology Journal, 7(1):19-31, Feb. 2003.
2. V. Agarwal, M. S. Hrishikesh, S. W. Keckler, and D. Burger. Clock rate versus IPC: the end of the road for conventional microarchitectures. In ISCA '00: Proceedings of the 27th Annual International Symposium on Computer Architecture, pages 248-259, New York, NY, USA, 2000. ACM. (Pubitemid 30881504)
3. M. Aiken, M. Fähndrich, C. Hawblitzel, G. Hunt, and J. Larus. Deconstructing process isolation. In MSPC '06: Proceedings of the 2006 Workshop on Memory System Performance and Correctness, pages 1-10, New York, NY, USA, 2006. ACM. (Pubitemid 47177297)
4. E. Allen, D. Chase, J. Hallett, V. Luchangco, J.-W. Maesse, S. Ryu, G. L. S. Jr., and S. Tobin-Hochstadt. The Fortress language specification, version 1.0. Technical report, Sun Microsystems, Mar. 2008.
5. B. Alpern, C. R. Attanasio, A. Cocchi, D. Lieber, S. Smith, T. Ngo, J. J. Barton, S. F. Hummel, J. C. Sheperd, and M. Mergen. Implementing Jalapẽno in Java. In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 314-324, New York, NY, USA, 1999. ACM. (Pubitemid 129684698)
6. B. Alpern, D. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.- D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. Shepherd, S. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapẽno virtual machine. IBM System Journal, 39(1), Feb. 2000.
7. Apache. DRLVM - Dynamic Runtime Layer Virtual Machine. http://harmony.apache.org/subcomponents/drlvm/.
8. B. Bershad, S. M. Blackburn, H. Boehm, M. Cierniak, C. Click, D. Frampton, D. Gregg, D. Grove, X. Li, B. Mathiske, and G. Skinner. First Moxie brainstorming meeting, Dec. 2005. http://moxie.sf.net/.
9. B. N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, S. Savage, and E. G. Sirer. SPIN: an extensible microkernel for application-specific operating system services. In EW 6: Proceedings of the 6th ACM SIGOPS European Workshop, pages 68-71, New York, NY, USA, 1994. ACM.
10. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In SOSP '95: Proceedings of the 15th ACM Symposium on Operating Systems Principles, pages 267-283, New York, NY, USA, 1995. ACM.
11. S. M. Blackburn, P. Cheng, and K. S. McKinley. Oil and water? High performance garbage collection in Java with MMTk. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 137-146, Washington, DC, USA, 2004. IEEE Computer Society.
12. S. M. Blackburn, S. I. Salishev, M. Danilov, O. A. Mokhovikov, A. A. Nashatyrev, P. A. Novodvorsky, V. I. Bogdanov, X. F. Li, and D. Ushakov. The Moxie JVM experience. Technical Report TRCS- 08-101, Australian National University, Department of Computer Science, Jan. 2008.
13. H.-J. Boehm. Space efficient conservative garbage collection. In PLDI '93: Proceedings of the 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 197-206, New York, NY, USA, 1993. ACM.
14. H.-J. Boehm. Threads cannot be implemented as a library. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 261-268, New York, NY, USA, 2005. ACM. (Pubitemid 43182905)
15. H.-J. Boehm and M. Weiser. Garbage collection in an uncooperative environment. Software: Practice and Experience, 18(9):807-820, 1988. (Pubitemid 18662246)
16. L. Cardelli, J. Donahue, L. Glassman, I. Jordan, B. Kalsow, and G. Nelson. Modula-3 report (revised). Technical Report 52, DEC SRC, Nov. 1989.
17. B. L. Chamberlain, D. Callahan, and H. P. Zima. Parallel programmability and the Chapel language. International Journal of High Performance Computing Applications, 21(3):291-312, Aug. 2007. (Pubitemid 47082808)
18. P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra, K. Ebcioglu, C. von Praun, and V. Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In OOPSLA '05: Proceedings of the 20th ACM SIGPLAN Conference on Object- Oriented Programming, Systems, Languages, and Applications, pages 519-538, New York, NY, USA, 2005. ACM. (Pubitemid 43176863)
19. M. Cierniak, M. Eng, N. Glew, B. Lewis, and J. Stichnoth. The Open Runtime Platform: a flexible high-performance managed runtime environment. Concurrency and Computation: Practice and Experience, 17(5-6):617-637, 2005. (Pubitemid 40539478)
20. ECMA. C# Language Specification, ECMA-334.
21. ECMA. Common Language Infrastructure (CLI), ECMA-335. http://www.ecma-international.org/publications/ standards/Ecma-335.htm, June 2006. (ISO/IEC 23271:2006).
22. M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt, J. R. Larus, and S. Levi. Language support for fast and reliable messagebased communication in Singularity OS. In EuroSys '06: Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006, pages 177-190, New York, NY, USA, 2006. ACM. (Pubitemid 47485746)
23. P. Ferrara, F. Logozzo, and M. Fähndrich. Safer unsafe code for .NET. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 329-346, New York, NY, USA, 2008. ACM.
24. M. E. Fiuczynski, W. C. Hsieh, E. G. Sirer, P. Pardyak, and B. N. Bershad. Low-level systems programming with Modula-3. In Threads: A Modula-3 Newsletter, number 3, Fall 1997.
25. C. Flack, T. Hosking, and J. Vitek. Idioms in OVM. Technical Report CSD-TR-03-017, Purdue University, 2003.
26. J. G. Fletcher. No! High level languages should not be used to write systems software. In ACM 75: Proceedings of the 1975 Annual Conference, pages 209-211, New York, NY, USA, 1975. ACM.
27. J. G. Fletcher, C. S. Badger, G. L. Boer, and G. G. Marshall. On the appropriate language for system programming. SIGPLAN Notices, 7(7):28-30, 1972.
28. D. J. Frailey. Should high level languages be used to write systems software? In ACM 75: Proceedings of the 1975 Annual Conference, page 205, New York, NY, USA, 1975. ACM.
29. R. Garner. JMTK: a portable memory management toolkit. Honours thesis, Australian National University, Dec. 2003.
30. R. Garner, S. M. Blackburn, and D. Frampton. Effective prefetch for mark-sweep garbage collection. In ISMM '07: Proceedings of the 6th International Symposium on Memory Management, pages 43-54, New York, NY, USA, 2007. ACM.
31. D. Gay, R. Ennals, and E. Brewer. Safe manual memory management. In ISMM '07: Proceedings of the 6th International Symposium on Memory Management, pages 2-14, New York, NY, USA, 2007. ACM.
32. N. Glew, S. Triantafyllis, M. Clerniak, M. Eng, B. Lewis, and J. Stichnoth. LIL: an architecture-neutral language for virtualmachine stubs. In VM '04: Proceedings of the 3rd Virtual Machine Research & Technology Symposium, page 9, Berkeley, CA, USA, 2004. USENIX Association.
33. J. Gosling, B. Joy, G. Steel, and G. Bracha. The Java Language Specification, Third Edition. Prentice Hall, 3rd edition, June 2005.
34. D. Grossman. Type-safe multithreading in Cyclone. In TLDI '03: Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pages 13-25, New York, NY, USA, 2003. ACM.
35. T. Hallgren, M. P. Jones, R. Leslie, and A. Tolmach. A principled approach to operating system construction in Haskell. In ICFP '05: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, pages 116-128, New York, NY, USA, 2005. ACM. (Pubitemid 43907038)
36. T. Hart and M. Levin. The new compiler. Technical report, Massachusetts Institute of Technology, Cambridge, MA, USA, 1962.
37. M. Hirzel and R. Grimm. Jeannie: granting Java Native Interface developers their wishes. In OOPSLA '07: Proceedings of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 19-38, New York, NY, USA, 2007. ACM.
38. J. J. Horning. Yes! High level languages should be used to write systems software. In ACM 75: Proceedings of the 1975 Annual Conference, pages 206-208, New York, NY, USA, 1975. ACM.
39. S. S. Huang, A. Hormati, D. F. Bacon, and R. Rabbah. Liquid Metal: object-oriented programming across the hardware/software boundary. In ECOOP '08: Proceedings of the 22nd European Conference on Object-Oriented Programming, pages 76-103, Berlin, Heidelberg, 2008. Springer-Verlag.
40. G. Hunt, J. Larus, M. Abadi, M. Aiken, P. Barham, M. Fähndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An overview of the Singularity project. Technical Report MSR-TR-2005-135, Microsoft Research, 2005.
41. G. C. Hunt and J. R. Larus. Singularity: rethinking the software stack. SIGOPS Operating Systems Review, 41(2):37-49, 2007.
42. T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang. Cyclone: a safe dialect of C. In ATEC '02: Proceedings of the General Track of the USENIX Annual Technical Conference, pages 275-288, Berkeley, CA, USA, 2002. USENIX Association.
43. K. Kennedy. Generation of high performance domain-specific languages from component libraries. http://www.cs.rice.edu/~ken/Presentations/TelescopeOSU. pdf.
44. B. W. Kernighan and D. M. Ritchie. The C Programming Language. Prentice Hall, Upper Saddle River, NJ, USA, 1988.
45. S. Kuksenko. Suggestion: Let's write some small and hot native( kernel) methods on vmmagics. http://www.mail-archive. com/dev@harmony.apache.org/ msg07606.html, May 2007.
46. D. Lea. Low-level memory fences. http://gee.cs.oswego.edu/dl/concurrent/ dist/docs/java/util/concurrent/atomic/Fences.html.
47. S. Liang. The Java Native Interface: Programmer's Guide and Specification. The Java Series. Prentice Hall, June 1999.
48. J.-W. Maessen, V. Sarkar, and D. Grove. Program analysis for safety guarantees in a Java virtual machine written in Java. In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 62-65, New York, NY, USA, 2001. ACM.
49. S. Microsystems. Maxine Research Project. http://research.sun.com/ projects/maxine.
50. J. E. B. Moss, T. Palmer, T. Richards, I. Edward K. Walters, and C. C. Weems. CISL: a class-based machine description language for co-generation of compilers and simulators. International Journal of Parallel Programming, 33(2):231-246, 2005. (Pubitemid 41202443)
51. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 89-100, New York, NY, USA, 2007. ACM. (Pubitemid 47630678)
52. E. Prangsma. Why Java is practical for modern operating systems. In Libre Software Meeting, 2005. Presentation only. See www.jnode.org.
53. M. Richards. BCPL: a tool for compiler writing and system programming. In AFIPS '69 (Spring): Proceedings of the May 14-16, 1969, Spring Joint Computer Conference, pages 557-566, New York, NY, USA, 1969. ACM.
54. A. Rigo and S. Pedroni. PyPy's approach to virtual machine construction. In OOPSLA Companion '06: Companion to the 21st ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 944-953, New York, NY, USA, 2006. ACM. (Pubitemid 46729427)
55. D. M. Ritchie. The development of the C language. In HOPL-II: The second ACM SIGPLAN Conference on the History of Programming Languages, pages 201-208, New York, NY, USA, 1993. ACM.
56. S. Ritchie. Systems programming in Java. IEEE Micro, 17(3):30-35, 1997.
57. J. Shapiro. Programming language challenges in systems codes: Why systems programmers still use C, and what to do about it. In PLOS '06: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems, page 9, New York, NY, USA, 2006. ACM. (Pubitemid 47479721)
58. D. Simon, C. Cifuentes, D. Cleal, J. Daniels, and D. White. Java on the bare metal of wireless sensor devices: the Squawk Java virtual machine. In VEE '06: Proceedings of the 2nd International Conference on Virtual Execution Environments, pages 78-88, New York, NY, USA, 2006. ACM. (Pubitemid 44059962)
59. L. Stepanian, A. D. Brown, A. Kielstra, G. Koblents, and K. Stoodley. Inlining Java native calls at runtime. In VEE '05: Proceedings of the 1st ACM/USENIX International Conference on Virtual Execution Environments, pages 121-131, New York, NY, USA, 2005. ACM. (Pubitemid 43195508)
60. B. Stroustrup. The C++ Programming Language. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
61. B. Stroustrup. A history of C++: 1979-1991. In HOPL-II: The second ACM SIGPLAN Conference on the History of Programming Languages, pages 271-297, New York, NY, USA, 1993. ACM.
62. D. Stutz, T. Neward, and G. Shilling. Shared Source CLI Essentials. O'Reilly, 2003.
63. A. Tridgell. Using talloc in Samba4. Technical report, Samba Team, 2004. http://samba.org/ftp/unpacked/talloc/talloc-guide.txt.
64. D. Ungar, A. Spitz, and A. Ausch. Constructing a metacircular virtual machine in an exploratory programming environment. In OOPSLA Companion '05: Companion to the 20th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 11-20, New York, NY, USA, 2005. ACM.
65. K. Venstermans, L. Eeckhout, and K. De Bosschere. 64-bit versus 32-bit virtual machines for Java. Software: Practice and Experience, 36(1):1-26, 1 2006. (Pubitemid 43082756)
66. J. R. Vernooij. SAMBA developers guide. http://www.samba. org/samba/docs/Samba-Developers-Guide.pdf, Apr. 2008.
67. J. Whaley. Joeq: a virtual machine and compiler infrastructure. In IVME '03: Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, pages 58-66, New York, NY, USA, 2003. ACM.
68. W. A.Wulf, D. B. Russell, and A. N. Habermann. BLISS: a language for systems programming. Communcations of the ACM, 14(12):780-790, 1971.
69. H. Yamauchi and M.Wolczko. Writing Solaris device drivers in Java. In PLOS '06: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems, page 3, New York, NY, USA, 2006. ACM.