Java']Java Bytecode to Hardware Made Easy with Bluespec SystemVerilog

被引:0
|
作者
Gruian, Flavius [1 ]
Arslan, Mehmet Ali [1 ]
机构
[1] Lund Univ, Dept Comp Sci, S-22100 Lund, Sweden
关键词
!text type='Java']Java[!/text] bytecode; embedded systems; Bluespec; GARBAGE COLLECTOR; PROCESSOR; ARCHITECTURE;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a method for translation of Java byte-code sequences into synthesizable hardware, using the Bluespec SystemVerilog (BSV) environment. At the core of our approach lies a BSV description of a subset of Java bytecodes, that can be used to directly translate bytecode sequences into a BSV specification. The result is intended as an accelerator for existing Java processors (JOP, BlueJEP) or even standalone hardware. Preliminary evaluation shows our solution to produce hardware on par with established methods (area/performance), while supporting rare features (e.g. easy to automate, method calls and recursion).
引用
收藏
页码:80 / 87
页数:8
相关论文
共 50 条
  • [21] Heap Space Analysis for Java']Java Bytecode
    Albert, Elvira
    Genaim, Samir
    Gomez-Zamalloa, Miguel
    ISMM'07: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT, 2007, : 105 - +
  • [22] Abstract Interpretation of Java']Java Bytecode in Sturdy
    Marx, Stefan
    Erdweg, Sebastian
    PROCEEDINGS OF THE 26TH ACM INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS, FTFJP 2024, 2024, : 17 - 22
  • [23] Path Executions of Java']Java Bytecode Programs
    Soomro, Safeeullah
    Alansari, Zainab
    Belgaum, Mohammad Riyaz
    PROGRESS IN ADVANCED COMPUTING AND INTELLIGENT ENGINEERING, VOL 2, 2018, 564 : 261 - 271
  • [24] Java Bytecode Verification
    Tobias Nipkow
    Journal of Automated Reasoning, 2003, 30 : 233 - 233
  • [25] Extending operational semantics of the Java']Java bytecode
    Czarnik, Patryk
    Schubert, Aleksy
    TRUSTWORTHY GLOBAL COMPUTING, 2008, 4912 : 57 - 72
  • [26] Java']Java bytecode verification for @NonNull types
    Male, Chris
    Pearce, David J.
    Potanin, Alex
    Dymnikov, Constantine
    COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
  • [27] Bytecode verification on Java']Java smart cards
    Leroy, X
    SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340
  • [28] Bytecode fault injection for Java']Java software
    Ghosh, Sudipto
    Kelly, John L.
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) : 2034 - 2043
  • [29] A type system for Java']Java bytecode subroutines
    Stata, R
    Abadi, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
  • [30] Dynamic slicing on Java']Java bytecode traces
    Wang, Tao
    Roychoudhury, Abhik
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (02):