rts/Sanity.h

   1 /* -----------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1998-1999
   4  *
   5  * Prototypes for functions in Sanity.c
   6  *
   7  * ---------------------------------------------------------------------------*/
   8
   9 #ifndef SANITY_H
  10
  11 #ifdef DEBUG
  12
  13 # if defined(PAR)
  14 # define PVM_PE_MASK    0xfffc0000
  15 # define MAX_PVM_PES    MAX_PES
  16 # define MAX_PVM_TIDS   MAX_PES
  17 # define MAX_SLOTS      100000
  18 # endif
  19
  20 /* debugging routines */
  21 extern void checkHeap      ( bdescr *bd );
  22 extern void checkHeapChunk ( StgPtr start, StgPtr end );
  23 extern void checkChain     ( bdescr *bd );
  24 extern void checkTSO       ( StgTSO* tso );
  25 extern void checkGlobalTSOList ( rtsBool checkTSOs );
  26 extern void checkStaticObjects ( StgClosure* static_objects );
  27 extern void checkStackChunk    ( StgPtr sp, StgPtr stack_end );
  28 extern StgOffset checkStackFrame ( StgPtr sp );
  29 extern StgOffset checkClosure  ( StgClosure* p );
  30
  31 extern void checkMutableList   ( bdescr *bd, nat gen );
  32 extern void checkMutableLists (void);
  33
  34 #if defined(GRAN)
  35 extern void checkTSOsSanity(void);
  36 extern rtsBool checkThreadQSanity (PEs proc, rtsBool check_TSO_too);
  37 extern rtsBool checkThreadQsSanity (rtsBool check_TSO_too);
  38 #endif
  39
  40 #if defined(PAR)
  41 extern void checkBQ (StgBlockingQueueElement *bqe, StgClosure *closure);
  42 #else
  43 extern void checkBQ (StgTSO *bqe, StgClosure *closure);
  44 #endif
  45
  46 #if defined(PAR)
  47 extern void checkLAGAtable(rtsBool check_closures);
  48 extern void checkHeapChunk(StgPtr start, StgPtr end);
  49 #endif
  50
  51 /* test whether an object is already on update list */
  52 extern rtsBool isBlackhole( StgTSO* tso, StgClosure* p );
  53
  54 #endif /* DEBUG */
  55
  56 #endif /* SANITY_H */
  57