Re: avoiding races in IPDL protocols

> As near as I can tell from their papers, the Singularity folks are
> using something like #2, and they seem to have implemented a whole
> operating system with it.  So perhaps things aren't so bad.  See

Typo:  they seem to be using something like #3.

> On the plus side, our "network" is
> reliable, in-order, and low latency, so we avoid a *lot* of complexity
> there.

And our "network" also only has two end points, which is another nice
simplification.