summaryrefslogtreecommitdiff
path: root/rts
Commit message (Expand)AuthorAgeFilesLines
* rts: Introduce highMemDynamicGHC GitLab CI2020-11-111-1/+8
* Add loadNativeObj and unloadNativeObjRay Shih2020-11-114-15/+261
* Fix and enable object unloading in GHCiÖmer Sinan Ağacan2020-11-1115-485/+584
* ghc-heap: expose decoding from heap representationDavid Eichmann2020-11-101-18/+23
* rts/linker: Fix relocation overflow in PE linkerBen Gamari2020-11-101-4/+6
* Merge remote-tracking branch 'origin/wip/tsan/all'Ben Gamari2020-11-0844-743/+1054
|\
| * Merge branch 'wip/tsan/stats' into wip/tsan/allBen Gamari2020-11-014-27/+62
| |\
| | * rts: Tear down stats_mutex after exitHeapProfilingwip/tsan/statsBen Gamari2020-11-014-5/+14
| | * rts/Stats: Protect with mutexBen Gamari2020-11-011-3/+55
| | * rts/Stats: Hide a few unused unnecessarily global functionsBen Gamari2020-10-242-22/+0
| * | Merge branch 'wip/tsan/timer' into wip/tsan/allBen Gamari2020-11-017-34/+65
| |\ \
| | * | rts: Fix races in Pthread timer backend shudownwip/tsan/timerBen Gamari2020-10-241-8/+11
| | * | rts: Fix timer initializationBen Gamari2020-10-241-1/+7
| | * | suppress #17289 (ticker) raceBen Gamari2020-10-241-0/+4
| | * | Fix #17289Ben Gamari2020-10-242-11/+19
| | * | rts: Pause timer while changing capability countBen Gamari2020-10-242-11/+21
| | * | rts: Accept benign races in ProftimerBen Gamari2020-10-241-5/+5
| | |/
| * | Merge branch 'wip/tsan/event-mgr' into wip/tsan/allBen Gamari2020-11-013-21/+30
| |\ \
| | * | Suppress data race due to closeBen Gamari2020-11-011-0/+1
| | * | Mitigate data races in event manager startup/shutdownwip/tsan/event-mgrBen Gamari2020-10-242-21/+29
| | |/
| * | Merge branch 'wip/tsan/stm' into wip/tsan/allBen Gamari2020-11-011-37/+55
| |\ \
| | * | rts/stm: Strengthen orderings to SEQ_CST instead of volatilewip/tsan/stmBen Gamari2020-10-241-20/+20
| | * | rts/STM: Use atomicsBen Gamari2020-10-241-27/+45
| | |/
| * | Merge branch 'wip/tsan/misc' into wip/tsan/allBen Gamari2020-11-014-6/+10
| |\ \
| | * | rts: Use proper relaxe operations in getCurrentThreadCPUTimewip/tsan/miscGHC GitLab CI2020-10-241-2/+4
| | * | rts: Avoid lock order inversion during forkBen Gamari2020-10-241-1/+3
| | * | rts: Use relaxed atomics for whitehole spin statsBen Gamari2020-10-242-3/+3
| | |/
| * | Merge branch 'wip/tsan/wsdeque' into wip/tsan/allBen Gamari2020-11-013-174/+96
| |\ \
| | * | rts/WSDeque: Rewrite with proper atomicswip/tsan/wsdequeBen Gamari2020-10-243-174/+96
| | |/
| * | Merge branch 'wip/tsan/storage' into wip/tsan/allBen Gamari2020-11-0122-267/+415
| |\ \
| | * | Strengthen ordering in releaseGCThreadsBen Gamari2020-11-011-2/+2
| | * | rts: Annotate hopefully "benign" races in freeGroupBen Gamari2020-11-011-0/+25
| | * | rts: Use relaxed ordering on spinlock counterswip/tsan/storageBen Gamari2020-10-301-2/+2
| | * | rts/SpinLock: Separate out slow pathBen Gamari2020-10-302-0/+42
| | * | rts: Fix race in GC CPU time accountingGHC GitLab CI2020-10-301-3/+6
| | * | rts: Join to concurrent mark thread during shutdownBen Gamari2020-10-303-0/+18
| | * | rts/Storage: Accept races on heap size countersBen Gamari2020-10-301-5/+8
| | * | rts: Use RELEASE ordering in unlockClosureBen Gamari2020-10-301-3/+2
| | * | rts/GC: Use atomicsBen Gamari2020-10-3010-172/+189
| | * | rts/Weak: Eliminate data racesBen Gamari2020-10-242-18/+14
| | * | rts/Updates: Use proper atomic operationsBen Gamari2020-10-241-4/+2
| | * | rts/Storage: Use atomicsBen Gamari2020-10-241-18/+17
| | * | rts: Avoid data races in StablePtr implementationBen Gamari2020-10-241-4/+5
| | * | rts: Rework handling of mutlist scavenging statisticsBen Gamari2020-10-243-37/+83
| | * | rts/BlockAlloc: Use relaxed operationsBen Gamari2020-10-241-6/+7
| | |/
| * | rts: Make write of to_cap->inbox atomicwip/tsan/schedBen Gamari2020-10-242-2/+1
| * | Capabiliity: Properly fix data race on n_returning_tasksBen Gamari2020-10-242-4/+15
| * | Document schedulePushWork raceBen Gamari2020-10-242-34/+70
| * | Disable flawed assertionBen Gamari2020-10-241-1/+4
| * | rts/Task: Move debugTrace to avoid data raceBen Gamari2020-10-241-2/+2