[m-rev.] for review: improve trail usage optimization of disjunctions

Ralph Becket rafe at cs.mu.OZ.AU
Wed Dec 7 15:42:58 AEDT 2005

Julien Fischer, Wednesday,  7 December 2005:
> For review by anyone.
> Estimated hours taken: 3
> Branches: main
> Further improve trail usage optimization by omitting reset_undo_ticket
> instructions from disjuncts where the previous disjunct did not modify the
> trail.  This can be done even in disjunctions where some of the disjuncts do
> modify the trail.  At the moment this optimization is only implemented
> for the MLDS backend - I'll add it to the lowlevel backend as a separate
> change.

That looks fine.
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

More information about the reviews mailing list