DJMix: A distributed Java']Java bytecode specialization system

被引:0
|
作者
Huang, LP [1 ]
Sun, YQ [1 ]
机构
[1] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai 200030, Peoples R China
关键词
partial evaluation; distributed systems; !text type='Java']Java[!/text] RMI;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
With the development of internet technology, neutral programming languages such as Java play more and more important roles in developing software running on heterogeneous architectures and on distributed systems. In other words, user can write generic programs firstly, and then specialize to ones would run on specific platforms efficiently. In this paper, we present a mechanism to support what so called, write once and run anywhere, efficiently. The mechanism is based on Partial Evaluation, which is a technique to partially execute a program when some of its input data are available. That is, we can use Partial Evaluation to optimize a generic program when platform is known. Based on Java bytecode partial evaluator Jmix, this paper proposes a distributed version, called DJMix. The results show that DJMix can be used to specialize distributed Java bytecode programs, especially those using RMI.
引用
收藏
页码:185 / 189
页数:5
相关论文
共 50 条
  • [1] The Hyperion system:: Compiling multithreaded Java']Java bytecode for distributed execution
    Antoniu, G
    Bougé, L
    Hatcher, P
    MacBeth, M
    McGuigan, K
    Namyst, R
    [J]. PARALLEL COMPUTING, 2001, 27 (10) : 1279 - 1297
  • [2] Compiling multithreaded Java']Java bytecode for distributed execution
    Antoniu, G
    Bougé, L
    Hatcher, P
    MacBeth, M
    McGuigan, K
    Namyst, R
    [J]. EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 1039 - 1052
  • [3] A type system for Java']Java bytecode subroutines
    Stata, R
    Abadi, M
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
  • [4] Distributed Java']Java Bytecode Genetic Programming with telecom applications
    Lukschandl, E
    Borgvall, H
    Nohle, L
    Nordahl, M
    Nordin, P
    [J]. GENETIC PROGRAMMING, PROCEEDINGS, 2000, 1802 : 316 - 325
  • [5] A type system for the Java']Java bytecode language and verifier
    Freund, SN
    Mitchell, JC
    [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 271 - 321
  • [6] Java']Java bytecode verification
    Nipkow, T
    [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
  • [7] Java']Java bytecode optimizations
    Lambright, HD
    [J]. IEEE COMPCON 97, PROCEEDINGS, 1997, : 206 - 210
  • [8] Dynamic instrumentation of distributed Java']Java applications using bytecode modifications
    Funika, Wlodzimierz
    Swierszcz, Pawel
    [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 2, PROCEEDINGS, 2006, 3992 : 534 - 541
  • [9] A Java']Java Bytecode Formalisation
    Czarnik, Patryk
    Chrzaszcz, Jacek
    Schubert, Aleksy
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
  • [10] A type system for object initialization in the Java']Java bytecode language
    Freund, SN
    Mitchell, JC
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (06): : 1196 - 1250