[m-dev.] structure reuse and static ground terms

[Fergus Henderson]

On 20-Sep-2000, Nancy Mazur <Nancy.Mazur at cs.kuleuven.ac.be> wrote:
> 
> Avoid generating static ground terms when trying to do structure
> reuse (in order to be able to destructively update ground terms). 
> This solves a bug which we tried to track down for about 
> the given 2 hours: segmentation fault when destructively updating
> some fields.
> 
> handle_options.m:
> 	The option infer_structure_reuse implies static_ground_terms to
> 	be set off. 

For many programs, this will actually kill your performance --
the performance loss from --no-static-ground-terms may well be
greater than any gain you get from --infer-structure-reuse.

What really needs to be done is to change the static ground terms
optimization so that if structure reuse is enabled, it does the
static ground term optimization (only) on terms which are not required
to be unique.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------