One-Pagers‎ > ‎

OP2: Beating Dynamic Partial Order Reduction

The goal of partial-order reduction (POR) is to reduce the number of transition orderings that have to be explored to discover all relevant behaviors of a concurrent system.

Construct an example of a system on which dynamic POR will achieve only very little or no reduction. Describe your system with pseudo-code and a set of shared objects / locks and briefly explain the problems for dynamic POR. Then sketch your own, possibly domain specific partial order reduction technique that would achieve better reduction.