X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2FSanity.h;h=88568988bffe21c09a20c978992c5e9ba4ed00ba;hb=ab5146287fd6f4a58a23e215414daa4ea48b8140;hp=581e02938ca3428781f345eb9012a070682e05a0;hpb=4391e44f910ce579f269986faef9e5db8907a6c0;p=ghc-hetmet.git

diff --git a/ghc/rts/Sanity.h b/ghc/rts/Sanity.h
index 581e029..8856898 100644
--- a/ghc/rts/Sanity.h
+++ b/ghc/rts/Sanity.h
@@ -1,16 +1,41 @@
 /* -----------------------------------------------------------------------------
- * $Id: Sanity.h,v 1.3 1999/01/13 17:25:44 simonm Exp $
+ * $Id: Sanity.h,v 1.8 2001/03/22 03:51:10 hwloidl Exp $
+ *
+ * (c) The GHC Team, 1998-1999
  *
  * Prototypes for functions in Sanity.c
  *
  * ---------------------------------------------------------------------------*/
 
 #ifdef DEBUG
+
+# if defined(PAR)
+# define PVM_PE_MASK    0xfffc0000
+# define MAX_PVM_PES    MAX_PES
+# define MAX_PVM_TIDS   MAX_PES
+# define MAX_SLOTS      100000
+# endif
+
 /* debugging routines */
 extern void checkHeap  ( bdescr *bd, StgPtr start );
+extern void checkHeapChunk ( StgPtr start, StgPtr end );
 extern void checkChain ( bdescr *bd );
 extern void checkStack ( StgPtr sp, StgPtr stack_end, StgUpdateFrame* su );
 extern void checkTSO   ( StgTSO* tso );
+extern void checkGlobalTSOList (rtsBool checkTSOs);
+extern void checkStaticObjects ( void );
+#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);
+extern void checkLAGAtable(rtsBool check_closures);
+extern void checkHeapChunk(StgPtr start, StgPtr end);
+#else
+extern void checkBQ (StgTSO *bqe, StgClosure *closure);
+#endif
 
 extern StgOffset checkClosure( StgClosure* p );