Now the non-deterministic implementation does more work than a deterministic implementation. It generates a random number and sorts the branches. The latter (so

Now the non-deterministic implementation does more work than a deterministic implementation. It generates a random number and sorts the branches. The latter (sorts the branches) is not needed in the above pseudo code. Doubling the number of instructions has no impact on run-time performance. And there are more optimization opportunities in implementing a deterministic design. Now, the non-deterministic implementation needs to lock all involved channels before subsequent handling, a deterministic implementation might not need to.