[m-rev.] for review: change the way IO actions are handled in the declarative debugger

[Ian MacLarty]

On 17 Jun 2005, at 02:51, Julien Fischer wrote:

>
>
> On Wed, 15 Jun 2005, Ian MacLarty wrote:
>
>> For review by anyone.
>>
>> Estimated hours taken: 4
>> Branches: main
>>
>> Do not build an IO action map to pass around to predicates in the
>> declarative debugger that need access to IO actions.
>> Instead look these up directly in the IO state.
>> When using the declarative debugger to debug the Mercury compiler 
>> invoked
>> on typecheck.m, which generates about 2.3 million IO actions,
>> this change reduces the memory consumption by roughly half and reduces
>> the delay between the end of execution trace generation and the 
>> asking of the
>> first question from about 30 seconds to about 2 seconds.
>>
> That's great.
> (Out of curiosity how does it do with make_hlds.m, which is about three
> times the size of typecheck.m?)
>

Will check it out and let you know.

>> Use the --force-disable-tracing option to turn off tracing in the 
>> browser
>> directory, even in .debug and .decldebug grades.
>>
> Don't forget that you'll need to let that change bootstrap on all of
> our machines before committing this.
>

Just to make sure, thats: swordfish, jupiter, aral, earth and ceres?

>>
>> browser/declarative_tree.m:
>> 	Remove references to the IO action map.
>
> Rewrite that as:
>
> 	browser/declarative_edt.m:
> 	browser/declarative_tree.m:
> 		Remove references to the IO action map.

Done.

>
> That looks fine.
>

Thanks for that.

Ian.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------