New algorithm for determinacy- race detection
	• 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.