The lazy happens-before relation: better partial-order reduction for systematic concurrency testing

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. Categories and Subject Descriptors D.2.5 [Software Engineering]: Testing and Debugging; D.2.4 [Software Engineering]: Software/Program Verification Keywords Partial-order reduction; systematic concurrency testing

• Type: Journal
• Year: 2015
• Where: PPOPP
• Authors: Paul Thomson, Alastair F. Donaldson
• Keywords: Distributed And Parallel Computing, PPOPP 2015