X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FSanity.h;h=96ac6c534f7bf32be361783c740805ce6cef184d;hb=6cf8982ac30be6836a0cdd8be5a6ac1a1a144213;hp=05803df2ce35c2b75ee14767177713ebe9459751;hpb=1aaac3473d8fce705610e4a6437283f7401a5583;p=ghc-hetmet.git diff --git a/rts/Sanity.h b/rts/Sanity.h index 05803df..96ac6c5 100644 --- a/rts/Sanity.h +++ b/rts/Sanity.h @@ -7,9 +7,12 @@ * ---------------------------------------------------------------------------*/ #ifndef SANITY_H +#define SANITY_H #ifdef DEBUG +BEGIN_RTS_PRIVATE + # if defined(PAR) # define PVM_PE_MASK 0xfffc0000 # define MAX_PVM_PES MAX_PES @@ -18,40 +21,23 @@ # endif /* debugging routines */ -extern void checkHeap ( bdescr *bd ); -extern void checkHeapChunk ( StgPtr start, StgPtr end ); -extern void checkChain ( bdescr *bd ); -extern void checkTSO ( StgTSO* tso ); -extern void checkGlobalTSOList ( rtsBool checkTSOs ); -extern void checkStaticObjects ( StgClosure* static_objects ); -extern void checkStackChunk ( StgPtr sp, StgPtr stack_end ); -extern StgOffset checkStackFrame ( StgPtr sp ); -extern StgOffset checkClosure ( StgClosure* p ); - -extern void checkMutableList ( bdescr *bd, nat gen ); -extern void checkMutableLists ( rtsBool checkTSOs ); - -#if defined(GRAN) -extern void checkTSOsSanity(void); -extern rtsBool checkThreadQSanity (PEs proc, rtsBool check_TSO_too); -extern rtsBool checkThreadQsSanity (rtsBool check_TSO_too); -#endif - -#if defined(PAR) -extern void checkBQ (StgBlockingQueueElement *bqe, StgClosure *closure); -#else -extern void checkBQ (StgTSO *bqe, StgClosure *closure); -#endif - -#if defined(PAR) -extern void checkLAGAtable(rtsBool check_closures); -extern void checkHeapChunk(StgPtr start, StgPtr end); -#endif - -/* test whether an object is already on update list */ -extern rtsBool isBlackhole( StgTSO* tso, StgClosure* p ); +void checkHeap ( bdescr *bd ); +void checkHeapChunk ( StgPtr start, StgPtr end ); +void checkLargeObjects ( bdescr *bd ); +void checkTSO ( StgTSO* tso ); +void checkGlobalTSOList ( rtsBool checkTSOs ); +void checkStaticObjects ( StgClosure* static_objects ); +void checkStackChunk ( StgPtr sp, StgPtr stack_end ); +StgOffset checkStackFrame ( StgPtr sp ); +StgOffset checkClosure ( StgClosure* p ); + +void checkMutableList ( bdescr *bd, nat gen ); +void checkMutableLists ( rtsBool checkTSOs ); + +void checkBQ (StgTSO *bqe, StgClosure *closure); + +END_RTS_PRIVATE #endif /* DEBUG */ #endif /* SANITY_H */ -