This paper presents a static race detection analysis for multithreaded java programs. Our analysis is based on a formal type system that is capable of capturing many common synchronization patterns. These patterns inc...
详细信息
This paper presents a static race detection analysis for multithreaded java programs. Our analysis is based on a formal type system that is capable of capturing many common synchronization patterns. These patterns include classes with internal synchronization, classes that require client-side synchronization, and thread-local classes. Experience checking over 40,000 lines of java code with the type system demonstrates that it is an effective approach for eliminating races conditions. On large examples, fewer than 20 additional type annotations per 1000 lines of code were required by the type checker, and pie found a number of races in the standard java libraries and other test programs.
As research and implementation continue to facilitate high performance computing in java, applications can benefit from resource management and prediction tools. In this work, we present such a tool for network round ...
详细信息
ISBN:
(纸本)1581132883
As research and implementation continue to facilitate high performance computing in java, applications can benefit from resource management and prediction tools. In this work, we present such a tool for network round trip time and bandwidth between a user's desktop and any machine running a web server 1. javaNws is a java implementation and extension of a powerful subset of the Network Weather Service (NWS), a performance prediction toolkit that dynamically characterizes and forecasts the performance available to an application. The javaNws capitalizes on the java execution model to eliminate the need for NWS installation and login accounts on the machines of interest. In addition, we provide a quantitative equivalence study of the java and C socket interface and show that the data collected by the javaNws is as predictable as, that collected by the NWS (using C).
In this paper we examine the possibility of applying java in the field of telecommunications. We present a method based on formal descriptions we worked out for implementation of communication protocols in java. We de...
详细信息
A new framework consisting of distributed objects for rapid multidisciplinary analysis is developed and applied to a high-speed civil transport configuration. The framework is based on the Common Object Request Broker...
详细信息
Kava is a powerful and portable reflective java that uses byte code rewriting to implement behavioural reflection. In our poster we briefly overview the Kava system, give an example of its use, and contrast it with si...
详细信息
This paper describes the definition and implementation of an OpenMP-like set of directives and library routines for shared memory parallel programming in java. A specification of the directives and routines is propose...
详细信息
ISBN:
(纸本)1581132883
This paper describes the definition and implementation of an OpenMP-like set of directives and library routines for shared memory parallel programming in java. A specification of the directives and routines is proposed and discussed. A prototype implementation, JOMP, consisting of a compiler and a runtime library, both written entirely in java, is presented, which implements a significant subset of the proposed specification.
Several coupling frameworks have been introduced in the literature to identify and measure the design complexity of object-oriented software systems. The coupling metric COF presented by the unified framework consider...
详细信息
The thread synchronization mechanism employed by java is derived from the Hoare’s monitor concept. In order to minimize its implementation complexity, the monitor provided by java is quite primitive. This design deci...
详细信息
Ever since java was introduced world wide, the execution performance has always been a problem. As one of the solutions, a bytecode instruction folding process far java processors was developed in a Picojava model and...
详细信息
ISBN:
(纸本)0769507808;0769507816
Ever since java was introduced world wide, the execution performance has always been a problem. As one of the solutions, a bytecode instruction folding process far java processors was developed in a Picojava model and a Producer, Operator and Consumer (POC) model, but if could not handle certain types of instruction sequences. In this paper, a new instruction folding scheme based on a new, advanced POC model is proposed and demonstrates improvement in bytecode execution. The proposed POC model is able to detect and fold all possible instruction sequence types dynamically in hardware, including a sequence that is separated by other bytecode instructions. SPEC JMV98 benchmark results shaw that the proposed POC model-based folder can save more than 90% of folding operations. In addition, a design of the proposed POC model-based folding process in hardware is much smaller and more efficient than traditional folding mechanisms.
Exception handling mechanisms are intended to help developers build robust systems. Although an exception handling mechanism provides a basis for structuring source code dealing with unusual situations, little informa...
详细信息
Exception handling mechanisms are intended to help developers build robust systems. Although an exception handling mechanism provides a basis for structuring source code dealing with unusual situations, little information is available to help guide a developer in the appropriate application of the mechanism. In our experience, this lack of guidance leads to complex exception structures. In this paper, we reflect upon our experiences using the java exception handling mechanism. Based on these experiences, we discuss two issues we believe underlie the difficulties encountered: exceptions are a global design problem, and exception sources are often difficult to predict in advance. We then describe a design approach, based on work by Litke for Ada programs, which we have used to simplify exception structure in existing java programs.
暂无评论