Last time I checked, the race detector could only find a certain percentage of data races – those easier to detect . The crux with such systems is you tend to

Last time I checked, the race detector could only find a certain percentage of data races – those easier to detect . The crux with such systems is you tend to rely on them...