[cap-talk] controversial article

[Karp, Alan H]

MarkM wrote:

While it is true that the infinite loop example only applies within a vat, E's distributed semantics require unbounded message buffering in the same sense in which its local semantics requires unbounded heap and stack. Unbounded buffering requirements do not normally prevent a protocol from claiming "liveness", FWIW.

Does that mean buffering on the sender side is better for defensive correctness?

________________________
Alan Karp
Principal Scientist
Virus Safe Computing Initiative
Hewlett-Packard Laboratories
1501 Page Mill Road
Palo Alto, CA 94304
(650) 857-3967, fax (650) 857-7029
http://www.hpl.hp.com/personal/Alan_Karp

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/cap-talk/attachments/20090702/eaed6db9/attachment-0001.html