Specializing Java']Java programs in a distributed environment

被引:0
|
作者
Park, JG [1 ]
Park, MS [1 ]
机构
[1] Korea Univ, Dept Comp Sci & Engn, Internet Comp Lab, Sungbuk Gu, Seoul 136701, South Korea
关键词
program specialization; partial evaluation; optimization; !text type='Java']Java[!/text; distributed environment; programming language; automated software engineering;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The platform neutrality of Java programs allows them to run on heterogeneous computers. In a distributed environment, however, Java programs often cause performance problems because they are not implemented for specific clients, so their implementation conflicts with their usage patterns at the client side. In this paper, we present a mechanism to address this problem by optimizing Java programs using a program specialization technique. Unlike traditional program specialization, our specialization method does not encode the result of specialization only into run-time code. Instead, it encodes the values of multi-valued static expressions into indexed data structure that is referenced by run-time code, and single-valued static expressions into run-time code. With this approach, we can address the code explosion problem of traditional program specialization. In a preliminary implementation, we achieved improvement in performance up to a factor of 3 with very low space requirements.
引用
收藏
页码:787 / 801
页数:15
相关论文
共 50 条
  • [31] LCT: A Parallel Distributed Testing Tool for Multithreaded Java']Java Programs
    Kahkonen, Kari
    Saarikivi, Olli
    Heljanko, Keijo
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 296 : 253 - 259
  • [32] An environment for evolutionary prototyping Java']Java programs based on abstract interpretation
    Ozaki, H
    Ban, SG
    Gondow, K
    Katayama, T
    [J]. ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 362 - 370
  • [33] A Java']Java agent for communication in a concurrent distributed product development environment
    Sreeram, RT
    Chawdhry, PK
    [J]. ADVANCES IN CONCURRENT ENGINEERING: CE97, 1997, 97 : 159 - 166
  • [34] Ajents: towards an environment for parallel, distributed and mobile Java']Java applications
    Izatt, M
    Chan, P
    Brecht, T
    [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 2000, 12 (08): : 667 - 685
  • [35] Object oriented ephemeris generation in a distributed computing environment with Java']Java
    Kasalo, JG
    [J]. SPACEFLIGHT MECHANICS 1998, VOL 99, PTS 1 AND 2, 1998, 99 : 249 - 266
  • [36] A PERFORMANCE AND PROGRAMMING ANALYSIS OF JAVA']JAVA COMMUNICATION MECHANISMS IN A DISTRIBUTED ENVIRONMENT
    Rahimi, Shahram
    Wainer, Michael
    Lewis, Delano
    [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2007, 8 (02): : 209 - 226
  • [37] Extremal Optimization Approach Applied to Initial Mapping of Distributed Java']Java Programs
    De Falco, Ivanoe
    Laskowski, Eryk
    Olejnik, Richard
    Scafuri, Umberto
    Tarantino, Ernesto
    Tudruj, Marek
    [J]. EURO-PAR 2010 PARALLEL PROCESSING, PT I, 2010, 6271 : 180 - +
  • [38] Formal verification of concurrent and distributed constraint-based Java']Java programs
    Ramirez, R
    Santosa, AE
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 76 - 84
  • [39] Model-checking multi-threaded distributed Java']Java programs
    Stoller, SD
    [J]. SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 224 - 244
  • [40] Changing Java']Java programs
    Eisenbach, S
    Sadler, C
    [J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 479 - 487