4 ms·
> for everything else on userspace compiled managed languages are a much better option Except for thread safety.
by timeon 1y ago
> for everything else on userspace compiled managed languages are a much better option
Except for thread safety.
- pjmlp 1y agoFearless concurrency, is only fearless for a very fine grained version of it. In memory resources shared among threads. Turns out threads also may share resources like out-of-process files, memory mapped regions, shared memory, databases, distributed transactions,.... where the Send and Sync traits is of no help. Also you happen to forget Haskell has a Software Transactional Memory, and Swift also has similar protocols since version 6, and effects are a thing in OCaml, Scala, Koka, while languages like Dafny, Koka and Idris also provide similar capabilities via proofs.
- okanat 1y agoThat's why everybody who cares about OS safety should invest into capability-based operating systems. They take the concept of Send and Sync and implement at the runtime of the entire computer.