[Git][ghc/ghc][wip/tsan/fixes] 12 commits: rts: Encapsulate access to capabilities array

[Ben Gamari (@bgamari)]

Ben Gamari pushed to branch wip/tsan/fixes at Glasgow Haskell Compiler / GHC


Commits:
44da7513 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Encapsulate access to capabilities array

- - - - -
de2cb8f5 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Encapsulate sched_state

- - - - -
fadc2c22 by Ben Gamari at 2022-11-23T00:12:13-05:00
PrimOps: Fix benign MutVar race

Relaxed ordering is fine here since the later CAS implies a release.

- - - - -
89eb0339 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Style fix

- - - - -
b7181c6e by Ben Gamari at 2022-11-23T00:12:13-05:00
compiler: Use release store in eager blackholing

- - - - -
cda73253 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Fix ordering of makeStableName

- - - - -
633c0018 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Use ordered accesses instead of explicit barriers

- - - - -
e48e1857 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Statically allocate capabilities

This is a rather simplistic way of solving #17289.

- - - - -
adce1728 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Ensure that all accesses to pending_sync are atomic

- - - - -
aa540695 by Ben Gamari at 2022-11-23T00:12:13-05:00
rts: Note race with wakeBlockingQueue

- - - - -
f9754e0d by Ben Gamari at 2022-11-23T00:12:13-05:00
Instrumentation: Refactor

- - - - -
91bca630 by Ben Gamari at 2022-11-23T00:12:13-05:00
hi

- - - - -


30 changed files:

- compiler/GHC/Cmm/Pipeline.hs
- compiler/GHC/Cmm/ThreadSanitizer.hs
- compiler/GHC/StgToCmm/Bind.hs
- rts/Capability.c
- rts/Capability.h
- rts/HeapStackCheck.cmm
- rts/IOManager.c
- rts/PrimOps.cmm
- rts/Printer.c
- rts/Profiling.c
- rts/Proftimer.c
- rts/RetainerProfile.c
- rts/RtsAPI.c
- rts/RtsStartup.c
- rts/Schedule.c
- rts/Schedule.h
- rts/Stats.c
- rts/StgMiscClosures.cmm
- rts/Threads.c
- rts/TraverseHeap.c
- rts/eventlog/EventLog.c
- rts/include/Cmm.h
- rts/include/rts/Config.h
- rts/posix/Select.c
- rts/posix/Signals.c
- rts/sm/Compact.c
- rts/sm/GC.c
- rts/sm/MarkWeak.c
- rts/sm/NonMoving.c
- rts/sm/NonMovingMark.c


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f5296cf487d440baef1e2eab37ae36ecbde52878...91bca630a923968047060852721074f9c7345de0

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f5296cf487d440baef1e2eab37ae36ecbde52878...91bca630a923968047060852721074f9c7345de0
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/20221123/7feec928/attachment-0001.html>