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 条
[21]   Modeling the Java']Java Bytecode Verifier [J].
Reynolds, Mark C. .
SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) :327-342
[22]   Termination analysis of Java']Java Bytecode [J].
Albert, Elvira ;
Arenas, Puri ;
Codish, Michael ;
Genaim, Samir ;
Puebla, German ;
Zanardini, Damiano .
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 :2-+
[23]   Dynamic semantics of Java']Java bytecode [J].
Bertelsen, P .
FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) :841-850
[24]   Java']Java bytecode verification: An overview [J].
Leroy, X .
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 :265-285
[25]   Deadlock Detection of Java']Java Bytecode [J].
Laneve, Cosimo ;
Garcia, Abel .
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 :37-53
[26]   Integrated Java']Java Bytecode Verification [J].
Gal, Andreas ;
Probst, Christian W. ;
Franz, Michael .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 :27-38
[27]   Cost analysis of Java']Java bytecode [J].
Albert, E. ;
Arenas, P. ;
Genaim, S. ;
Puebla, G. ;
Zanardini, D. .
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4421 :157-+
[28]   Verified Java']Java Bytecode Verification [J].
Klein, Gerwin .
IT-INFORMATION TECHNOLOGY, 2005, 47 (02) :107-110
[29]   Dependence analysis of Java']Java bytecode [J].
Zhao, JJ .
24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 :486-491
[30]   Symbolic PathFinder: integrating symbolic execution with model checking for Java']Java bytecode analysis [J].
Pasareanu, Corina S. ;
Visser, Willem ;
Bushnell, David ;
Geldenhuys, Jaco ;
Mehlitz, Peter ;
Rungta, Neha .
AUTOMATED SOFTWARE ENGINEERING, 2013, 20 (03) :391-425