808
you are viewing a single comment's thread
view the rest of the comments
[-] tatterdemalion@programming.dev 1 points 21 hours ago

You are correct to point out the distinction between race conditions and data races. Rust only rules out data races.

I don't know whether the race in question was a data race or not.

I would still wager that Rust code generally has fewer race conditions than C, given that mutable aliasing can be used as symbolic prevention of race conditions, i.e. your &mut T doesn't necessarily need to hold data; it can represent some domain concept.

aren’t language specific

There are actually languages that guarantee deterministic concurrent execution, and this can rule out larger classes of race conditions than just data races. See the Bloom language and CALM theorem.

this post was submitted on 26 Oct 2026
808 points (95.7% liked)

Programmer Humor

33844 readers
1329 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 3 years ago
MODERATORS