[e-lang] Q: asynchronous tail recursion?

[Mark S. Miller]

Kevin Reid wrote:
> On Jan 2, 2007, at 11:30, Mark S. Miller wrote:
>> If each of the participating vats are doing local tail-recursive  
>> promise shortening, as you've implemented, then this should combine  
>> with the distributed promise-chain shortening already implemented  
>> by CapTP (as driven by __whenMoreResolved messages) to prevent any  
>> accumulation. Perhaps I misunderstand the example?
> 
> I was not certain that CapTP did prompt shortening. How does it avoid  
> the wMR reactors you mention retaining otherwise-garbage promises?


 From just thinking about distributed tail-recursive promise loops, I have 
been unable to satisfy myself that I understand whether a bounded or an 
unbounded number of __whenMoreResolved messages would accumulate, in order to 
keep track of the needed promise-shortening bookkeeping. At some point, 
someone should instrument CapTP appropriately, try it, and see.

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM