Skip to content
Snippets Groups Projects
Commit 9502ad3c authored by Ben Gamari's avatar Ben Gamari Committed by Marge Bot
Browse files

rts/Messages: Fix data race

parent 6af43ab4
No related branches found
No related tags found
No related merge requests found
......@@ -205,7 +205,7 @@ uint32_t messageBlackHole(Capability *cap, MessageBlackHole *msg)
StgTSO *owner = (StgTSO*)p;
#if defined(THREADED_RTS)
if (owner->cap != cap) {
if (RELAXED_LOAD(&owner->cap) != cap) {
sendMessage(cap, owner->cap, (Message*)msg);
debugTraceCap(DEBUG_sched, cap, "forwarding message to cap %d",
owner->cap->no);
......@@ -275,7 +275,7 @@ uint32_t messageBlackHole(Capability *cap, MessageBlackHole *msg)
ASSERT(owner != END_TSO_QUEUE);
#if defined(THREADED_RTS)
if (owner->cap != cap) {
if (RELAXED_LOAD(&owner->cap) != cap) {
sendMessage(cap, owner->cap, (Message*)msg);
debugTraceCap(DEBUG_sched, cap, "forwarding message to cap %d",
owner->cap->no);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment