PicoJava']Java: A direct execution engine for Java']Java bytecode

被引:66
|
作者
McGhan, H [1 ]
O'Connor, M [1 ]
机构
[1] Sun Microsyst Inc, Microelect Div, Palo Alto, CA 94303 USA
关键词
D O I
10.1109/2.722273
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Key to the central promise inherent in Java technology-"write once, run anywhere"-is the fact that Java programs run on the Java virtual machine, insulating them from any contact with the underlying hardware. Consequently, Java programs must execute indirectly through a translation layer built into the Java virtual machine. Translation essentially converts Java virtual machine instructions (called bytecodes) into corresponding machine-specific binary instructions. Bytecode is a single image of a program that will execute identically (in principle) on any system equipped with a JVM. The first step toward the development of a new class of Java processors was the creation of the bytecode execution engine itself, called the picoJava core. PicoJava directly executes Java bytecode instructions and provides hardware support for other essential functions of the JVM. Executing bytecode instructions in hardware eliminates the need for dynamic translation, thus extending the useful range of Java bytecode programs to embedded environments. By the end of 1998, Java processors like Sun's microJava 701 should be available for evaluation from several licensees of the picoJava core technology.
引用
收藏
页码:22 / +
页数:10
相关论文
共 50 条
  • [41] A type system for Java']Java bytecode subroutines
    Stata, R
    Abadi, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
  • [42] Dynamic slicing on Java']Java bytecode traces
    Wang, Tao
    Roychoudhury, Abhik
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):
  • [43] A Framework for Debugging Java']Java Programs in a Bytecode
    Soomro, Safeeullah
    Belgaum, Mohammad Riyaz
    Alansari, Zainab
    Miraz, Mahdi H.
    2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
  • [44] Java']Java bytecode verification: Algorithms and formalizations
    Leroy, X
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 235 - 269
  • [45] Dynamic slicing of Java']Java bytecode programs
    Szegedi, A
    Gyimóthy, T
    FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
  • [46] Bytecode fetch optimization for a Java']Java interpreter
    Ogata, K
    Komatsu, H
    Nakatani, T
    ACM SIGPLAN NOTICES, 2002, 37 (10) : 58 - 67
  • [47] A Dozen Instructions Make Java']Java Bytecode
    Chrzaszcz, Jacek
    Czarnik, Patryk
    Schubert, Aleksy
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (04) : 19 - 34
  • [48] Information flow analysis for Java']Java bytecode
    Genaim, S
    Spoto, F
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 346 - 362
  • [49] Experiments in Cost Analysis of Java']Java Bytecode
    Albert, E.
    Arenas, P.
    Genaim, S.
    Puebla, G.
    Zanardini, D.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (01) : 67 - 83
  • [50] An empirical study of Java']Java bytecode programs
    Collberg, Christian
    Myles, Ginger
    Stepp, Michael
    SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641