[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