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

来源：

PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS | 2012年

关键词：

!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 条

[31] A Framework for Debugging Java']Java Programs in a Bytecode
Soomro, Safeeullah
Belgaum, Mohammad Riyaz
Alansari, Zainab
Miraz, Mahdi H.
2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONICS & COMMUNICATIONS ENGINEERING (ICCECE), 2018, : 317 - 322
[32] Java']Java bytecode verification: Algorithms and formalizations
Leroy, X
JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 235 - 269
[33] Dynamic slicing of Java']Java bytecode programs
Szegedi, A
Gyimóthy, T
FIFTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2005, : 35 - 44
[34] Bytecode fetch optimization for a Java']Java interpreter
Ogata, K
Komatsu, H
Nakatani, T
ACM SIGPLAN NOTICES, 2002, 37 (10) : 58 - 67
[35] TREXCLOUD: Java']Java Enterprise IaaS Cloud Deployment Made Easy
Lima, Roberto Costa, Jr.
Hollanda Filho, Ricardo
Sampaio, Americo
Mendonca, Nabor
2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD 2013), 2013, : 470 - 477
[36] A Dozen Instructions Make Java']Java Bytecode
Chrzaszcz, Jacek
Czarnik, Patryk
Schubert, Aleksy
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 264 (04) : 19 - 34
[37] Information flow analysis for Java']Java bytecode
Genaim, S
Spoto, F
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 346 - 362
[38] Experiments in Cost Analysis of Java']Java Bytecode
Albert, E.
Arenas, P.
Genaim, S.
Puebla, G.
Zanardini, D.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (01) : 67 - 83
[39] An empirical study of Java']Java bytecode programs
Collberg, Christian
Myles, Ginger
Stepp, Michael
SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (06): : 581 - 641
[40] A programming logic for Java']Java bytecode programs
Quigley, CL
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54

← 1 2 3 4 5 →