Dynamic Predicates: timer_started/3 total_time/3 program_point_info/5 loaded/0 last_ref_point/1

208 Lines

30 Predicates

13 Exports

0 Imports

Imports	Exports
	Name: timer_init/0 Name: clock_ticks/1 Name: clock_microseconds/1 Name: print_clock_info/1 Name: print_clock_info/0 Name: start_timer/1 Name: stop_timer/1 Name: timer_call/1 Name: timer_call/2 Name: timer_det_call/2 Name: timer_statistics/0 Name: timer_reset/0 Name: test/0

Imports

Exports

Name: timer_init/0

Name: clock_ticks/1

Name: clock_microseconds/1

Name: print_clock_info/1

Name: print_clock_info/0

Name: start_timer/1

Name: stop_timer/1

Name: timer_call/1

Name: timer_call/2

Name: timer_det_call/2

Name: timer_statistics/0

Name: timer_reset/0

Name: test/0

Predicates

Predicates:

app([],Z,Z).

app([H|X],Y,[H|Z]) :- app(X,Y,Z).

Calls:

Name: RECURSIVE_CALL/3

Module: timer

Called:

Name: test/0

Module: timer

app2/3

app2([],Z,Z).

app2([H|X],Y,[H|Z]) :- app2(X,Y,Z).

Calls:

Name: RECURSIVE_CALL/3

Module: timer

clean_timer/1

clean_timer(ProgramPoint) :- %print(clean(ProgramPoint)),nl,
retractall(timer_started(ProgramPoint,_,_)).

Calls:

Name: retractall/1

Called:

Name: timer_reset/0

Module: timer

do_something/0

do_something :- do_something(1000000).

Calls:

Name: do_something/1

Module: timer

Called:

Name: do_something/0

Module: timer

do_something/1

do_something(0).

do_something(X) :- X1 is X-1, do_something(X1).

Calls:

Name: RECURSIVE_CALL/1	Module: timer
Name: is/2

Called:

Name: do_something/0

Module: timer

foreign/2

foreign(clock_ticks,clock_ticks([-integer])).

foreign(clock_microseconds,clock_microseconds([-integer])).

foreign_resource/2

foreign_resource(timer,
    [
    clock_ticks,
    clock_microseconds
    ]).

get_PP_info/5

get_PP_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc) :-
    (retract(program_point_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc))
    -> true
    ; EntryFail=0,EntrySucc=0,RedoFail=0,RedoSucc=0
).

Calls:

Name: =/2
Name: true
Name: program_point_info/5	dynamic predicate
Name: retract/1
Name: ->/3

Called:

Name: update_entry_redo/3

Module: timer

get_pred/4

get_pred(Module:Call,Module,Pred,Arity) :- !,get_pred(Call,_,Pred,Arity).

get_pred(Call,user,Pred,Arity) :- functor(Call,Pred,Arity).

Calls:

Name: functor/3
Name: RECURSIVE_CALL/4	Module: timer
Name: !

Called:

Name: timer_call/1

Module: timer

loadfr/0

loadfr :-
    (loaded -> true
    ; (assertz(loaded),
    %assert_dir,
    %assertz(user:library_directory('.')),
    load_foreign_resource(library(timer)))
).

Calls:

Name: load_foreign_resource/1
Name: assertz/1
Name: true
Name: loaded	dynamic predicate
Name: ->/3

Called:

Name: timer_init/0

Module: timer

print_clock_info/0

print_clock_info :-
    (retract(last_ref_point(X)) -> true ; X=0),
    print_clock_info(X,Now),
    assertz(last_ref_point(Now)).

Calls:

Name: assertz/1
Name: print_clock_info/2	Module: timer
Name: =/2
Name: true
Name: last_ref_point/1	dynamic predicate
Name: retract/1
Name: ->/3

Called:

Name: print_clock_info/1	Module: timer
Name: print_clock_info/0	Module: timer

print_clock_info/1

print_clock_info(ReferencePoint) :-
print_clock_info(ReferencePoint,_).

Calls:

Name: print_clock_info/2

Module: timer

Called:

Name: print_clock_info/1	Module: timer
Name: print_clock_info/0	Module: timer

print_clock_info/2

print_clock_info(ReferencePoint,Now) :-
    clock_microseconds(Now),
    Delta is Now-ReferencePoint,
    format(' \xB5\s Timer delta = ~w (total ~w \xB5\s)~n',[Delta,Now]).

Calls:

Name: format/2
Name: is/2
Name: clock_microseconds/1	Module: foo_error

Called:

Name: print_clock_info/1	Module: timer
Name: print_clock_info/0	Module: timer

print_time/1

print_time(Time) :- TT is Time / 1000.0, format('~3F',[TT]).

Calls:

Name: format/2
Name: is/2

Called:

Name: timer_statistics/1

Module: timer

start_bt_timer/1

start_bt_timer(X) :- start_timer(X,entry).

start_bt_timer(X) :- stop_timer(X,fail),fail.

Calls:

Name: fail
Name: stop_timer/2	Module: timer
Name: start_timer/2	Module: timer

Called:

Name: timer_call/2

Module: timer

start_timer/1

start_timer(PP) :- start_timer(PP,entry).

Calls:

Name: start_timer/2

Module: timer

Called:

Name: stop_bt_timer/1	Module: timer
Name: start_bt_timer/1	Module: timer
Name: timer_det_call/2	Module: timer
Name: start_timer/1	Module: timer

start_timer/2

start_timer(ProgramPoint,Info) :- var(ProgramPoint),!,
    print(var_program_point(ProgramPoint,Info)),nl.

start_timer(ProgramPoint,Info) :-
    (timer_started(ProgramPoint,Info1,_)
    -> print(nested(ProgramPoint,Info1,Info)),nl
    ; % print(starting_timer(ProgramPoint)),nl,
    clock_microseconds(C), assertz(timer_started(ProgramPoint,Info,C))
).

Calls:

Name: assertz/1
Name: clock_microseconds/1	Module: foo_error
Name: nl
Name: print/1
Name: timer_started/3	dynamic predicate
Name: ->/3
Name: !
Name: var/1

Called:

Name: stop_bt_timer/1	Module: timer
Name: start_bt_timer/1	Module: timer
Name: timer_det_call/2	Module: timer
Name: start_timer/1	Module: timer

stop_bt_timer/1

stop_bt_timer(X) :- stop_timer(X,success).

stop_bt_timer(X) :- start_timer(X,redo),fail.

Calls:

Name: fail
Name: start_timer/2	Module: timer
Name: stop_timer/2	Module: timer

Called:

Name: timer_call/2

Module: timer

stop_timer/1

stop_timer(PP) :- stop_timer(PP,success).

Calls:

Name: stop_timer/2

Module: timer

Called:

Name: timer_det_call/2	Module: timer
Name: start_bt_timer/1	Module: timer
Name: stop_timer/1	Module: timer
Name: stop_bt_timer/1	Module: timer

stop_timer/2

stop_timer(ProgramPoint,SF) :- clock_microseconds(Cur),
    (retract(timer_started(ProgramPoint,Info,Old))
    -> Delta is Cur-Old,
    update_total_time(ProgramPoint,Delta),
    update_entry_redo(Info,SF,ProgramPoint)
    ; print(timer_not_started(ProgramPoint)),nl
).

Calls:

Name: nl
Name: print/1
Name: update_entry_redo/3	Module: timer
Name: update_total_time/2	Module: timer
Name: is/2
Name: timer_started/3	dynamic predicate
Name: retract/1
Name: ->/3
Name: clock_microseconds/1	Module: foo_error

Called:

Name: timer_det_call/2	Module: timer
Name: start_bt_timer/1	Module: timer
Name: stop_timer/1	Module: timer
Name: stop_bt_timer/1	Module: timer

test/0

test :- timer_init,
    statistics(runtime,_),
    statistics(walltime,_),
    clock_microseconds(_),
    clock_microseconds(_),
    clock_microseconds(_),
    clock_microseconds(_),
    clock_microseconds(_),

    clock_microseconds(_),
    clock_microseconds(_),
    clock_microseconds(_),
    clock_microseconds(_),
    clock_microseconds(X),
    statistics(walltime,[S1,D1]), print(time_for_ten_clock_calls(D1)),nl,
    start_timer(app),
    app([a,b,c,d,e,f,g,h,i,j,k,l,m],[z],_),
    print_clock_info(X),
    statistics(walltime,[_,B0]), print(sicstus_walltime(B0)),nl,
    app([a,b,c,d,e,f,g,h,i,j,k,l,m],[z],_),
    stop_timer(app),
    print_clock_info(X),
    start_timer(app),
    app([a,b,c,d,e,f,g,h,i,j,k,l,m],[z],_),
    stop_timer(app),
    print_clock_info(X),
    start_timer(do_something),
    do_something,
    stop_timer(do_something),
    print_clock_info(X),
    ( timer_call(app2(A,B,[a,b,c,d,e,f,g,h])), print((A,B)),nl, fail ; true),
    timer_call(app2([a,b,c,d,e,f,g,h],[z],_)),
    statistics(walltime,[S2,_]), Delta is S2-S1,
    print(sicstus_walltime(Delta)),nl,
    statistics(runtime,[_,B2]),
    print(sicstus_runtime(B2)),nl,
    print_clock_info(X),
    timer_statistics.

Calls:

Name: timer_statistics/0	Module: timer
Name: print_clock_info/1	Module: timer
Name: nl
Name: print/1
Name: statistics/2
Name: is/2
Name: timer_call/1	Module: timer
Name: true
Name: fail
Name: stop_timer/1	Module: timer
Name: do_something/0	Module: timer
Name: start_timer/1	Module: timer
Name: app/3	Module: timer
Name: clock_microseconds/1	Module: foo_error
Name: timer_init/0	Module: timer

timer_call/1

Meta: timer_call(0)

timer_call(Call) :- get_pred(Call,_,Pred,_), timer_call(Pred,Call).

Calls:

Name: timer_call/2	Module: timer
Name: get_pred/4	Module: timer

Called:

Name: test/0

Module: timer

timer_call/2

Meta: timer_call(-,0)

timer_call(PP,Call) :-
    start_bt_timer(PP),
    %statistics(runtime,[Start,_]),
    call(Call),
    %statistics(runtime,[Stop,_]),
    %(Stop-Start>40 -> print(' ** '),T is Stop-Start, print(T), print(' ms '),nl,print(Call),nl,trace ; true),
    stop_bt_timer(PP).

Calls:

Name: stop_bt_timer/1	Module: timer
Name: call/1
Name: start_bt_timer/1	Module: timer

Called:

Name: test/0

Module: timer

timer_det_call/2

Meta: timer_det_call(-,0)

timer_det_call(PP,Call) :- %print(call(PP,Call)),nl,
    start_timer(PP,entry),
    if(call(Call),stop_timer(PP,success),
    (print(det_call_failed(PP,Call)),nl,
    stop_timer(PP,fail))).

Calls:

Name: stop_timer/2	Module: timer
Name: nl
Name: print/1
Name: call/1
Name: if/3
Name: start_timer/2	Module: timer

timer_init/0

timer_init :- loadfr.

Calls:

Name: loadfr/0

Module: timer

Called:

Name: test/0

Module: timer

timer_reset/0

timer_reset :- clean_timer(_).

Calls:

Name: clean_timer/1

Module: timer

timer_statistics/0

timer_statistics :- print('Time (milliseconds) [Max] ---> ProgramPoint :: (EntryFail,EntrySucc,RedoFail,RedoSucc)'),nl,
    findall(time(Time,Max,PP),total_time(PP,Max,Time),L),
    sort(L,SL),
    timer_statistics(SL).

Calls:

Name: timer_statistics/1	Module: timer
Name: sort/2
Name: findall/3
Name: nl
Name: print/1

Called:

Name: ts/0	Module: assert_profiler
Name: test/0	Module: timer

timer_statistics/1

timer_statistics([]) :- nl.

timer_statistics([time(Time,Max,PP)|T]) :-
    print_time(Time), print(' ['),print_time(Max),print('] ---> '), print(PP), print(' :: '),
    program_point_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc),
    print((EntryFail,EntrySucc,RedoFail,RedoSucc)),nl,
    timer_statistics(T).

Calls:

Name: RECURSIVE_CALL/1	Module: timer
Name: nl
Name: print/1
Name: program_point_info/5	dynamic predicate
Name: print_time/1	Module: timer

Called:

Name: ts/0	Module: assert_profiler
Name: test/0	Module: timer

update_entry_redo/3

update_entry_redo(entry,fail,PP) :- get_PP_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc),
    New is EntryFail+1, assertz(program_point_info(PP,New,EntrySucc,RedoFail,RedoSucc)).

update_entry_redo(entry,success,PP) :- get_PP_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc),
    New is EntrySucc+1, assertz(program_point_info(PP,EntryFail,New,RedoFail,RedoSucc)).

update_entry_redo(redo,fail,PP) :- get_PP_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc),
    New is RedoFail+1, assertz(program_point_info(PP,EntryFail,EntrySucc,New,RedoSucc)).

update_entry_redo(redo,success,PP) :- get_PP_info(PP,EntryFail,EntrySucc,RedoFail,RedoSucc),
    New is RedoSucc+1, assertz(program_point_info(PP,EntryFail,EntrySucc,RedoFail,New)).

Calls:

Name: assertz/1
Name: is/2
Name: get_PP_info/5	Module: timer

Called:

Name: stop_timer/2

Module: timer

update_total_time/2

update_total_time(ProgramPoint,Delta) :-
    ( retract(total_time(ProgramPoint,OldMax,Total)) -> true
    ; Total = 0,OldMax=0),
    NewTotal is Total+Delta,
    % print(stopped_timer(ProgramPoint,NewTotal)),nl,
    (OldMax < Delta -> NewMax = Delta ; NewMax = OldMax),
    assertz(total_time(ProgramPoint,NewMax,NewTotal)).

Calls:

Name: assertz/1
Name: =/2
Name: </2
Name: ->/3
Name: is/2
Name: true
Name: total_time/3	dynamic predicate
Name: retract/1

Called:

Name: stop_timer/2

Module: timer

Determinacy Checker

Determinacy Checker:

* Non-determinate: timer:start_bt_timer/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: timer:stop_bt_timer/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: timer:update_entry_redo/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: timer:update_entry_redo/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: timer:timer_statistics/1 (clause 2)
* Calls nondet predicate timer:program_point_info/5 .
* Non-determinate: timer:do_something/1 (clause 1)
* Indexing cannot distinguish this from clause 2.

prob_prolog/extensions/timer/timer.pl

Modules

Predicates of timer

Module Information

Dynamic Predicates: timer_started/3 total_time/3 program_point_info/5 loaded/0 last_ref_point/1

208 Lines

30 Predicates

13 Exports

0 Imports

Predicates:

Determinacy Checker: