2 ms·
Multithreaded code can easily be non-deterministic, with things like OS preemption leaking into the sandbox. Guaranteed determinism is hard, it needs a determin
by orbital-decay 2y ago
Multithreaded code can easily be non-deterministic, with things like OS preemption leaking into the sandbox. Guaranteed determinism is hard, it needs a deterministic emulator.
- hinkley 2y agoYou're gonna need a better programming language if you want to get to that level.
- Quekid5 2y agoNot really for building code, at least. It's a common problem, but it's not insurmountable. Use the equivalent of 'make -j1' or whatever... This requires engineering on the part of compiler writers, but ultimately is solvable, given enough funding. (About the compiler writers part: I'm thinking about GHC Haskell and the like... the Clangs/GCCs of the world will have no problems because of Translation Units. Things may change when Modules are a practical choice.)