alt Hacker NewsIt entirely prevents race conditions due to the borrow checker and safe constructs like Mutexes.
Logical race conditions and deadlocks can still happen.
Replies
globalnode • yesterday at 11:08 PM
ah i see, thanks. i have no idea what rust code looks like but from the article it sounds like a language where you have a lot of metadata about the intended usage of a variable so the compiler can safety check. thats its trick.
➕ show 2 replies
Rust's specific claims are that safe Rust is free from data races, but not free from general race conditions, including deadlocks.