[m-rev.] for post-commit review: stack extension

[Julien Fischer]

On Tue, 13 Sep 2005, Zoltan Somogyi wrote:

> For review by anyone. Don't bother mentioning the places marked by XXX;
> I will work on them.
>
> Zoltan.
>
> Introduce a mechanism for extending the det and nondet stacks when needed.
> The mechanism takes the form of a new grade component, .exts ("extend stacks").
>
> While the new mechanism may be useful in its own right, it is intended mainly
> to support a new implementation of minimal model tabling, which will use a
> separate Mercury context for each distinct subgoal. Each context has its own
> det and nondet stack. Clearly, we can't have hundreds of contexts each with
> megabyte sized det stacks. The intention is that the stacks of the subgoals
> will start small, and be expanded when needed.
>
> The runtime expansion of stacks doesn't work yet, but it is unnecessarily
> hard to debug without an installed compiler that understands the new grade
> component, which is why this diff will be committed before that is fixed.
>
That looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------