[m-dev.] Please help... once more

Erwan Jahier Erwan.Jahier at irisa.fr
Fri Sep 22 22:39:42 AEDT 2000


| | > +    switch (MR_trace_ctrl.MR_trace_cmd) {
| | > +	case MR_CMD_COLLECT:
| | > +             port = (MR_Trace_Port) layout->MR_sll_port;
| | > +	      path = layout->MR_sll_entry->MR_sle_module_layout
| | > +		    ->MR_ml_string_table + layout->MR_sll_goal_path;
| | > +	      MR_COLLECT_filter(seqno, depth, port, layout, 
| | > +                   path, &stop_collecting);
| | > +	      if (stop_collecting) {
| | > +		MR_send_collect_result();
| | > +		MR_send_message_to_socket("execution_continuing");
| | > +		}
| | > +		return NULL;	
| | > +	  
| | > 	case MR_CMD_FINISH:

Ok, I think I have finally find the rigth magic incantations; to make it 
work, I need to wrap the call to MR_COLLECT_filter() with:

        [set event_info.MR_max_mr_num to the rigth value]
	MR_copy_regs_to_saved_regs(event_info.MR_max_mr_num, saved_regs);
        MR_COLLECT_filter();
	MR_copy_regs_to_saved_regs(event_info.MR_max_mr_num, saved_regs);
		
Unfortunately, this augments the times of the execution by a factor of 5:


~[13:25]%time mdb ./queens11 < mdbin
       1:      1  1 CALL pred queens11:main/2-0 (cc_multi) queens11.m:18
mdb> f
[1, 3, 5, 7, 9, 11, 2, 4, 6, 8, 10]
32384320:      1  1 EXIT pred queens11:main/2-0 (cc_multi) queens11.m:18
mdb> 
21.23u 0.09s 0:21.47 99.3%

~[13:29]%time mdb ./queens11_bis < mdbin 
       1:      1  1 CALL pred queens11:main/2-0 (cc_multi) queens11.m:18
mdb> f
[1, 3, 5, 7, 9, 11, 2, 4, 6, 8, 10]
32384320:      1  1 EXIT pred queens11:main/2-0 (cc_multi) queens11.m:18
mdb> 
116.97u 0.15s 1:58.02 99.2%

Where queens11_bis was compiled by a version of mmc whare I have added the
copy/save to regs commands at the beginning of MR_trace_real()


Is there something (cheaper) I could do to avoid those calls???

-- 
R1.


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