2 ms·
Those disallow data races, not race conditions. I find that this blog post explains the distinction well: https://blog.regehr.org/archives/490 https://blog.rege
by zeeboo 7y ago
Those disallow data races, not race conditions. I find that this blog post explains the distinction well: https://blog.regehr.org/archives/490 https://blog.regehr.org/archives/490
- Quekid5 7y agoAh, yes. My bad... I missed that crucial detail. Still, maybe a non-TC protocol language could fulfill the criteria?