diff options
| -rw-r--r-- | rts/Capability.h | 1 | ||||
| -rw-r--r-- | rts/Messages.c | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/rts/Capability.h b/rts/Capability.h index aab2d84ae7..bc2e48412a 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -485,7 +485,6 @@ INLINE_HEADER bool emptyInbox(Capability *cap) // This may race with writes to putMVars and inbox but this harmless for the // intended uses of this function. TSAN_ANNOTATE_BENIGN_RACE(&cap->putMVars, "emptyInbox(cap->putMVars)"); - TSAN_ANNOTATE_BENIGN_RACE(&cap->inbox, "emptyInbox(cap->inbox)"); return (RELAXED_LOAD(&cap->inbox) == (Message*)END_TSO_QUEUE && RELAXED_LOAD(&cap->putMVars) == NULL); } diff --git a/rts/Messages.c b/rts/Messages.c index 6418a65117..285ca5be63 100644 --- a/rts/Messages.c +++ b/rts/Messages.c @@ -39,7 +39,7 @@ void sendMessage(Capability *from_cap, Capability *to_cap, Message *msg) #endif msg->link = to_cap->inbox; - to_cap->inbox = msg; + RELAXED_STORE(&to_cap->inbox, msg); recordClosureMutated(from_cap,(StgClosure*)msg); |