glynn@info.ucl.ac.be (Kevin Glynn) writes:
> This would be hard to arrange with the normal scheme (if we push the
> abstraction on to cacStack how does gCollectRecurse() know which G
> registers have still to be gc'd).
hmm... perhaps the usage vector could be pushed onto the cacStack
too. Something similar is done for suspension lists. I am not saying
it's a good idea - but it is an option.
> I am interested to hear whether people think this will cause problems
> and for better ways of achieving this.
Me too. I mentioned the potential problem because the invariant in
question was drilled by Christian into the rest of us.
The problem you mentioned about falling through to the (IIRC)
OZ_cacBlock case: could it be related to this issue?
Cheers,
-- Dr. Denys Duchier Équipe Calligramme LORIA, Nancy, FRANCE - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.