X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FStgTicky.h;h=c39c0ce477992fe2945adec74fce5e8dba4ecc86;hb=423d477bfecd490de1449c59325c8776f91d7aac;hp=b508e8a5fbfc48c830d21695be7ec9a24a3b5e05;hpb=90c6cd0e5b6ee9a9d34b9404a38cf0cf2433ffe4;p=ghc-hetmet.git diff --git a/ghc/includes/StgTicky.h b/ghc/includes/StgTicky.h index b508e8a..c39c0ce 100644 --- a/ghc/includes/StgTicky.h +++ b/ghc/includes/StgTicky.h @@ -1,5 +1,5 @@ /* ---------------------------------------------------------------------------- - * $Id: StgTicky.h,v 1.9 1999/11/11 17:50:47 simonpj Exp $ + * $Id: StgTicky.h,v 1.16 2004/08/13 13:09:38 simonmar Exp $ * * (c) The AQUA project, Glasgow University, 1994-1997 * (c) The GHC Team, 1998-1999 @@ -11,6 +11,23 @@ #ifndef TICKY_H #define TICKY_H +/* ----------------------------------------------------------------------------- + The StgEntCounter type - needed regardless of TICKY_TICKY + -------------------------------------------------------------------------- */ + +typedef struct _StgEntCounter { + StgWord16 registeredp; /* 0 == no, 1 == yes */ + StgWord16 arity; /* arity (static info) */ + StgWord16 stk_args; /* # of args off stack */ + /* (rest of args are in registers) */ + char *str; /* name of the thing */ + char *arg_kinds; /* info about the args types */ + StgInt entry_count; /* Trips to fast entry code */ + StgInt allocs; /* number of allocations by this fun */ + struct _StgEntCounter *link;/* link to chain them all together */ +} StgEntCounter; + + #ifdef TICKY_TICKY /* ----------------------------------------------------------------------------- @@ -77,10 +94,12 @@ ALLOC_BH_gds += (g); ALLOC_BH_slp += (s); \ TICK_ALLOC_HISTO(BH,_HS,g,s) -#define TICK_ALLOC_UPD_PAP(g,s) \ - ALLOC_UPD_PAP_ctr++; ALLOC_UPD_PAP_adm += sizeofW(StgPAP)-1; \ - ALLOC_UPD_PAP_gds += (g); ALLOC_UPD_PAP_slp += (s); \ - TICK_ALLOC_HISTO(UPD_PAP,sizeofW(StgPAP)-1,g,s) +// admin size doesn't take into account the FUN, that is accounted for +// in the "goods". +#define TICK_ALLOC_PAP(g,s) \ + ALLOC_PAP_ctr++; ALLOC_PAP_adm += sizeofW(StgPAP)-1; \ + ALLOC_PAP_gds += (g); ALLOC_PAP_slp += (s); \ + TICK_ALLOC_HISTO(PAP,sizeofW(StgPAP)-1,g,s) #define TICK_ALLOC_TSO(g,s) \ ALLOC_TSO_ctr++; ALLOC_TSO_adm += sizeofW(StgTSO); \ @@ -135,35 +154,16 @@ #define TICK_ENT_VIA_NODE() ENT_VIA_NODE_ctr++ -#define TICK_ENT_THK() ENT_THK_ctr++ /* thunk */ - -typedef struct _StgEntCounter { - unsigned registeredp:16, /* 0 == no, 1 == yes */ - arity:16, /* arity (static info) */ - stk_args:16; /* # of args off stack */ - /* (rest of args are in registers) */ - StgChar *str; /* name of the thing */ - StgChar *arg_kinds; /* info about the args types */ - I_ entry_count; /* Trips to fast entry code */ - I_ slow_entry_count; /* Trips to slow entry code */ - I_ allocs; /* number of allocations by this fun */ - struct _StgEntCounter *link;/* link to chain them all together */ -} StgEntCounter; +#define TICK_ENT_STATIC_THK() ENT_STATIC_THK_ctr++ +#define TICK_ENT_DYN_THK() ENT_DYN_THK_ctr++ #define TICK_CTR(f_ct, str, arity, args, arg_kinds) \ static StgEntCounter f_ct \ = { 0, arity, args, \ str, arg_kinds, \ - 0, 0, 0, NULL }; - -/* The slow entry point for a function always goes to - the fast entry point, which will register the stats block, - so no need to do so here */ -#define TICK_ENT_FUN_STD(f_ct) \ - f_ct.slow_entry_count++; \ - ENT_FUN_STD_ctr++ /* The total one */ + 0, 0, NULL }; -#define TICK_ENT_FUN_DIRECT(f_ct) \ +#define TICK_ENT_FUN_DIRECT_BODY(f_ct) \ { \ if ( ! f_ct.registeredp ) { \ /* hook this one onto the front of the list */ \ @@ -173,32 +173,99 @@ typedef struct _StgEntCounter { f_ct.registeredp = 1; \ } \ f_ct.entry_count += 1; \ - } \ - ENT_FUN_DIRECT_ctr++ /* The total one */ + } + +#define TICK_ENT_STATIC_FUN_DIRECT(f_ct) \ + TICK_ENT_FUN_DIRECT_BODY(f_ct) \ + ENT_STATIC_FUN_DIRECT_ctr++ /* The static total one */ + +#define TICK_ENT_DYN_FUN_DIRECT(f_ct) \ + TICK_ENT_FUN_DIRECT_BODY(f_ct) \ + ENT_DYN_FUN_DIRECT_ctr++ /* The dynamic total one */ extern StgEntCounter top_ct; extern StgEntCounter *ticky_entry_ctrs; -#define TICK_ENT_CON(n) ENT_CON_ctr++ /* enter constructor */ -#define TICK_ENT_IND(n) ENT_IND_ctr++ /* enter indirection */ +#define TICK_ENT_STATIC_CON(n) ENT_STATIC_CON_ctr++ /* enter static constructor */ +#define TICK_ENT_DYN_CON(n) ENT_DYN_CON_ctr++ /* enter dynamic constructor */ +#define TICK_ENT_STATIC_IND(n) ENT_STATIC_IND_ctr++ /* enter static indirection */ +#define TICK_ENT_DYN_IND(n) ENT_DYN_IND_ctr++ /* enter dynamic indirection */ #define TICK_ENT_PERM_IND(n) ENT_PERM_IND_ctr++ /* enter permanent indirection */ #define TICK_ENT_PAP(n) ENT_PAP_ctr++ /* enter PAP */ -#define TICK_ENT_AP_UPD(n) ENT_AP_UPD_ctr++ /* enter AP_UPD */ +#define TICK_ENT_AP(n) ENT_AP_ctr++ /* enter AP_UPD */ +#define TICK_ENT_AP_STACK(n) ENT_AP_STACK_ctr++ /* enter AP_STACK_UPD */ #define TICK_ENT_BH() ENT_BH_ctr++ /* enter BLACKHOLE */ +#define TICK_SLOW_HISTO(n) \ + { unsigned __idx; \ + __idx = (n); \ + SLOW_CALL_hst[((__idx > 8) ? 8 : __idx)] += 1; \ + } + +#define UNDO_TICK_SLOW_HISTO(n) \ + { unsigned __idx; \ + __idx = (n); \ + SLOW_CALL_hst[((__idx > 8) ? 8 : __idx)] -= 1; \ + } + +// A slow call with n arguments. In the unevald case, this call has +// already been counted once, so don't count it again. +#define TICK_SLOW_CALL(n) \ + SLOW_CALL_ctr++; \ + TICK_SLOW_HISTO(n) + +// This slow call was found to be to an unevaluated function; undo the +// ticks we did in TICK_SLOW_CALL. +#define TICK_SLOW_CALL_UNEVALD(n) \ + SLOW_CALL_UNEVALD_ctr++; \ + SLOW_CALL_ctr--; \ + UNDO_TICK_SLOW_HISTO(n) + +#define TICK_MULTI_CHUNK_SLOW_CALL(pattern, chunks) \ + fprintf(stderr, "Multi-chunk slow call: %s\n", pattern); \ + MULTI_CHUNK_SLOW_CALL_ctr++; \ + MULTI_CHUNK_SLOW_CALL_CHUNKS_ctr += chunks; + +// A completely unknown tail-call +#define TICK_UNKNOWN_CALL() UNKNOWN_CALL_ctr++ + +// slow call patterns (includes "extra" args to known calls, +// so the total of these will be greater than UNKNOWN_CALL_ctr). +#define TICK_SLOW_CALL_v() SLOW_CALL_v_ctr++ +#define TICK_SLOW_CALL_f() SLOW_CALL_f_ctr++ +#define TICK_SLOW_CALL_d() SLOW_CALL_d_ctr++ +#define TICK_SLOW_CALL_l() SLOW_CALL_l_ctr++ +#define TICK_SLOW_CALL_n() SLOW_CALL_n_ctr++ +#define TICK_SLOW_CALL_p() SLOW_CALL_p_ctr++ +#define TICK_SLOW_CALL_pv() SLOW_CALL_pv_ctr++ +#define TICK_SLOW_CALL_pp() SLOW_CALL_pp_ctr++ +#define TICK_SLOW_CALL_ppv() SLOW_CALL_ppv_ctr++ +#define TICK_SLOW_CALL_ppp() SLOW_CALL_ppp_ctr++ +#define TICK_SLOW_CALL_pppv() SLOW_CALL_pppv_ctr++ +#define TICK_SLOW_CALL_pppp() SLOW_CALL_pppp_ctr++ +#define TICK_SLOW_CALL_ppppp() SLOW_CALL_ppppp_ctr++ +#define TICK_SLOW_CALL_pppppp() SLOW_CALL_pppppp_ctr++ +#define TICK_SLOW_CALL_OTHER(pattern) \ + fprintf(stderr,"slow call: %s\n", pattern); \ + SLOW_CALL_OTHER_ctr++ + +#define TICK_KNOWN_CALL() KNOWN_CALL_ctr++ +#define TICK_KNOWN_CALL_TOO_FEW_ARGS() KNOWN_CALL_TOO_FEW_ARGS_ctr++ +#define TICK_KNOWN_CALL_EXTRA_ARGS() KNOWN_CALL_EXTRA_ARGS_ctr++ + +// A slow call to a FUN found insufficient arguments, and built a PAP +#define TICK_SLOW_CALL_FUN_TOO_FEW() SLOW_CALL_FUN_TOO_FEW_ctr++ +#define TICK_SLOW_CALL_FUN_CORRECT() SLOW_CALL_FUN_CORRECT_ctr++ +#define TICK_SLOW_CALL_FUN_TOO_MANY() SLOW_CALL_FUN_TOO_MANY_ctr++ +#define TICK_SLOW_CALL_PAP_TOO_FEW() SLOW_CALL_PAP_TOO_FEW_ctr++ +#define TICK_SLOW_CALL_PAP_CORRECT() SLOW_CALL_PAP_CORRECT_ctr++ +#define TICK_SLOW_CALL_PAP_TOO_MANY() SLOW_CALL_PAP_TOO_MANY_ctr++ + /* ----------------------------------------------------------------------------- Returns -------------------------------------------------------------------------- */ -/* Whenever a ``return'' occurs, it is returning the constituent parts of - * a data constructor. The parts can be returned either in registers, or - * by allocating some heap to put it in (the TICK_ALLOC_* macros account for - * the allocation). The constructor can either be an existing one - * *OLD* or we could have {\em just} figured out this stuff - * *NEW*. - */ - #define TICK_RET_HISTO(categ,n) \ { I_ __idx; \ __idx = (n); \ @@ -213,18 +280,6 @@ extern StgEntCounter *ticky_entry_ctrs; #define TICK_RET_UNBOXED_TUP(n) RET_UNBOXED_TUP_ctr++; \ TICK_RET_HISTO(UNBOXED_TUP,n) -#define TICK_RET_SEMI(n) RET_SEMI_IN_HEAP_ctr++; \ - TICK_RET_HISTO(SEMI_IN_HEAP,n) - -#define TICK_RET_SEMI_BY_DEFAULT()/*???*/ RET_SEMI_BY_DEFAULT_ctr++ - -#define TICK_RET_SEMI_FAILED(tag) do { \ - if ((tag) == INFO_IND_TAG) \ - RET_SEMI_FAILED_IND_ctr++; \ - else \ - RET_SEMI_FAILED_UNEVAL_ctr++; \ - } while (0) - #define TICK_VEC_RETURN(n) VEC_RETURN_ctr++; \ TICK_RET_HISTO(VEC_RETURN,n) @@ -234,7 +289,6 @@ extern StgEntCounter *ticky_entry_ctrs; Macro Counts ------------------ ------------------------------------------- TICK_UPDF_PUSHED Update frame pushed - TICK_SEQF_PUSHED Seq frame pushed TICK_CATCHF_PUSHED Catch frame pushed TICK_UPDF_OMITTED A thunk decided not to push an update frame TICK_UPDF_RCC_PUSHED Cost Centre restore frame pushed @@ -245,7 +299,6 @@ extern StgEntCounter *ticky_entry_ctrs; #define TICK_UPDF_OMITTED() UPDF_OMITTED_ctr++ #define TICK_UPDF_PUSHED(tgt,inf) UPDF_PUSHED_ctr++ \ /* ; fprintf(stderr,"UPDF_PUSHED:%p:%p\n",tgt,inf) */ -#define TICK_SEQF_PUSHED() SEQF_PUSHED_ctr++ #define TICK_CATCHF_PUSHED() CATCHF_PUSHED_ctr++ #define TICK_UPDF_RCC_PUSHED() UPDF_RCC_PUSHED_ctr++ #define TICK_UPDF_RCC_OMITTED() UPDF_RCC_OMITTED_ctr++ @@ -262,11 +315,13 @@ extern StgEntCounter *ticky_entry_ctrs; ----------------------- -------------------------------------------- TICK_UPD_SQUEEZED Same as UPD_EXISTING but because of stack-squeezing + TICK_UPD_CON_IN_NEW Allocating a new CON TICK_UPD_CON_IN_PLACE Updating with a PAP in place TICK_UPD_PAP_IN_NEW Allocating a new PAP TICK_UPD_PAP_IN_PLACE Updating with a PAP in place + ToDo: the IN_PLACE versions are not relevant any more. -------------------------------------------------------------------------- */ #define TICK_UPD_HISTO(categ,n) \ @@ -409,11 +464,11 @@ EXTERN unsigned long ALLOC_PRIM_hst[5] #endif ; -EXTERN unsigned long ALLOC_UPD_PAP_ctr INIT(0); -EXTERN unsigned long ALLOC_UPD_PAP_adm INIT(0); -EXTERN unsigned long ALLOC_UPD_PAP_gds INIT(0); -EXTERN unsigned long ALLOC_UPD_PAP_slp INIT(0); -EXTERN unsigned long ALLOC_UPD_PAP_hst[5] +EXTERN unsigned long ALLOC_PAP_ctr INIT(0); +EXTERN unsigned long ALLOC_PAP_adm INIT(0); +EXTERN unsigned long ALLOC_PAP_gds INIT(0); +EXTERN unsigned long ALLOC_PAP_slp INIT(0); +EXTERN unsigned long ALLOC_PAP_hst[5] #ifdef TICKY_C = {0,0,0,0,0} #endif @@ -459,26 +514,65 @@ EXTERN unsigned long ALLOC_BF_hst[5] = {0,0,0,0,0} #endif ; -#endif +#endif // PAR EXTERN unsigned long ENT_VIA_NODE_ctr INIT(0); -EXTERN unsigned long ENT_THK_ctr INIT(0); -EXTERN unsigned long ENT_FUN_STD_ctr INIT(0); -EXTERN unsigned long ENT_FUN_DIRECT_ctr INIT(0); -EXTERN unsigned long ENT_CON_ctr INIT(0); -EXTERN unsigned long ENT_IND_ctr INIT(0); +EXTERN unsigned long ENT_STATIC_THK_ctr INIT(0); +EXTERN unsigned long ENT_DYN_THK_ctr INIT(0); +EXTERN unsigned long ENT_STATIC_FUN_DIRECT_ctr INIT(0); +EXTERN unsigned long ENT_DYN_FUN_DIRECT_ctr INIT(0); +EXTERN unsigned long ENT_STATIC_CON_ctr INIT(0); +EXTERN unsigned long ENT_DYN_CON_ctr INIT(0); +EXTERN unsigned long ENT_STATIC_IND_ctr INIT(0); +EXTERN unsigned long ENT_DYN_IND_ctr INIT(0); EXTERN unsigned long ENT_PERM_IND_ctr INIT(0); EXTERN unsigned long ENT_PAP_ctr INIT(0); -EXTERN unsigned long ENT_AP_UPD_ctr INIT(0); +EXTERN unsigned long ENT_AP_ctr INIT(0); +EXTERN unsigned long ENT_AP_STACK_ctr INIT(0); EXTERN unsigned long ENT_BH_ctr INIT(0); +EXTERN unsigned long UNKNOWN_CALL_ctr INIT(0); + +EXTERN unsigned long SLOW_CALL_v_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_f_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_d_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_l_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_n_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_p_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_pv_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_pp_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_ppv_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_ppp_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_pppv_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_pppp_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_ppppp_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_pppppp_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_OTHER_ctr INIT(0); + +EXTERN unsigned long ticky_slow_call_unevald INIT(0); +EXTERN unsigned long SLOW_CALL_ctr INIT(0); +EXTERN unsigned long MULTI_CHUNK_SLOW_CALL_ctr INIT(0); +EXTERN unsigned long MULTI_CHUNK_SLOW_CALL_CHUNKS_ctr INIT(0); +EXTERN unsigned long KNOWN_CALL_ctr INIT(0); +EXTERN unsigned long KNOWN_CALL_TOO_FEW_ARGS_ctr INIT(0); +EXTERN unsigned long KNOWN_CALL_EXTRA_ARGS_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_FUN_TOO_FEW_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_FUN_CORRECT_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_FUN_TOO_MANY_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_PAP_TOO_FEW_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_PAP_CORRECT_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_PAP_TOO_MANY_ctr INIT(0); +EXTERN unsigned long SLOW_CALL_UNEVALD_ctr INIT(0); + +EXTERN unsigned long SLOW_CALL_hst[8] +#ifdef TICKY_C + = {0,0,0,0,0,0,0,0} +#endif +; + EXTERN unsigned long RET_NEW_ctr INIT(0); EXTERN unsigned long RET_OLD_ctr INIT(0); EXTERN unsigned long RET_UNBOXED_TUP_ctr INIT(0); -EXTERN unsigned long RET_SEMI_BY_DEFAULT_ctr INIT(0); -EXTERN unsigned long RET_SEMI_IN_HEAP_ctr INIT(0); -EXTERN unsigned long RET_SEMI_FAILED_IND_ctr INIT(0); -EXTERN unsigned long RET_SEMI_FAILED_UNEVAL_ctr INIT(0); EXTERN unsigned long VEC_RETURN_ctr INIT(0); @@ -512,7 +606,6 @@ EXTERN unsigned long RET_SEMI_loads_avoided INIT(0); EXTERN unsigned long UPDF_OMITTED_ctr INIT(0); EXTERN unsigned long UPDF_PUSHED_ctr INIT(0); -EXTERN unsigned long SEQF_PUSHED_ctr INIT(0); EXTERN unsigned long CATCHF_PUSHED_ctr INIT(0); EXTERN unsigned long UPDF_RCC_PUSHED_ctr INIT(0); EXTERN unsigned long UPDF_RCC_OMITTED_ctr INIT(0); @@ -575,7 +668,7 @@ EXTERN unsigned long GC_WORDS_COPIED_ctr INIT(0); #define TICK_ALLOC_CON(g,s) #define TICK_ALLOC_TUP(g,s) #define TICK_ALLOC_BH(g,s) -#define TICK_ALLOC_UPD_PAP(g,s) +#define TICK_ALLOC_PAP(g,s) #define TICK_ALLOC_TSO(g,s) #define TICK_ALLOC_FMBQ(a,g,s) #define TICK_ALLOC_FME(a,g,s) @@ -585,17 +678,50 @@ EXTERN unsigned long GC_WORDS_COPIED_ctr INIT(0); #define TICK_ENT_VIA_NODE() -#define TICK_ENT_THK() -#define TICK_ENT_FUN_STD(n) -#define TICK_ENT_FUN_DIRECT(n) - -#define TICK_ENT_CON(n) -#define TICK_ENT_IND(n) +#define TICK_ENT_STATIC_THK() +#define TICK_ENT_DYN_THK() +#define TICK_ENT_STATIC_FUN_DIRECT(n) +#define TICK_ENT_DYN_FUN_DIRECT(n) +#define TICK_ENT_STATIC_CON(n) +#define TICK_ENT_DYN_CON(n) +#define TICK_ENT_STATIC_IND(n) +#define TICK_ENT_DYN_IND(n) #define TICK_ENT_PERM_IND(n) #define TICK_ENT_PAP(n) -#define TICK_ENT_AP_UPD(n) +#define TICK_ENT_AP(n) +#define TICK_ENT_AP_STACK(n) #define TICK_ENT_BH() +#define TICK_SLOW_CALL(n) +#define TICK_SLOW_CALL_UNEVALD(n) +#define TICK_SLOW_CALL_FUN_TOO_FEW() +#define TICK_SLOW_CALL_FUN_CORRECT() +#define TICK_SLOW_CALL_FUN_TOO_MANY() +#define TICK_SLOW_CALL_PAP_TOO_FEW() +#define TICK_SLOW_CALL_PAP_CORRECT() +#define TICK_SLOW_CALL_PAP_TOO_MANY() + +#define TICK_SLOW_CALL_v() +#define TICK_SLOW_CALL_f() +#define TICK_SLOW_CALL_d() +#define TICK_SLOW_CALL_l() +#define TICK_SLOW_CALL_n() +#define TICK_SLOW_CALL_p() +#define TICK_SLOW_CALL_pv() +#define TICK_SLOW_CALL_pp() +#define TICK_SLOW_CALL_ppv() +#define TICK_SLOW_CALL_ppp() +#define TICK_SLOW_CALL_pppv() +#define TICK_SLOW_CALL_pppp() +#define TICK_SLOW_CALL_ppppp() +#define TICK_SLOW_CALL_pppppp() +#define TICK_SLOW_CALL_OTHER(pattern) + +#define TICK_KNOWN_CALL() +#define TICK_KNOWN_CALL_TOO_FEW_ARGS() +#define TICK_KNOWN_CALL_EXTRA_ARGS() +#define TICK_UNKNOWN_CALL() + #define TICK_RET_NEW(n) #define TICK_RET_OLD(n) #define TICK_RET_UNBOXED_TUP(n) @@ -606,7 +732,6 @@ EXTERN unsigned long GC_WORDS_COPIED_ctr INIT(0); #define TICK_UPDF_OMITTED() #define TICK_UPDF_PUSHED(tgt,inf) -#define TICK_SEQF_PUSHED() #define TICK_CATCHF_PUSHED() #define TICK_UPDF_RCC_PUSHED() #define TICK_UPDF_RCC_OMITTED()