diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-11-09 12:39:47 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-12-16 16:12:44 -0500 |
| commit | 70999283156f527c5aea6dee57a3d14989a9903a (patch) | |
| tree | 50a7d056523d831e4df2202911b78ebb5c92a9af /rts/Messages.h | |
| parent | 99269b9fd817262a686867383bf0fe88fdc64fb0 (diff) | |
| download | haskell-70999283156f527c5aea6dee57a3d14989a9903a.tar.gz | |
rts: Introduce getNumCapabilities
And ensure accesses to n_capabilities are atomic (although with relaxed
ordering). This is necessary as RTS API callers may concurrently call
into the RTS without holding a capability.
Diffstat (limited to 'rts/Messages.h')
| -rw-r--r-- | rts/Messages.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Messages.h b/rts/Messages.h index ecae7e6365..c95532b7e6 100644 --- a/rts/Messages.h +++ b/rts/Messages.h @@ -27,7 +27,7 @@ doneWithMsgThrowTo (Capability *cap, MessageThrowTo *m) { // The message better be locked (unless we are running single-threaded, // where we are a bit more lenient (#19075). - ASSERT(n_capabilities == 1 || m->header.info == &stg_WHITEHOLE_info); + ASSERT(getNumCapabilities() == 1 || m->header.info == &stg_WHITEHOLE_info); IF_NONMOVING_WRITE_BARRIER_ENABLED { updateRemembSetPushMessageThrowTo(cap, m); } |