Hacker News new | ask | show | jobs
by timClicks 2006 days ago
It's still fearless, as in you don't need to worry that you might create data races, but can be clunky to write in some cases.
1 comments

If the borrow checker has no representation of a memory model, for example relaxed/acquire/release, you can't write a concurrent queue without triple checking for statement ordering, resulting barriers and then formally verify it otherwise you are very likely to introduce data races.
The borrow checker doesn’t understand orderings, as it doesn’t specifically need to. You can get race conditions, but not data races. Yes, you need to be careful when writing this kind of code.