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 条
  • [41] A Java']Java Bytecode Metamodel for Composable Program Analyses
    Yildiz, Bugra M.
    Bockisch, Christoph
    Rensink, Arend
    Aksit, Mehmet
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 30 - 40
  • [42] Altering Java']Java semantics via bytecode manipulation
    Tanter, E
    Ségura-Devillechaise, M
    Noyé, J
    Piquer, J
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, PROCEEDINGS, 2002, 2487 : 283 - 298
  • [43] Symbolic backward simulation of Java']Java bytecode program
    Inafune, Tetsuya
    Miura, Shinichi
    Taketa, Toshihiro
    Hiranaka, Yukio
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018), 2017, : 140 - 145
  • [44] Compiling lazy functional programs to Java']Java bytecode
    Meehan, G
    Joy, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
  • [45] Efficient inference of static types for Java']Java bytecode
    Gagnon, EM
    Hendren, LJ
    Marceau, G
    STATIC ANALYSIS, 2000, 1824 : 199 - 219
  • [46] Compiling multithreaded Java']Java bytecode for distributed execution
    Antoniu, G
    Bougé, L
    Hatcher, P
    MacBeth, M
    McGuigan, K
    Namyst, R
    EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 1039 - 1052
  • [47] Kava - A reflective Java']Java based on bytecode rewriting
    Welch, I
    Stroud, RJ
    REFLECTION AND SOFTWARE ENGINEERING, 2000, 1826 : 155 - 167
  • [48] Decompiling Boolean Expressions from Java']Java™ Bytecode
    Nanda, Mangala Gowri
    Arun-Kumar, S.
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 59 - 69
  • [49] A formal framework for the Java']Java bytecode language and verifier
    Freund, SN
    Mitchell, JC
    ACM SIGPLAN NOTICES, 1999, 34 (10) : 147 - 166
  • [50] Coverage-Based Debloating for Java']Java Bytecode
    Soto-Valero, Cesar
    Durieux, Thomas
    Harrand, Nicolas
    Baudry, Benoit
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (02)