A classification of concurrency failures in java components

Long, B. J. and Strooper, P. A. (2003). A classification of concurrency failures in java components. In: M. Charpentier and B. Sanders, Proceedings of the International Parallel and Distributed Processing Symposium 2003. International Parallel and Distributed Processing Symposium 2003, Nice, France, (287-294). 22-26 April 2003.


Author Long, B. J.
Strooper, P. A.
Title of paper A classification of concurrency failures in java components
Conference Paper Type Fully Published Paper
Conference name International Parallel and Distributed Processing Symposium 2003    (ERA 2010 Rank A)
DOI 10.1109/IPDPS.2003.1213512
Conference location Nice, France
Conference dates 22-26 April 2003
Proceedings title Proceedings of the International Parallel and Distributed Processing Symposium 2003
Editor M. Charpentier
B. Sanders
Place published Los Alamitos, CA, U.S.A.
Publisher IEEE Computer Society
Publication date 2003
ISBN 0-7695-1926-1
ISSN 1530-2075
Start page 287
End page 294
Total pages 8
Collection year 2003
Language eng
Abstract/Summary The Java programming language supports concurrency. Concurrent programs are hard to test due to their inherent non-determinism. This paper presents a classification of concurrency failures that is based on a model of Java concurrency. The model and failure classification is used to justify coverage of synchronization primitives of concurrent components. This is achieved by constructing concurrency flow graphs for each method call. A producer-consumer monitor is used to demonstrate how the approach can be used to measure coverage of concurrency primitives and thereby assist in determining test sequences for deterministic execution.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Keyword Java
Flow graphs
Multi-threading
Object-oriented programming
Program testing
Synchronisation
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 70 Abstract Views  -  Detailed Statistics
Created: Fri, 24 Aug 2007, 02:11:44 EST