Abstract
We present the lazy happens-before relation (lazy HBR), which ignores mutex-induced edges to provide a more precise notion of state equivalence compared with the traditional happens-before relation. We demonstrate experimentally that the lazy HBR has the potential to provide greater schedule reduction during systematic concurrency testing with respect to a set of 79 Java benchmarks.
- C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In POPL, pages 110–121, 2005. Google Scholar
Digital Library
- P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems. Springer, 1996. Google Scholar
Digital Library
- P. Godefroid. Model checking for programming languages using VeriSoft. In POPL, pages 174–186, 1997. Google Scholar
Digital Library
- M. Musuvathi and S. Qadeer. Partial-order reduction for contextbounded state exploration. Technical Report MSR-TR-2007-12, Microsoft Research, 2007.Google Scholar
- M. Musuvathi et al. Finding and reproducing Heisenbugs in concurrent programs. In OSDI, pages 267–280, 2008. Google Scholar
Digital Library
- Introduction Example Evaluation Future Work: Lazy DPORGoogle Scholar
Index Terms
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
Recommendations
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
PPoPP 2015: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel ProgrammingWe present the lazy happens-before relation (lazy HBR), which ignores mutex-induced edges to provide a more precise notion of state equivalence compared with the traditional happens-before relation. We demonstrate experimentally that the lazy HBR has ...
Déjà Fu: a concurrency testing library for Haskell
Haskell '15Systematic concurrency testing (SCT) is an approach to testing potentially nondeterministic concurrent programs. SCT avoids potentially unrepeatable results that may arise from unit testing concurrent programs. It seems to have received little ...
Déjà Fu: a concurrency testing library for Haskell
Haskell '15: Proceedings of the 2015 ACM SIGPLAN Symposium on HaskellSystematic concurrency testing (SCT) is an approach to testing potentially nondeterministic concurrent programs. SCT avoids potentially unrepeatable results that may arise from unit testing concurrent programs. It seems to have received little ...






Comments