Re: [eclipse-users] profiling constraint code

From: Joachim Schimpf (Independent Contractor) <"Joachim>
Date: Wed, 22 Aug 2007 11:13:56 +0100
Malcolm Ryan wrote:
> I'm building a planner in eclipse using the constraint libraries.  
> It's running rather slow, so I profiled it and got:
> 
>                  PROFILING STATISTICS
>                  --------------------
> 
> Goal:             difficult_testA(MP, [5])
> Total user time:  168.30s
> 
> Predicate             Module        %Time   Time   %Cum
> --------------------------------------------------------
> ?                     ?             53.5%  89.99s  53.5%
> dummy_prop_ic_con /1  ic_constrain  25.2%  42.45s  78.7%
> unify_ic          /3  ic_kernel      6.0%  10.13s  84.7%
> set_up_ic_con     /3  ic_constrain   5.6%   9.48s  90.3%
> ic_exclude        /2  ic_kernel      1.4%   2.30s  91.7%
> ...
> 
> What does that ? ? line mean?

This used to indicate local predicates inside locked modules.
I removed this restriction in patch 5.10#63, so I suppose you
are running an version older than that?


> What does 'dummy_prop_ic_con' do?

Despite the name, it's the core propagator for all linear
IC-constraints.


> I tried running the port_profiler tool and it told me that my most  
> used predicate was do__0 which was called by do__0. That's not very  
> helpful. Obviously its a loop somewhere it my code, but which one?  
> Any ideas how I can find out?

Add loop_name(my_name) specifiers to some of the loops you suspect.
This name will then be used instead of the system-generated do__xxx names.


-- Joachim
Received on Wed Aug 22 2007 - 11:14:09 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:19 CEST