Home Contents Index Summary Previous Next

4.40 Obtaining Runtime Statistics

statistics(+Key, -Value)
Unify system statistics determined by Key with Value. The possible keys are given in the table 5. The last part of the table contains keys for compatibility to other Prolog implementations (Quintus) for improved portability. Note that the ISO standard does not define methods to collect system statistics.

agcNumber of atom garbage-collections performed
agc_gainedNumber of atoms removed
agc_timeTime spent in atom garbage-collections
cputime(User) CPU time since Prolog was started in seconds
inferencesTotal number of passes via the call and redo ports since Prolog was started.
heapEstimated total size of the heap (see section 2.17.1.1)
heapusedBytes heap in use by Prolog.
heaplimitMaximum size of the heap (see section 2.17.1.1)
localAllocated size of the local stack in bytes.
localusedNumber of bytes in use on the local stack.
locallimitSize to which the local stack is allowed to grow
globalAllocated size of the global stack in bytes.
globalusedNumber of bytes in use on the global stack.
globallimitSize to which the global stack is allowed to grow
trailAllocated size of the trail stack in bytes.
trailusedNumber of bytes in use on the trail stack.
traillimitSize to which the trail stack is allowed to grow
atomsTotal number of defined atoms.
functorsTotal number of defined name/arity pairs.
predicatesTotal number of predicate definitions.
modulesTotal number of module definitions.
codesTotal amount of byte codes in all clauses.
threadsMT-version: number of active threads
threads_createdMT-version: number of created threads
thread_cputimeMT-version: seconds CPU time used by finished threads. Supported on Windows-NT and later, Linux and possibly a few more. Verify it gives plausible results before using.
Compatibility keys
runtime[ CPU time, CPU time since last ] (milliseconds)
system_time[ System CPU time, System CPU time since last ] (milliseconds)
real_time[ Wall time, Wall time since last ] (seconds since 1970)
memory[ Total unshared data, free memory ] (Uses getrusage() if available, otherwise incomplete own statistics.
stacks[ global use, local use ]
program[ heap, 0 ]
global_stack[ global use, global free ]
local_stack[ local use, local free ]
trail[ trail use, 0 ]
garbage_collection[ number of GC, bytes gained, time spent ]
stack_shifts[ global shifts, local shifts, time spent ] (fails if no shifter in this version)
atoms[ number, memory use, 0 ]
atom_garbage_collection[ number of AGC, bytes gained, time spent ]
coreSame as memory
Table 5 : Keys for statistics/2

statistics
Display a table of system statistics on the current output stream.

time(+Goal)
Execute Goal just like once/1 (i.e., leaving no choice points), but print used time, number of logical inferences and the average number of lips (logical inferences per second). Note that SWI-Prolog counts the actual executed number of inferences rather than the number of passes through the call- and redo ports of the theoretical 4-port model.