[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 20 commits: cmm: Introduce MO_RelaxedRead

Marge Bot (@marge-bot) gitlab at gitlab.haskell.org
Fri Dec 29 09:24:45 UTC 2023



Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
b7f4385b by Ben Gamari at 2023-12-29T04:24:23-05:00
cmm: Introduce MO_RelaxedRead

In hand-written Cmm it can sometimes be necessary to atomically load
from memory deep within an expression (e.g. see the `CHECK_GC` macro).
This MachOp provides a convenient way to do so without breaking the
expression into multiple statements.

- - - - -
2a32ced5 by Ben Gamari at 2023-12-29T04:24:23-05:00
codeGen: Use relaxed accesses in ticky bumping

- - - - -
4bb14cc4 by Ben Gamari at 2023-12-29T04:24:23-05:00
base: use atomic write when updating timer manager

- - - - -
be12ae09 by Ben Gamari at 2023-12-29T04:24:23-05:00
Use relaxed atomics to manipulate TSO status fields

- - - - -
7333d911 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Add necessary barriers when manipulating TSO owner

- - - - -
e1ffd31e by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Use `switch` to branch on why_blocked

This is a semantics-preserving refactoring.

- - - - -
631b1eb4 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Fix synchronization on thread blocking state

We now use a release barrier whenever we update a thread's blocking
state. This required widening StgTSO.why_blocked as AArch64 does not
support atomic writes on 16-bit values.

- - - - -
ed471ad6 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Fix data race in threadPaused

This only affects an assertion in the debug RTS and only needs relaxed
ordering.

- - - - -
e83c9304 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Fix data race in threadStatus#

- - - - -
fc3194d5 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Fix data race in Interpreter's preemption check

- - - - -
6ae463f0 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts/Messages: Fix data race

- - - - -
de731073 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts/Prof: Fix data race

- - - - -
fba294e4 by Ben Gamari at 2023-12-29T04:24:23-05:00
rts: Use relaxed ordering on dirty/clean info tables updates

When changing the dirty/clean state of a mutable object we needn't have
any particular ordering.

- - - - -
754253db by Ben Gamari at 2023-12-29T04:24:23-05:00
codeGen: Use relaxed-read in closureInfoPtr

- - - - -
ae3df723 by Ben Gamari at 2023-12-29T04:24:24-05:00
STM: Use acquire loads when possible

Full sequential consistency is not needed here.

- - - - -
4ccc6ca7 by Ben Gamari at 2023-12-29T04:24:24-05:00
rts: Use fence rather than redundant load

Previously we would use an atomic load to ensure acquire ordering.
However, we now have `ACQUIRE_FENCE_ON`, which allows us to express this
more directly.

- - - - -
10039af1 by Ben Gamari at 2023-12-29T04:24:24-05:00
rts: Fix data races in profiling timer

- - - - -
5042f85f by Ben Gamari at 2023-12-29T04:24:24-05:00
Add Note [C11 memory model]

- - - - -
be7d058c by Ben Gamari at 2023-12-29T04:24:24-05:00
genSym: Reimplement via CAS on 32-bit platforms

Previously the remaining use of the C implementation on 32-bit platforms
resulted in a subtle bug, #24261. This was due to the C object (which
used the RTS's `atomic_inc64` macro) being compiled without `-threaded`
yet later being used in a threaded compiler.

Side-step this issue by using the pure Haskell `genSym` implementation on
all platforms. This required implementing `fetchAddWord64Addr#` in terms
of CAS on 64-bit platforms.

- - - - -
66b86025 by Xiaoyan Ren at 2023-12-29T04:24:27-05:00
Do not color the diagnostic code in error messages (#24172)

- - - - -


30 changed files:

- compiler/GHC/Cmm/Expr.hs
- compiler/GHC/Cmm/Info.hs
- compiler/GHC/Cmm/MachOp.hs
- compiler/GHC/Cmm/Parser.y
- compiler/GHC/Cmm/ThreadSanitizer.hs
- compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
- compiler/GHC/CmmToAsm/PPC/CodeGen.hs
- compiler/GHC/CmmToAsm/Wasm/FromCmm.hs
- compiler/GHC/CmmToAsm/X86/CodeGen.hs
- compiler/GHC/CmmToC.hs
- compiler/GHC/CmmToLlvm/CodeGen.hs
- compiler/GHC/StgToCmm/Ticky.hs
- compiler/GHC/StgToCmm/Utils.hs
- compiler/GHC/Types/Error.hs
- compiler/GHC/Types/Unique/Supply.hs
- compiler/cbits/genSym.c
- compiler/jsbits/genSym.js
- libraries/base/src/GHC/Event/Thread.hs
- rts/Exception.cmm
- rts/HeapStackCheck.cmm
- rts/Interpreter.c
- rts/Messages.c
- rts/PrimOps.cmm
- rts/Proftimer.c
- rts/RaiseAsync.c
- rts/STM.c
- rts/Schedule.c
- rts/StgMiscClosures.cmm
- rts/StgStartup.cmm
- rts/ThreadPaused.c


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/32e85de66f7bbdb5d3e71cf908c9810211c0df18...66b86025bb8c35c988eb975d3d60b52ded16afbd

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/32e85de66f7bbdb5d3e71cf908c9810211c0df18...66b86025bb8c35c988eb975d3d60b52ded16afbd
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20231229/d1478669/attachment.html>


More information about the ghc-commits mailing list