Preemption sealing for efficient concurrency testing

Authors:
Thomas Ball;Sebastian Burckhardt;Katherine E. Coons;Madanlal Musuvathi;Shaz Qadeer
Affiliations:
Microsoft Research;Microsoft Research;University of Texas at Austin;Microsoft Research;Microsoft Research
Venue:
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2010

Citing 20
Cited 6

Isolating failure-inducing thread schedules

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
From symptom to cause: localizing errors in counterexample traces

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Producing scheduling that causes concurrent programs to fail

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Error explanation with distance metrics

International Journal on Software Tools for Technology Transfer (STTT)
AVIO: detecting atomicity violations via access interleaving invariants

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Iterative context bounding for systematic testing of multithreaded programs

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
Race directed random testing of concurrent programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Fair stateless model checking

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Monitoring Atomicity in Concurrent Programs

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
A calculus of atomic actions

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The theory of deadlock avoidance via discrete control

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ISOLATOR: dynamically ensuring isolation in comcurrent programs

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A randomized dynamic program analysis technique for detecting real deadlocks

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Finding and reproducing Heisenbugs in concurrent programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Deadlock immunity: enabling systems to defend against deadlocks

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation

FITE: future integrated testing environment

Proceedings of the FSE/SDP workshop on Future of software engineering research
Delay-bounded scheduling

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Change-aware preemption prioritization

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Testing atomicity of composed concurrent operations

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Model checking distributed systems by combining caching and process checkpointing

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code

Proceedings of the 34th International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks, and deadlocks. We present a scheduling strategy called preemption sealing that controls where and when a scheduler is disabled from preempting threads during program execution. We demonstrate that this strategy is effective in addressing two key problems in testing industrial-scale concurrent programs: (1) tolerating existing errors in order to find more errors, and (2) compositional testing of layered, concurrent systems. We evaluate the effectiveness of preemption sealing, implemented in the Chess tool, for these two scenarios on newly released concurrency libraries for Microsoft's .NET framework.