On the Structure of Sharing in Open Concurrent Java Programs
نویسندگان
چکیده
This paper studies the structure of shared objects in open concurrent Java programs. It proposes classification of shared objects into three categories: central, owned and distributed. This classification facilitates program understanding and error detection in concurrent programs. The paper presents a new static analysis that infers central, owned and distributed objects in open concurrent Java programs. It presents experiments that reveal the structure of shared objects in real-world Java programs.
منابع مشابه
A Framework of Concurrent Mechanism Based on Java Multithread
The continuously increased demand for paralleling multitask in domains such as grid computing and cloud computing has significantly promoted research on concurrent mechanism and concurrent programming. The Java programming language supports multithread mechanism for developing paralleling programs, however, it is difficult to apply Java concurrent primitives to specific problems. Thus, for the ...
متن کاملSlicing Concurrent Java Programs
Although many slicing algorithms have been proposed for object-oriented programs, no slicing algorithm has been proposed which can be used to handle the problem of slicing concurrent Java programs correctly. In this paper, we propose a slicing algorithm for concurrent Java programs. To slice concurrent Java programs, we present a dependence-based representation called multithreaded dependence g...
متن کاملBest Paper Award at ICST ’13 CHECK-THEN-ACT Misuse of Java Concurrent Collections
Concurrent collections provide thread-safe, highly-scalable operations, and are widely used in practice. However, programmers can misuse these concurrent collections when composing two operations where a check on the collection (such as non-emptiness) precedes an action (such as removing an entry). Unless the whole composition is atomic, the program contains an atomicity violation bug. In this ...
متن کاملConceptual Model of Knowledge Management from the Perspective of Human Resources in Educational-Research Institutions
This paper focuses on designing a conceptual model of knowledge management from the point of view of human resources employed in educational-research institutes. The research method was descriptive-survey study and the statistical population of this study consisted of 56 experts and managers of an educational research institute. They were asked by simple random sampling method through a researc...
متن کاملDesign of a Toolset for Dynamic Analysis of Concurrent Java Program
The Java language supports the use of monitors, sockets, and remote method invocation for concurrent programming. Also, Java classes can be defined to simulate other types of concurrent constructs. However, concurrent Java programs, like other concurrent programs, are difficult to specify, design, code, test and debug. In this paper, we describe the design of a toolset, called JaDA (Java Dynami...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010