summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| | * | rts/stm: Strengthen orderings to SEQ_CST instead of volatilewip/tsan/stmBen Gamari2020-10-242-23/+23
| | * | 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-014-174/+111
| |\ \
| | * | rts/WSDeque: Rewrite with proper atomicswip/tsan/wsdequeBen Gamari2020-10-244-174/+111
| | |/
| * | Merge branch 'wip/tsan/storage' into wip/tsan/allBen Gamari2020-11-0127-282/+431
| |\ \
| | * | 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-302-2/+4
| | * | rts/SpinLock: Separate out slow pathBen Gamari2020-10-303-10/+47
| | * | rts: Fix race in GC CPU time accountingGHC GitLab CI2020-10-301-3/+6
| | * | rts: Join to concurrent mark thread during shutdownBen Gamari2020-10-304-1/+20
| | * | 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-3011-175/+192
| | * | 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-242-5/+10
| | * | rts: Rework handling of mutlist scavenging statisticsBen Gamari2020-10-243-37/+83
| | * | rts/BlockAlloc: Use relaxed operationsBen Gamari2020-10-241-6/+7
| | |/
| * | Merge branch 'wip/tsan/ci' into wip/tsan/allBen Gamari2020-11-0110-6/+55
| |\ \
| | * | testsuite: Mark T13702 as broken with TSAN due to #18884wip/tsan/ciBen Gamari2020-10-241-1/+4
| | * | testsuite: Mark T3807 as broken with TSANBen Gamari2020-10-241-2/+5
| | * | TSANUtils: Ensure that C11 atomics are supportedBen Gamari2020-10-241-0/+4
| | * | gitlab-ci: Disable documentation in TSAN buildBen Gamari2020-10-241-0/+3
| | * | testsuite: Mark T9872[abc] as high_memory_usageBen Gamari2020-10-241-3/+6
| | * | testsuite: Mark hie002 as high_memory_usageBen Gamari2020-10-241-0/+1
| | * | testsuite: Skip high memory usage tests with TSANBen Gamari2020-10-241-0/+4
| | * | testsuite: Skip divbyzero and derefnull under TSANGHC GitLab CI2020-10-241-0/+4
| | * | testsuite: Mark setnumcapabilities001 as broken with TSANGHC GitLab CI2020-10-244-0/+8
| | * | gitlab-ci: Add nightly-x86_64-linux-deb9-tsan jobBen Gamari2020-10-241-0/+16
| | |/
| * | 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-243-4/+16
| * | 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
| * | rts/RaiseAsync: Synchronize what_next readBen Gamari2020-10-241-1/+1
| * | rts/Messages: Annotate benign raceBen Gamari2020-10-241-0/+3
| * | rts/Threads: Avoid data races (TODO)Ben Gamari2020-10-241-18/+10
| * | rts: Eliminate shutdown data race on task countersBen Gamari2020-10-242-0/+5
| * | rts/Schedule: Eliminate data races in run queue managementBen Gamari2020-10-241-3/+12
| * | rts/ThreadPaused: Avoid data racesBen Gamari2020-10-241-5/+4
| * | rts/Messages: Drop incredibly fishy write barrierBen Gamari2020-10-241-2/+0
| * | rts: Avoid data races in message handlingBen Gamari2020-10-243-27/+26
| * | rts/Schedule: Eliminate data races on recent_activityBen Gamari2020-10-243-12/+12
| * | rts: Eliminate data races on pending_syncBen Gamari2020-10-242-5/+5