diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-12-19 18:03:06 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2022-12-21 20:45:18 +0000 |
| commit | 534e7736adb134106505876043123f6d8e5e3f43 (patch) | |
| tree | ac634ced83a35269da7485c9a2d9a850b3e7ca66 | |
| parent | 3d55d8ab51ece43c51055c43c9e7aba77cce46c0 (diff) | |
| download | haskell-534e7736adb134106505876043123f6d8e5e3f43.tar.gz | |
Revert "rts: Drop racy assertion"
The logic here was inverted. Reverting the commit to avoid confusion
when examining the commit history.
This reverts commit b3eacd64fb36724ed6c5d2d24a81211a161abef1.
| -rw-r--r-- | rts/sm/Storage.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/rts/sm/Storage.c b/rts/sm/Storage.c index 40353ea180..1760fed51a 100644 --- a/rts/sm/Storage.c +++ b/rts/sm/Storage.c @@ -1404,10 +1404,7 @@ allocatePinned (Capability *cap, W_ n /*words*/, W_ alignment /*bytes*/, W_ alig void dirty_MUT_VAR(StgRegTable *reg, StgMutVar *mvar, StgClosure *old) { -#if defined(THREADED_RTS) - // This doesn't hold in the threaded RTS as we may race with another thread. ASSERT(RELAXED_LOAD(&mvar->header.info) == &stg_MUT_VAR_CLEAN_info); -#endif Capability *cap = regTableToCapability(reg); // No barrier required here as no other heap object fields are read. See |