image saying "at least the important software isn't being vibe cod-" (cut off) and showing a graph of em dashes in the linux kernel over time with a sharp rise the past few years
you are viewing a single comment's thread
view the rest of the comments

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.

  • source
  • parent