Professional software engineer, musician, gamer, stoic, democratic socialist

  • 1 Post
  • 4 Comments
Joined 3 years ago
cake
Cake day: July 2nd, 2023

help-circle
  • 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.