[m-dev.] for review: change default stack size

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Dec 19 01:29:31 AEDT 2000

On 14-Dec-2000, Robert Jeschofnik <rejj at students.cs.mu.oz.au> wrote:
> Should perhaps the size of the nondet stack also be looked into? Is it also
> much larger than is typically used?

Well, the default nondet stack size is only 128k -- much smaller than
the default det stack size.  It is probably much larger than is typically
used in relative terms, but in absolute terms the difference is at most
128k, which is peanuts in comparison to the 4M for the det stack.

Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list