diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-12-01 21:44:49 -0500 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2020-09-18 07:40:21 +0000 |
| commit | d70600cbe6311613562451bf3adfe882cdf29738 (patch) | |
| tree | 0f03abe0e7559d0ab4a0f364386f8b53060386d8 | |
| parent | 179a6d3e69451b601551638e5d579a1b337f1b85 (diff) | |
| download | haskell-d70600cbe6311613562451bf3adfe882cdf29738.tar.gz | |
rts/RaiseAsync: Synchronize what_next read
| -rw-r--r-- | rts/RaiseAsync.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/RaiseAsync.c b/rts/RaiseAsync.c index fa827f3647..9e94251193 100644 --- a/rts/RaiseAsync.c +++ b/rts/RaiseAsync.c @@ -245,7 +245,7 @@ check_target: ASSERT(target != END_TSO_QUEUE); // Thread already dead? - StgWord16 what_next = RELAXED_LOAD(&target->what_next); + StgWord16 what_next = SEQ_CST_LOAD(&target->what_next); if (what_next == ThreadComplete || what_next == ThreadKilled) { return THROWTO_SUCCESS; |