Title :
Dynamic detection of atomic-set-serializability violations
Author :
Hammer, Christian ; Dolby, Julian ; Vaziri, Mandana ; Tip, Frank
Author_Institution :
Univ. Karlsruhe (TH), Karlsruhe
Abstract :
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which they are declared. We also proposed atomic-set serializability as a correctness criterion for concurrent programs, stating that units of work must be serializable for each atomic set. We showed that a set of problematic data access patterns characterize executions that are not atomic-set serializable. Our criterion subsumes data races (single-location atomic sets) and serializability (all locations in one set). In this paper, we present a dynamic analysis for detecting violations of atomic-set serializability. The analysis can be implemented efficiently, and does not depend on any specific synchronization mechanism. We implemented the analysis and evaluated it on a suite of real programs and benchmarks. We found a number of known errors as well as several problems not previously reported.
Keywords :
concurrency control; object-oriented programming; system monitoring; code fragment; concurrent object-oriented program; consistency property; data access pattern; dynamic analysis; dynamic atomic-set-serializability violation detection; memory location; Algorithm design and analysis; Atomic measurements; Computer bugs; Dynamic programming; Error correction; Logic programming; Logic testing; Object oriented programming; Software engineering; Yarn; atomicity; concurrent object-oriented programming; data races; dynamic analysis; serializability;
Conference_Titel :
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location :
Leipzig
Print_ISBN :
978-1-4244-4486-1
Electronic_ISBN :
0270-5257
DOI :
10.1145/1368088.1368120