2009
DOI: 10.1007/978-3-642-00590-9_28
|View full text |Cite
|
Sign up to set email alerts
|

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

Abstract: Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel code is free of such thread interference errors. Deterministically-parallel code may create and use new threads, via fork and join, and coordinate their behavior with synchronization primitives, such as barriers and semaphores. Such code does not satisfy the traditional non-interference property of atomicity (or serializability), howe… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
57
0

Year Published

2010
2010
2013
2013

Publication Types

Select...
7

Relationship

0
7

Authors

Journals

citations
Cited by 56 publications
(57 citation statements)
references
References 28 publications
0
57
0
Order By: Relevance
“…We have mentioned in Section 1 some of the static methods [3,4], runtime monitoring [5,1,6,7,8], and runtime prediction [9,2,10,11,12,13] for detecting atomicity violations. Lu et al [1] used access interleaving invariants to capture patterns of test runs and then monitor production runs for detecting three-access atomicity violations.…”
Section: Related Workmentioning
confidence: 99%
See 2 more Smart Citations
“…We have mentioned in Section 1 some of the static methods [3,4], runtime monitoring [5,1,6,7,8], and runtime prediction [9,2,10,11,12,13] for detecting atomicity violations. Lu et al [1] used access interleaving invariants to capture patterns of test runs and then monitor production runs for detecting three-access atomicity violations.…”
Section: Related Workmentioning
confidence: 99%
“…In contrast, runtime prediction aims at detecting atomicity violations in all feasible interleavings of events of the given trace. In other words, even if no violation exists in that trace, but an alternative interleaving is erroneous, a predictive method [9,2,10,11,12,13] may be able to catch it without actually re-running the test.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…There exists a large body of work on both static and dynamic analysis for detecting violations of such properties (e.g., [8,6] and [27,7,18,26]). These existing methods are different from ours because they are checking different properties.…”
Section: Related Workmentioning
confidence: 99%
“…The main driving application in this paper is runtime predictive analysis [12,25,5,11,23,29,19], which is a promising method for detecting concurrency bugs by analyzing an execution trace. In other words, even if the given test execution is not erroneous, but if an alternative interleaving of the events of that trace can trigger a failure, runtime predictive analysis will be able to detect it.…”
Section: Motivationmentioning
confidence: 99%