This paper studies dependence analysis for java arrays, emphasizing efficient solutions that avoid a large compile-time overhead. We present a new approach for dependence analysis based on sparse congruence partitioni...
详细信息
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a, the 'Grid' Computing a reality. Since a Grid will consist of vastly he...
详细信息
ISBN:
(纸本)1581133596
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a, the 'Grid' Computing a reality. Since a Grid will consist of vastly heterogeneous sets of compute nodes, especially commodity clusters, some have articulated the use of java as a suitable technology to satisfy portability across different machines. Since java's natural model of parallelism is shared memory multithreading, one will have to support distributed shared memory (DSM) in a portable manner;however, none of the previous work on implementing java on DSM has been a portable solution. Instead, we propose a software architecture whose goal is to achieve portability of DSM implementations across different commodity clustering platforms, while restricting the programming model somewhat, and implemented a prototype system, JDSM. Benchmark results show that the current implementation on java incurs increased memory coherency maintenance cost compared to C-based DSMs, thus limiting scalability to some degree, and we are currently working on a solution to alleviate this cost.
This paper proposes a transformation-based approach to design constraint-based analyses for java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an origina...
详细信息
ISBN:
(纸本)158113388X
This paper proposes a transformation-based approach to design constraint-based analyses for java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for java and the second one deals with a sparse exception analysis for java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.
SableVM is an open-source virtual machine for java intended as a research framework for efficient execution of java bytecode1. The framework is essentially composed of an extensible bytecode interpreter using state-of...
详细信息
java has been a very important programminglanguage, especially with the cross-platform characteristic. But the CLASS file format defined in the java virtual machine specification contains many redundancies and replic...
详细信息
java has been a very important programminglanguage, especially with the cross-platform characteristic. But the CLASS file format defined in the java virtual machine specification contains many redundancies and replications of information. These redundancies most come from the "constant pool" of a CLASS file. We propose a compact binary file format and its associated archive format, called the Jato file format and Jatar, respectively, for the java system. Using these two formats, many of the redundancies can be removed. We didn't utilize any text compression technique in the proposed formats, so they will not sacrifice the loading speed and thus are very suitable for use in the embedded environments. We've also implemented our class loader capable of loading the Jato files into a regular java virtual machine. Using this approach, we show that the Jato file format is effective and promising while still keeping the cross-platform feature of java.
javaSpaces is a coordination infrastructure inspired by the shared dataspace model: processes interact by introducing, consuming, and testing for the presence/absence of data in a common repository. Besides these trad...
详细信息
We describe JastAdd, a java-based system for specifying and implementing the parts of compiler front ends that follow parsing. The system is built on top of a traditional java parser generator which is used for parsin...
详细信息
TestEra is a novel framework for automated testing of java programs. We have built TestEra upon Alloy, a lightweight first-order relational language, and the Alloy Analyzer, a fully automatic simulation and checking t...
详细信息
This paper presents a framework for supporting the optimization of java programs using attributes in java class files. We show how class file attributes may be used to convey both optimization opportunities and profil...
详细信息
The java platform has many characteristics that make it very desirable for integrated continuous media processing. Unfortunately, it lacks the necessary CPU resource management facility to support quality of service g...
详细信息
ISBN:
(纸本)1581133596
The java platform has many characteristics that make it very desirable for integrated continuous media processing. Unfortunately, it lacks the necessary CPU resource management facility to support quality of service guarantees for soft real-time multimedia tasks. In this paper, we present our new java Virtual Machine, Q-JVM, which brings CPU resource management to the java platform. Q-JVM is based on Sun's JVM version 1.1.5. It implements an enhanced version of the MTR-LS algorithm in its thread scheduler. Combined with admission control that could be implemented in an application-level resource manager, it is able to support QoS parameters such as fairness, bandwidth partitioning and delay bound guarantees, as well as the cumulative service guarantee. Our test results show that Q-JVM is backward compatible with the standard JVM from Sun, has low scheduling overhead, and is able to provide QoS guarantees as specified.
暂无评论