•Similar to SP-Bags algorithm
with two parts:
–Check whether threads are
logically parallel
–Use shadow spaces to detect
determinacy race
•Use order maintenance
data-structure to determine whether threads are parallel
•Gain: Order maintenance
operations are O(1) amortized time.