• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Extensible virtual machines (2001)

Cached

  • Download as a PDF

Download Links

  • [www.cl.cam.ac.uk]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Timothy L. Harris
Citations:9 - 0 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Harris01extensiblevirtual,
    author = {Timothy L. Harris},
    title = {Extensible virtual machines},
    year = {2001}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Virtual machines (vms) have enjoyed a resurgence as a way of allowing the same application program to be used across a range of computer systems. This flexibility comes from the abstraction that the vm provides over the native interface of a particular computer. However, this also means that the application is prevented from taking the features of particular physical machines into account in its implementation. This dissertation addresses the question of why, where and how it is useful, possible and practicable to provide an application with access to lower-level interfaces. It argues that many aspects of vm implementation can be devolved safely to untrusted applications and demonstrates this through a prototype which allows control over run-time compilation, object placement within the heap and thread scheduling. The proposed architecture separates these application-specific policy implementations from the application itself. This allows one application to be used with different policies on different systems and also allows nave or premature optimizations to be removed.

Citations

4647 Design patterns: elements of reusable object-oriented software - Gamma, Helm, et al. - 1995
3633 Computer Architecture - A Quantitative Approach, 2nd Edition - Hennessy, Patterson - 1996
1392 The C++ Programming Language - Stroustrup - 1995
1363 Aspect-oriented programming - Kiczales, Lamping, et al. - 1997
1208 SmallTalk-80: The Language and its Implementation - Goldberg, Robson - 1983
933 A calculus of mobile processes - Milner, Parrow, et al. - 1992
777 Modern Operating Systems - Tanenbaum - 2007
699 A.D.: A calculus for cryptographic protocols: The Spi calculus - Abadi, Gordon - 1997
573 The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
420 Scheduler activations: Effective kernel support for the user-level management of threads - Anderson, Bershad, et al. - 1992
416 Uniprocessor garbage collection techniques, Yves Bekkers and Jacques Cohen (eds - Wilson - 1992
368 Garbage Collection: Algorithms for Automatic Dynamic Memory Managem ent.John Wiley&Sons,Ltd,1996 - Jones
312 Making the future safe for the past: adding genericity to the java programming language - Bracha, Odersky, et al. - 1998
297 Pizza into java: Translating theory into practice - Odersky, Wadler - 1997
241 Escape analysis for java - Choi, Gupta, et al. - 1999
234 The Design and Implementation of an Operating System to Support Distributed Multimedia Applications - Leslie, Mcauley, et al. - 1996
214 Efficient implementation of the smalltalk-80 system - Deutsch, Schiffman - 1984
213 CML: A Higher-Order Concurrent Language - Reppy - 1991
210 Common Lisp: The Language - Steele - 1990
198 An efficient method of computing static single assignment form - Cytron, Ferrante, et al.
188 Domain-Specific Languages: an Annotated Bibliography. http://homepages.cwi.nl/ ∼ arie/papers/dslbib - Deursen, Klint, et al. - 1999
187 CPU reservations and time constraints: efficient, predictable scheduling of independent activities - Jones, Ro¸su, et al. - 1997
187 Dynamic storage allocation: A survey and critical review - Wilson, Johnstone, et al. - 1995
186 Typed memory management in a calculus of capabilities - Crary, Walker, et al. - 1999
186 A feedback-driven proportion allocator for real-rate scheduling - Steere, Goel, et al. - 1999
185 The Java Language Specification. The Java Series - Gosling, Joy, et al. - 1996
174 Extensible security architectures for Java - Wallach, Balfanz, et al. - 1997
168 Application performance and flexibility on Exokernel systems - Kaashoek, Engler, et al. - 1997
164 Cache-conscious structure layout - Chilimbi, Hill, et al. - 1999
164 Dynamics class loading in the Java virtual machine - Liang, Bracha - 1998
159 Parameterized types for Java - Myers, Bank, et al. - 1997
155 Object-oriented multi-methods in Cecil - Chambers - 1992
150 An efficient implementation of self a dynamically-typed object-oriented language based on prototypes - Chambers, Ungar, et al. - 1989
145 The Java Virtual Machine Specification. The Java Series - Lindholm, Yellin - 1999
139 Optimizing dynamically-dispatched calls with run-time type feedback - Hölzle, Ungar - 1994
136 Manufacturing cheap, resilient, and stealthy opaque constructs - Collberg, Thomborson, et al. - 1998
118 Effective synchronization removal for Java - Ruf - 2000
117 Making Pure Object-Oriented Languages Practical - Chambers, Ungar - 1991
114 Scout: A Communications-Oriented Operating System - Montz, Mosberger, et al. - 1995
113 Microkernels Meet Recursive Virtual Machines - Ford, Hibler, et al. - 1996
113 The Programming Language PASCAL - Wirth - 1972
111 VCODE: a retargetable, extensible, very fast dynamic code generation system - Engler - 1996
110 Removing unnecessary synchronization in Java - Bogda, Hölzle - 1999
105 Thin locks: featherweight synchronization for Java - Bacon, Konuru, et al. - 1998
103 Threaded code - BELL - 1973
99 G.: Compiling Standard ML to Java Bytecodes - Benton, Kennedy, et al. - 1998
97 itchell.1997.Adding Type Parameterization to the Java Language - Agesen, reund, et al.
95 Adaptive optimization for self: reconciling high performance with exploratory programming - Hölzle - 1995
92 Debugging optimized code with dynamic deoptimization - Hölzle, Chambers, et al. - 1992
90 Using generational garbage collection to implement cache-conscious data placement - Chilimbi, Larus - 1998
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University