3 ms·
> Rust's safety story covers neither race conditions nor leaks. It covers a type of race condition, namely unsynchronized concurrent access to memory.
by comex 7y ago
> Rust's safety story covers neither race conditions nor leaks.
It covers a type of race condition, namely unsynchronized concurrent access to memory.
- burntsushi 7y agoData races and race conditions are orthogonal, according to some: https://blog.regehr.org/archives/490 https://blog.regehr.org/archives/490 I think you've disagreed with this in the past, and I don't know how to resolve that. But certainly, I think we can agree that saying that Rust's safety story prevents race conditions is, at minimum, very imprecise.
- comex 7y agoOops, I wasn't trying to reopen an argument. I didn't recall us having discussed it before (still don't, but I forget things easily). And yeah, I'd agree with your last sentence.
- burntsushi 7y agoAh yeah, it could have been someone else... Not sure. It was a while ago. Anyway, I don't personally have a strong opinion here on definitions here. (I'm not qualified to.)