SideTrack: generalizing dynamic atomicity analysis

Authors:
Jaeheon Yi;Caitlin Sadowski;Cormac Flanagan
Affiliations:
University of California at Santa Cruz, Santa Cruz, CA;University of California at Santa Cruz, Santa Cruz, CA;University of California at Santa Cruz, Santa Cruz, CA
Venue:
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Year:
2009

Citing 23
Cited 12

Concurrency control and recovery in database systems

Concurrency control and recovery in database systems
What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)
Reduction: a method of proving properties of parallel programs

Communications of the ACM
Shared Memory Consistency Models: A Tutorial

Computer
Static conflict analysis for multi-threaded object-oriented programs

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Atomizer: a dynamic atomicity checker for multithreaded programs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static analysis of atomicity for programs with non-blocking synchronization

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Automated type-based analysis of data races and atomicity

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Exploiting Purity for Atomicity

IEEE Transactions on Software Engineering
Associating synchronization constraints with data in an object-oriented language

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Runtime Analysis of Atomicity for Multithreaded Programs

IEEE Transactions on Software Engineering
Accurate and efficient runtime detection of atomicity errors in concurrent programs

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Goldilocks: a race and transaction-aware java runtime

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
jPredictor: a predictive runtime analysis tool for java

Proceedings of the 30th international conference on Software engineering
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Randomized active atomicity violation detection in concurrent programs

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
FastTrack: efficient and precise dynamic race detection

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Tiddle: a trace description language for generating concurrent benchmarks to test dynamic analyses

WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Causal atomicity

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification

The RoadRunner Dynamic Analysis Framework for Concurrent Programs

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Falcon: fault localization in concurrent programs

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
PENELOPE: weaving threads to expose atomicity violations

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Efficient data race detection for distributed memory parallel programs

Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis
Tiddle: a trace description language for generating concurrent benchmarks to test dynamic analyses

WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
BEST: A symbolic testing tool for predicting multi-threaded program failures

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Scalable and precise symbolic analysis for atomicity violations

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
DTAM: dynamic taint analysis of multi-threaded programs for relevancy

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Predicting null-pointer dereferences in concurrent programs

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Bounded-Interference sequentialization for testing concurrent programs

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Predicting serializability violations: SMT-Based search vs. DPOR-Based search

HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed trace is not serializable; and imprecise tools, which generalize from the observed trace to report errors that might occur on other traces, but which may also report false alarms. This paper presents SideTrack, a lightweight online dynamic analysis that generalizes from the observed trace without introducing the potential for false alarms. If SideTrack reports an error, then some feasible trace of the source program is not serializable. Experimental results show that this generalization ability increases the number of atomicity violations detected by SideTrack by 40%.