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]   Bytecode verification on Java']Java smart cards [J].
Leroy, X .
SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04) :319-340
[42]   Dynamic slicing of Java']Java bytecode programs [J].
Szegedi, A ;
Gyimóthy, T .
FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, :35-44
[43]   Java']Java bytecode verification: Algorithms and formalizations [J].
Leroy, X .
JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) :235-269
[44]   Bytecode fetch optimization for a Java']Java interpreter [J].
Ogata, K ;
Komatsu, H ;
Nakatani, T .
ACM SIGPLAN NOTICES, 2002, 37 (10) :58-67
[45]   A Framework for Debugging Java']Java Programs in a Bytecode [J].
Soomro, Safeeullah ;
Belgaum, Mohammad Riyaz ;
Alansari, Zainab ;
Miraz, Mahdi H. .
2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, :317-322
[46]   Dynamic slicing on Java']Java bytecode traces [J].
Wang, Tao ;
Roychoudhury, Abhik .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02)
[47]   A Dozen Instructions Make Java']Java Bytecode [J].
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 [J].
Genaim, S ;
Spoto, F .
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 :346-362
[49]   Experiments in Cost Analysis of Java']Java Bytecode [J].
Albert, E. ;
Arenas, P. ;
Genaim, S. ;
Puebla, G. ;
Zanardini, D. .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (01) :67-83
[50]   A programming logic for Java']Java bytecode programs [J].
Quigley, CL .
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 :41-54