projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add a couple of assertions
[ghc-hetmet.git]
/
rts
/
RaiseAsync.c
diff --git
a/rts/RaiseAsync.c
b/rts/RaiseAsync.c
index
fad2803
..
c8a3856
100644
(file)
--- a/
rts/RaiseAsync.c
+++ b/
rts/RaiseAsync.c
@@
-16,7
+16,7
@@
#include "Schedule.h"
#include "Updates.h"
#include "STM.h"
#include "Schedule.h"
#include "Updates.h"
#include "STM.h"
-#include "Sanity.h"
+#include "sm/Sanity.h"
#include "Profiling.h"
#if defined(mingw32_HOST_OS)
#include "win32/IOManager.h"
#include "Profiling.h"
#if defined(mingw32_HOST_OS)
#include "win32/IOManager.h"
@@
-150,6
+150,8
@@
throwTo (Capability *cap, // the Capability we hold
{
StgWord status;
{
StgWord status;
+ ASSERT(target != END_TSO_QUEUE);
+
// follow ThreadRelocated links in the target first
while (target->what_next == ThreadRelocated) {
target = target->_link;
// follow ThreadRelocated links in the target first
while (target->what_next == ThreadRelocated) {
target = target->_link;
@@
-169,6
+171,8
@@
retry:
debugTrace(DEBUG_sched, "throwTo: retrying...");
check_target:
debugTrace(DEBUG_sched, "throwTo: retrying...");
check_target:
+ ASSERT(target != END_TSO_QUEUE);
+
// Thread already dead?
if (target->what_next == ThreadComplete
|| target->what_next == ThreadKilled) {
// Thread already dead?
if (target->what_next == ThreadComplete
|| target->what_next == ThreadKilled) {