3 ms·
After enough YOE you can perform tsan-like static analysis just by reading the code.
by intelVISA 3y ago
After enough YOE you can perform tsan-like static analysis just by reading the code.
- nayuki 3y agoYOE = years of experience
- adrianN 3y agoMaybe if you work on a tiny codebase.
- UncleMeat 3y agoGiven how many times I've seen people on the C++ standards committee make a concurrency mistake, I don't believe you. Thread safety is extraordinarily difficult to reason about by looking at code once you've moved beyond very basic designs. Tsan is also not static analysis.