AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection
A serializability violation detector for shared-memory server programs