5 ms·
It's interesting to see the number of bugs related to race conditions here, and it would be very interesting to know if Rust's protection against race condition
by roca 5y ago
It's interesting to see the number of bugs related to race conditions here, and it would be very interesting to know if Rust's protection against race conditions would have been relevant ... there are plenty of good modern memory-safe languages, but not many with Rust-style freedom from data-races.
- eru 5y ago> [...] there are plenty of good modern memory-safe languages, but not many with Rust-style freedom from data-races. Haskell's Software-Transactional-Memory (and general focus on immutability-by-default) are another interesting approach towards the same goal. Software Transactional Memory (STM) is perhaps much easier to get started with than Rust's model. (Though the same can not be said for the rest of Haskell.) The failure model with STM is that your stuff runs slow, if you don't know what you are doing.
- miohtama 5y agoSTM is super exciting, but also an old concept. Is the runtime penalty too high, or is there any other reason it has not gained popularity? I remember Intel touting CPU STM extensiona back in a day.