Re: [friam] E-order can be optimized out of CapTP for DeepFrozen objects
"Karp, Alan H" <[email protected]> Thu, 3 Oct 2013 15:26:12 +0000
| Newsgroups | gmane.comp.capabilities.general,gmane.comp.lang.e.general |
|---|---|
| Message-ID | <8AD823089998C849A832D86972E69CD53E73F5F6@G4W3222.americas.hpqcorp.net> |
Daira Hopwood wrote: > > Ah OK. At a previous friam, when I suggested roughly similar optimizations in the context > of a Ken-like protocol (releasing messages before the end of a turn but marking them > speculative), I got a lot of pushback on that idea for the above reason. > Yes. The pushback had nothing to do with whether or not the message was delivered to the machine. It had to do with allowing that message to be processed and generate further speculative messages. Recovering from a failure ended up being essentially a Chandy-Lamport scheme. ________________________ Alan Karp Principal Scientist Enterprise Services, Office of the CTO Hewlett-Packard Company 1501 Page Mill Road Palo Alto, CA 94304 (650) 857-3967, fax (650) 857-7029 http://www.hpl.hp.com/personal/Alan_Karp