Profiler auto-configuration of cost centers

Author(s): Teresa Trigo.

This module performs an automatic cost center configuration for a given goal. As a result it gives the trace of the highest resource (e.g., time, counts, ticks, etc.) consuming path starting from the goal.

Usage and interface

Documentation on exports

Usage 1:

Same as cc_auto_conf/5 applied to time.

  • Call and exit should be compatible with:
    (callable/1)Arg1 is a term which represents a goal, i.e., an atom or a structure.
    (nnegint/1)Arg2 is a non-negative integer.
    (list/1)Arg3 is a list.
    (term/1)Arg4 is any term.

Usage 2:

Same as cc_auto_conf/3 able to deal with modular programs.

Meta-predicate with arguments: cc_auto_conf(goal,?,?,?).

Usage:cc_auto_conf(Field,Goal,Cond,Goals,Tree)

Auto configuration of cost centers in order to find the sub-graph Goals of the call graph that is responsible of the performance leak. Goal is the call to be profiled and Field is the resource name w.r.t. the optimization is made (e.g., time, counts, ticks, etc.).

Meta-predicate with arguments: cc_auto_conf(?,goal,?,?,?).

No further documentation available for this predicate. Meta-predicate with arguments: cc_auto_conf(?,?,goal,?,?,?).

No further documentation available for this predicate. Meta-predicate with arguments: cc_auto_conf(?,goal,?,?,?,?,?).

No further documentation available for this predicate. Meta-predicate with arguments: cc_auto_conf(?,?,goal,?,?,?,?,?).

Usage:

Remove the files auto generated by the compiler (itf, po) in order to force recompilation.

  • The following properties should hold at call time:
    (atm/1)Arg1 is an atom.

No further documentation available for this predicate. Meta-predicate with arguments: get_goal_filename(goal,?).

PREDICATEreset/1

Usage:

Given a name of a file erases its content

  • Call and exit should be compatible with:
    (atm/1)Arg1 is an atom.

PREDICATErecord_time/1
No further documentation available for this predicate. Meta-predicate with arguments: record_time(goal).

PREDICATEtree_to_tex/2
No further documentation available for this predicate.

No further documentation available for this predicate. The predicate is of type data.

Usage:

Given a set of predicates writes a cost_center assertion for all of them.

    No further documentation available for this predicate.

    Documentation on multifiles

    PREDICATEportray/1
    No further documentation available for this predicate. The predicate is multifile.