Kernel/lib/quintus.pl

116     <DT>statistics/0, 2
118 	particular the meaning of the memory statistics is approximate,
189 	statistics/0,
190 	statistics/2,
323 	statistics/0,
324 	statistics/2,
1040 statistics(runtime, TotalLast) :-
1041 	eclipse_language:statistics(runtime, TotalLast).
1042 statistics(system_time, [Total,Last]) :-
1043 	eclipse_language:statistics(times, [_User,System,_Real]),
1048 statistics(real_time, [Total,Last]) :-
1049 	eclipse_language:statistics(times, [_User,_System,Real]),
1054 statistics(walltime, [Total,Last]) :-		% Sicstus
1055 	eclipse_language:statistics(times, [_User,_System,Real]),
1060 statistics(memory, [Total, 0]) :-
1061 	Total is  (eclipse_language:statistics(shared_heap_allocated))
1062 		+ (eclipse_language:statistics(private_heap_allocated))
1063 		+ (eclipse_language:statistics(global_stack_allocated))
1064 		+ (eclipse_language:statistics(control_stack_allocated))
1065 		+ (eclipse_language:statistics(trail_stack_allocated))
1066 		+ (eclipse_language:statistics(local_stack_allocated)).
1067 statistics(program, [Used, Free]) :-
1068 	eclipse_language:statistics(shared_heap_used, Used),
1069 	Free is (eclipse_language:statistics(shared_heap_allocated)) - Used.
1070 statistics(global_stack, [Used, Free]) :-
1071 	eclipse_language:statistics(global_stack_used, Used),
1072 	Free is (eclipse_language:statistics(global_stack_allocated)) - Used.
1073 statistics(local_stack, [Used, Free]) :-
1074 	Used is (eclipse_language:statistics(local_stack_used))
1075 		+ (eclipse_language:statistics(control_stack_used)),
1076 	Free is (eclipse_language:statistics(local_stack_allocated))
1077 		+ (eclipse_language:statistics(control_stack_allocated)) - Used.
1078 statistics(trail, [Used, Free]) :-
1079 	eclipse_language:statistics(trail_stack_used, Used),
1080 	Free is (eclipse_language:statistics(trail_stack_allocated)) - Used.
1081 statistics(choice, [Used, Free]) :-		% Sicstus
1082 	eclipse_language:statistics(control_stack_used, Used),
1083 	Free is (eclipse_language:statistics(control_stack_allocated)) - Used.
1084 statistics(stacks, [Global, Local]) :-		% Sicstus
1085 	eclipse_language:statistics(global_stack_used, Global),
1086 	Local is (eclipse_language:statistics(local_stack_used))
1087 		+ (eclipse_language:statistics(control_stack_used)).
1088 statistics(garbage_collection, [Number, Freed, Time]) :-
1089 	eclipse_language:statistics(gc_number, Number),
1090 	eclipse_language:statistics(gc_collected, Freed),
1091 	eclipse_language:statistics(gc_time, Time).
1092 statistics(stack_shifts, [0, 0, 0.0]).
1093 statistics(atoms, [Number,Used,Free]) :-
1094 	eclipse_language:statistics(dictionary_entries, Number),
1095 	eclipse_language:statistics(dict_hash_usage, Used/Total),
1097 statistics(atom_garbage_collection, [Number,-1,Time]) :-
1098 	eclipse_language:statistics(dict_gc_number, Number),
1099 	eclipse_language:statistics(dict_gc_time, Time).
1100 statistics(core, List) :-			% DEC-10
1101 	statistics(memory, List).
1102 statistics(heap, List) :-			% DEC-10
1103 	statistics(program, List).
1105 statistics :-
1108 	    statistics(What, Value),