Thinking on: "[data races] are straightforward to identify" It's a the same as the problem of knowing what data is used in what thread, which is hard and unsol

Thinking on: "[data races] are straightforward to identify" It's a the same as the problem of knowing what data is used in what thread, which is hard and unsolvable by automation, so I doubt it's an easy problem.