[m-dev.] An algorithm for heap-reclamation on failure

[Thomas Charles CONWAY]

> Thomas Charles CONWAY, you wrote:
> > 
> > Here is a new algorithm for allowing the reclamaition of heap on failure
> > (which we currently do in non-gc grades) for the case where multiple
> > threads of execution may use a single heap. Your comments would be welcome,
> > especially if you find a bug in it.
> 
> I think it looks good.
> 
> > code for reclaiming heap on backtracking:
> > 	...
> > 	/* oldval is the value of hp that was stored in the choice-point */
> > 	hp = (oldval > min ? oldval : min);
> > 	....
> 
> That should be encapsulated in the `restore_hp' macro, of course.
> 

Of course. See the diff.

-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  "Thomas Tallis is dead, and muic dies." - William Byrd