4 ms·
Using "determinism" with respect to concurrency means about a billion different things depending on who you talk to. For example, is the process that results f
by gdp 17y ago
Using "determinism" with respect to concurrency means about a billion different things depending on who you talk to.
For example, is the process that results from parallel composition of two deterministic processes deterministic or non-deterministic?
The answer is "it depends".
Concurrent "deterministic" processes are not significantly easier to reason about (informally) than non-deterministic ones, whichever definition you choose.
In fact, re-reading, I definitely don't see anything in there that could described by either "determinism" or "non-determinism", so either your definition differs wildly from mine, or you're choosing to be dismissive deliberately :)
- fhars 17y agoUnix pipes (deterministic concurrrency) are far easier to reson about than a mutitheaded shared state program (nondeterministic concurrency). But then you can of course argue that this is due to the fact that the shell with proper unix filters form a monad with cat as the unit and the pipe operation | as bind.