News for hackers. Stuff that matters.

A comment on Rust 0.9 released. Parent comment

Re:Rust 0.9 released by lmm on Friday January 10, 2014 @06:05AM (#7036065)
What do you mean by "rules out data races"? If I have one piece of code that writes two variables and another that reads them on another thread, there's no way for the compiler to know whether those two changes need to be atomic, serialized, or uncoordinated.
[ Parent | on HN ]
Re:Rust 0.9 released by pcwalton on Friday January 10, 2014 @01:04PM (#7038189)
Access to shared mutable memory without use of a synchronization primitive. It's the same definition data race detectors use.
[ Parent | on HN ]
Re:Rust 0.9 released by dbaupp on Friday January 10, 2014 @07:40AM (#7036311)
I believe the "data race" definition pcwalton is using is the one from C++11: "a race condition between non-atomic variables". http://en.wikipedia.org/wiki/Race_condition#C.2B.2B
[ Parent | on HN ]
Re:Rust 0.9 released by samnardoni on Friday January 10, 2014 @07:49AM (#7036333)
2 threads can't access the same variable in Rust without unsafe{}. I think, anyway...
[ Parent | on HN ]