you are viewing a single comment's thread
view the rest of the comments
[–] 6 points 10 months ago (1 child)

That is not actually a "data race". It is a race condition for sure, but a data race is a very specific thing - where two threads access the same location at the same time and at least one is a write.

That could be unsafe in Rust because it might lead to reading "impossible values" like an enum that isn't equal to any of its variants. Therefore safe Rust must prevent it or there's a soundness hole.

  • source
  • parent
  • hideshow 1 child comment