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 条
  • [41] On the visualization of Java']Java programs
    Eichelberger, H
    von Gudenberg, JW
    [J]. SOFTWARE VISUALIZATION, 2002, 2269 : 295 - 306
  • [42] The treewidth of Java']Java programs
    Gustedt, J
    Mæhle, OA
    Telle, JA
    [J]. ALGORITHM ENGINEERING AND EXPERIMENTS, 2002, 2409 : 86 - 97
  • [43] The distributed Java']Java platform
    Morgenthal, JP
    [J]. INFORMATION SYSTEMS MANAGEMENT, 1998, 15 (01) : 16 - 20
  • [44] Distributed supercomputing in Java']Java
    Bal, H
    [J]. ELEVENTH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS, 2003, : 2 - 2
  • [45] Formal analysis of Java']Java programs in Java']JavaFAN
    Farzan, A
    Chen, F
    Meseguer, J
    Rosu, G
    [J]. COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
  • [46] Web enabled, CORBA Driven, Distributed VideoTalk environment on the Java']Java Platform
    Mojsa, T
    Zielinski, K
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (8-13): : 865 - 873
  • [47] Specializing the Java']Java object serialization using partial evaluation for a faster RMI
    Park, JG
    Lee, AH
    [J]. PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, 2001, : 451 - 458
  • [48] Functional Testing of Java']Java Programs
    Benac Earle, Clara
    Fredlund, Lars-Ake
    [J]. TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59
  • [49] Program slicing of Java']Java programs
    Galindo, Carlos
    Perez, Sergio
    Silva, Josep
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 130
  • [50] Simplifying the evolution of Java']Java programs
    Seiter, LM
    Lieberherr, KJ
    Orleans, D
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 655 - 656