9 ms·
There is simply no way you can enforce "thread safety on ALL data", unless you pay unreasonable amount of synchronization costs, which in that case, is a trivia
by up2isomorphism 6y ago
There is simply no way you can enforce "thread safety on ALL data", unless you pay unreasonable amount of synchronization costs, which in that case, is a trivial thing to accomplish.
This is as same as some one tell you that you will never loose any money by investing a certain asset.
- steveklabnik 6y agoHow well do you know Rust, and how it works, and what it guarantees? Like, do you have a specific objection to the way Rust accomplishes this?
- up2isomorphism 6y ago"thread safety for all data" is not even a well-defined term, I do not know what you are trying to argue about.
- deleted 6y ago[deleted]
- burntsushi 6y agoI gave you a definition in my initial reply to you.
- howinteresting 6y agoRust is a constructive proof that your assertion is simply false. It comes at the cost of some complexity—every Rust type carries thread-safety information with it—but the benefit is that writing correct parallel Rust code becomes very easy. What you cannot easily do in Rust is dynamically switch thread safety on or off.