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