/* File: gc_profile.h
** Author(s): Luis Castro
** Contact: xsb-contact@cs.sunysb.edu
**
** Copyright (C) The Research Foundation of SUNY, 1986, 1993-1998
** Copyright (C) ECRC, Germany, 1990
**
** XSB is free software; you can redistribute it and/or modify it under the
** terms of the GNU Library General Public License as published by the Free
** Software Foundation; either version 2 of the License, or (at your option)
** any later version.
**
** XSB is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
** FOR A PARTICULAR PURPOSE. See the GNU Library General Public License for
** more details.
**
** You should have received a copy of the GNU Library General Public License
** along with XSB; if not, write to the Free Software Foundation,
** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
**
** $Id: gc_profile.h,v 1.4 2002/05/31 15:09:02 lfcastro Exp $
**
*/
#ifdef GC_PROFILE
#define GC_PROFILE_PRE_REPORT \
do { \
/* first, run the heap & collect info */ \
if (examine_data) { \
CPtr cell_ptr; \
unsigned long heap_traversed=0; \
int i,tag; \
functor = 0; \
for (i=0; i<9; i++) \
tag_examined[i] = 0; \
\
stack_boundaries; \
\
for (cell_ptr = (CPtr) glstack.low; cell_ptr < hreg; cell_ptr++) { \
heap_traversed++; \
tag = cell_tag(*cell_ptr); \
if (tag == XSB_REF || tag == XSB_REF1) { \
if (points_into_heap((CPtr) *cell_ptr)) { \
if (cell_ptr == (CPtr) *cell_ptr) { \
++tag_examined[8]; \
} else { \
tag_examined[tag]++; \
} \
} else if (points_into_heap((CPtr) cell_ptr)) { \
functor++; \
} else { \
fprintf(stddbg,"+++ outside pointer %p in %p.\n", \
*(CPtr*)cell_ptr, (CPtr)cell_ptr); \
} \
} else { \
++tag_examined[tag]; \
} \
} \
\
fprintf(stddbg,"\n\n\n{GC} Prior to GC:\n"); \
fprintf(stddbg,"{GC} Cells visited:\n"); \
fprintf(stddbg, "{GC} %ld variables.\n", tag_examined[8]); \
fprintf(stddbg, "{GC} %ld reference cells.\n", \
tag_examined[XSB_REF] + tag_examined[XSB_REF1]); \
fprintf(stddbg, "{GC} %ld references from the local stack.\n", \
chain_from_ls); \
fprintf(stddbg, "{GC} %ld atom cells.\n", tag_examined[XSB_STRING]); \
fprintf(stddbg, "{GC} %ld integer cells.\n", tag_examined[XSB_INT]); \
fprintf(stddbg, "{GC} %ld float cells.\n", tag_examined[XSB_FLOAT]); \
fprintf(stddbg, "{GC} %ld list cells.\n", tag_examined[XSB_LIST]); \
fprintf(stddbg, "{GC} %ld structure cells.\n", \
tag_examined[XSB_STRUCT]); \
fprintf(stddbg, "{GC} %ld functor cells.\n",functor); \
fprintf(stddbg, "{GC} %ld attributed variable cells.\n", \
tag_examined[XSB_ATTV]); \
fprintf(stddbg, "{GC} %ld heap cells traversed.\n", \
heap_traversed); \
\
} \
\
if (count_chains) { \
int i; \
for (i=0; i<64; i++) \
chains[i]=0; \
} \
\
if (examine_data){ \
int i; \
for (i=0; i<9; i++) { \
tag_examined[i]=0; \
/* tag_examined_current[i]=0; */ \
}\
chain_from_ls = functor = 0; \
current_mark = deep_mark=0; \
start_hbreg = cp_hreg(breg); \
old_gens = ((unsigned long) start_hbreg - (unsigned long) glstack.low) / \
sizeof(CPtr); \
current_gen = ((unsigned long) hreg - (unsigned long) start_hbreg) / \
sizeof(CPtr); \
active_cps = 0; \
frozen_cps = 0; \
}\
} while(0)
#define INIT_GC_PROFILE \
verbose_gc=flags[VERBOSE_GC]; \
examine_data=flags[EXAMINE_DATA]; \
count_chains=flags[COUNT_CHAINS]
#define DECL_GC_PROFILE \
unsigned long begin_slidetime, begin_copy_time
#define GC_PROFILE_START_SUMMARY \
do { \
if (verbose_gc) { \
xsb_dbgmsg((LOG_GC,"{GC} Heap gc - arity = %d - used = %d - left = %d - #gc = %d\n", \
arity,hreg+1-(CPtr)glstack.low,ereg-hreg,num_gc)); \
} \
} while(0)
#define GC_PROFILE_MARK_SUMMARY \
do { \
if (verbose_gc) { \
xsb_dbgmsg((LOG_GC, "{GC} Heap gc - marking finished - #marked = %d - start compact\n", \
marked)); \
} \
} while (0)
#define GC_PROFILE_QUIT_MSG \
do { \
if (verbose_gc) { \
xsb_dbgmsg((LOG_GC, "{GC} Heap gc - marked too much - quitting gc\n")); \
} \
} while (0)
#define GC_PROFILE_SLIDE_START_TIME begin_slidetime = end_marktime
#define GC_PROFILE_SLIDE_FINAL_SUMMARY \
do { \
if (verbose_gc) { \
xsb_dbgmsg((LOG_GC, "{GC} Heap gc end - mark time = %f; slide time = %f; total = %f\n", \
(double)(end_marktime - begin_marktime)*1000/CLOCKS_PER_SEC, \
(double)(end_slidetime - begin_slidetime)*1000/CLOCKS_PER_SEC, \
total_time_gc)) ; \
} \
} while(0)
#define GC_PROFILE_COPY_START_TIME begin_copy_time = end_marktime
#define GC_PROFILE_COPY_FINAL_SUMMARY \
do { \
if (verbose_gc) { \
fprintf(stddbg,"{GC} Heap gc end - mark time = %f; copy_time = %f; total = %f\n", \
(double)(end_marktime - begin_marktime)*1000/CLOCKS_PER_SEC, \
(double)(end_copy_time - begin_copy_time)*1000/CLOCKS_PER_SEC, \
total_time_gc) ; \
} \
} while(0)
#define GC_PROFILE_POST_REPORT \
do { \
if (count_chains|examine_data) { \
fprintf(stddbg, "\n{GC} Heap Garbage Collection #%d\n",num_gc); \
fprintf(stddbg, "{GC} Heap early reset reclaimed %d cells.\n", \
heap_early_reset); \
fprintf(stddbg, "{GC} Local early reset reclaimed %d cells.\n", \
ls_early_reset); \
} \
\
if (count_chains) { \
int i; \
fprintf(stddbg,"{GC} Reference Chains: \n"); \
for (i=0; i<64; i++) \
if (chains[i]) \
fprintf(stddbg, "{GC} chain[%d]=%ld\n",i,chains[i]); \
} \
\
if (examine_data) { \
fprintf(stddbg,"{GC} Active Choice-points: %ld\n", active_cps); \
fprintf(stddbg,"{GC} Frozen Choice-points: %ld\n",frozen_cps); \
fprintf(stddbg,"{GC} Local stack size: %d\n", ls_bot - ls_top); \
fprintf(stddbg,"{GC} CP stack size: %d\n", cp_bot - cp_top); \
fprintf(stddbg,"{GC} Trail stack size: %d\n", tr_top - tr_bot); \
fprintf(stddbg,"{GC} Cells visited:\n"); \
fprintf(stddbg, "{GC} %ld variables.\n", tag_examined[8]); \
fprintf(stddbg, "{GC} %ld reference cells.\n", \
tag_examined[XSB_REF] + tag_examined[XSB_REF1]); \
fprintf(stddbg, "{GC} %ld references from the local stack.\n", \
chain_from_ls); \
fprintf(stddbg, "{GC} %ld atom cells.\n", tag_examined[XSB_STRING]); \
fprintf(stddbg, "{GC} %ld integer cells.\n", tag_examined[XSB_INT]); \
fprintf(stddbg, "{GC} %ld float cells.\n", tag_examined[XSB_FLOAT]); \
fprintf(stddbg, "{GC} %ld list cells.\n", tag_examined[XSB_LIST]); \
fprintf(stddbg, "{GC} %ld structure cells.\n", \
tag_examined[XSB_STRUCT]); \
fprintf(stddbg, "{GC} %ld functor cells.\n",functor); \
fprintf(stddbg, "{GC} %ld attributed variable cells.\n", \
tag_examined[XSB_ATTV]); \
\
if (current_gen > 0) \
fprintf(stddbg, "{GC} Cells marked on current generation: %ld / %ld = %ld / 100\n", \
current_mark, current_gen, (current_mark*100/current_gen)); \
if (old_gens > 0) \
fprintf(stddbg, "{GC} Cells marked on deep generations: %ld / %ld = %ld / 100\n", \
deep_mark, old_gens, (deep_mark*100/old_gens)); \
if (current_gen + old_gens > 0) \
fprintf(stddbg, "{GC} Total cells marked: %ld / %ld = %ld / 100\n", \
deep_mark + current_mark, current_gen + old_gens, \
((deep_mark+current_mark)*100/(current_gen+old_gens))); \
} \
} while (0)
#else
#define GC_PROFILE_PRE_REPORT
#define INIT_GC_PROFILE
#define DECL_GC_PROFILE
#define GC_PROFILE_START_SUMMARY
#define GC_PROFILE_MARK_SUMMARY
#define GC_PROFILE_QUIT_MSG
#define GC_PROFILE_SLIDE_START_TIME
#define GC_PROFILE_SLIDE_FINAL_SUMMARY
#define GC_PROFILE_COPY_START_TIME
#define GC_PROFILE_COPY_FINAL_SUMMARY
#define GC_PROFILE_POST_REPORT
#endif
#ifdef GC_PROFILE
inline static void inspect_chain(CPtr cell_ptr)
{
int tag;
tag = cell_tag(*cell_ptr);
if (count_chains) {
if ((tag == XSB_REF || tag == XSB_REF1) &&
points_into_heap((CPtr)*cell_ptr)) {
int temp=0;
CPtr ptr = (CPtr) *cell_ptr;
if (points_into_ls(cell_ptr)) {
temp++;
ptr = (CPtr) follow(ptr);
chain_from_ls++;
}
while (isref(ptr) && points_into_heap(ptr) &&
ptr != (CPtr) follow(ptr)) {
temp++;
ptr = (CPtr) follow(ptr);
}
if (temp > 64)
xsb_abort("Chain too long when inspecting cell in %p.\n", cell_ptr);
++chains[temp];
}
}
}
inline static void inspect_ptr(CPtr cell_ptr)
{
int tag;
tag = cell_tag(*cell_ptr);
inspect_chain(cell_ptr);
if (examine_data) {
if (tag == XSB_REF || tag == XSB_REF1) {
if (points_into_heap((CPtr) *cell_ptr)) {
if (cell_ptr == (CPtr) *cell_ptr)
++tag_examined[8];
else
tag_examined[tag]++;
}
else if (points_into_heap((CPtr) cell_ptr))
functor++;
else
fprintf(stddbg,"+++ outside pointer %p in %p.\n",
*(CPtr*)cell_ptr, (CPtr)cell_ptr);
} else
++tag_examined[tag];
if ((unsigned long) cell_ptr < (unsigned long) start_hbreg)
++deep_mark;
else
++current_mark;
}
}
#endif
/* the following cannot be "static inline" since it's used in
emu/trace_xsb.c and also uses global variables in heap_xsb.c
--lfcastro */
void print_gc_statistics(void)
{
char *which = (slide) ? "sliding" : "copying" ;
printf("{GC} %4d heap garbage collections by %s: collected %ld cells in %f millisecs\n\n",
num_gc, which, total_collected, total_time_gc);
}
syntax highlighted by Code2HTML, v. 0.9.1