From d1910765bed05ab31cf7f5c0d979aca812e94136 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 19 Oct 1999 15:39:08 +0000
Subject: [PATCH] [project @ 1999-10-19 15:39:08 by simonmar] ASSERT that the
tso link field is empty before pushing it on the end of a queue.
---
ghc/rts/Schedule.h | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/ghc/rts/Schedule.h b/ghc/rts/Schedule.h
index 3bc46d526a19..06ff4cfa3240 100644
--- a/ghc/rts/Schedule.h
+++ b/ghc/rts/Schedule.h
@@ -1,5 +1,5 @@
/* -----------------------------------------------------------------------------
- * $Id: Schedule.h,v 1.7 1999/09/10 11:11:52 simonmar Exp $
+ * $Id: Schedule.h,v 1.8 1999/10/19 15:39:08 simonmar Exp $
*
* (c) The GHC Team 1998-1999
*
@@ -47,7 +47,8 @@ extern StgTSO *MainTSO; /* temporary hack */
* NOTE: tso->link should be END_TSO_QUEUE before calling this macro.
*/
#define PUSH_ON_RUN_QUEUE(tso) \
- if (run_queue_hd == END_TSO_QUEUE) { \
+ ASSERT(tso->link == END_TSO_QUEUE); \
+ if (run_queue_hd == END_TSO_QUEUE) { \
run_queue_hd = tso; \
} else { \
run_queue_tl->link = tso; \
@@ -55,6 +56,7 @@ extern StgTSO *MainTSO; /* temporary hack */
run_queue_tl = tso;
#define PUSH_ON_BLOCKED_QUEUE(tso) \
+ ASSERT(tso->link == END_TSO_QUEUE); \
if (blocked_queue_hd == END_TSO_QUEUE) { \
blocked_queue_hd = tso; \
} else { \
--
GitLab