‹ BackHN Continuity

Thread

Deterministic Concurrency [video]

90 points · 6 comments · surprisetalk

  1. yvdriess · · focus · HN ↗
    I find it useful to use the term "determinate" (determinacy) [1,2] when dealing with concurrent or parallel computing. That puts the focus on equality of outcome (same result), leaving open "deterministic" to mean the exact same sequence of events (schedule).

    [1] As used by Jack Dennis and Arvind: <a href="https:&#x2F;&#x2F;cacm.acm.org&#x2F;opinion&#x2F;the-resurgence-of-parallelism&#x2F;#body-4" rel="nofollow">https:&#x2F;&#x2F;cacm.acm.org&#x2F;opinion&#x2F;the-resurgence-of-parallelism&#x2F;#... [2] Originally defined by Karp &amp; Miller: <a href="https:&#x2F;&#x2F;www.jstor.org&#x2F;stable&#x2F;2946247" rel="nofollow">https:&#x2F;&#x2F;www.jstor.org&#x2F;stable&#x2F;2946247

    1. tancop · · focus · HN ↗
      And it tracks with Determinate Systems, the Nix company. Nix is also focused on giving you the same results every time even if the build process is chaotic inside.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.