summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
*-------------. Merge branches 'wip/tsan/sched', 'wip/tsan/ci', 'wip/tsan/storage', 'wip/tsan...wip/tsan/allBen Gamari2020-11-0853-591/+822
|\ \ \ \ \ \ \ \
| | | | | | | | * rts: Tear down stats_mutex after exitHeapProfilingBen Gamari2020-11-084-5/+14
| | | | | | | | * rts/Stats: Protect with mutexBen Gamari2020-11-081-3/+55
| | | | | | | | * rts/Stats: Hide a few unused unnecessarily global functionsBen Gamari2020-11-082-22/+0
| | | | | | | * | rts: Fix races in Pthread timer backend shudownBen Gamari2020-11-081-8/+11
| | | | | | | * | rts: Fix timer initializationBen Gamari2020-11-081-1/+7
| | | | | | | * | rts: Pause timer while changing capability countBen Gamari2020-11-083-20/+38
| | | | | | | * | rts: Accept benign races in ProftimerBen Gamari2020-11-081-5/+5
| | | | | | | |/
| | | | | | * | Mitigate data races in event manager startup/shutdownBen Gamari2020-11-083-21/+33
| | | | | | |/
| | | | | * | rts/stm: Strengthen orderings to SEQ_CST instead of volatileBen Gamari2020-11-082-23/+23
| | | | | * | rts/STM: Use atomicsBen Gamari2020-11-081-27/+45
| | | | | |/
| | | | * | rts: Use proper relaxe operations in getCurrentThreadCPUTimeGHC GitLab CI2020-11-081-2/+4
| | | | * | rts: Avoid lock order inversion during forkBen Gamari2020-11-081-1/+3
| | | | * | rts: Use relaxed atomics for whitehole spin statsBen Gamari2020-11-082-3/+3
| | | | |/
| | | * | rts/WSDeque: Rewrite with proper atomicsBen Gamari2020-11-084-174/+111
| | | |/
| | * | Strengthen ordering in releaseGCThreadsBen Gamari2020-11-081-2/+2
| | * | rts: Annotate hopefully "benign" races in freeGroupBen Gamari2020-11-081-0/+25
| | * | rts: Use relaxed ordering on spinlock countersBen Gamari2020-11-082-2/+4
| | * | rts/SpinLock: Separate out slow pathBen Gamari2020-11-083-10/+47
| | * | rts: Fix race in GC CPU time accountingGHC GitLab CI2020-11-081-3/+6
| | * | rts: Join to concurrent mark thread during shutdownBen Gamari2020-11-084-1/+20
| | * | rts/Storage: Accept races on heap size countersBen Gamari2020-11-081-5/+8
| | * | rts: Use RELEASE ordering in unlockClosureBen Gamari2020-11-081-3/+2
| | * | rts/GC: Use atomicsBen Gamari2020-11-0811-176/+193
| | * | rts/Weak: Eliminate data racesBen Gamari2020-11-082-18/+14
| | * | rts/Updates: Use proper atomic operationsBen Gamari2020-11-081-4/+2
| | * | rts/Storage: Use atomicsBen Gamari2020-11-081-18/+17
| | * | rts: Avoid data races in StablePtr implementationBen Gamari2020-11-082-5/+10
| | * | rts: Rework handling of mutlist scavenging statisticsBen Gamari2020-11-083-37/+83
| | * | rts/BlockAlloc: Use relaxed operationsBen Gamari2020-11-081-6/+7
| | |/
| * | testsuite: Mark T13702 as broken with TSAN due to #18884Ben Gamari2020-11-081-1/+4
| * | testsuite: Mark T3807 as broken with TSANBen Gamari2020-11-081-2/+5
| * | TSANUtils: Ensure that C11 atomics are supportedBen Gamari2020-11-081-0/+4
| * | gitlab-ci: Disable documentation in TSAN buildBen Gamari2020-11-081-0/+3
| * | testsuite: Mark T9872[abc] as high_memory_usageBen Gamari2020-11-081-3/+6
| * | testsuite: Mark hie002 as high_memory_usageBen Gamari2020-11-081-0/+1
| * | testsuite: Skip high memory usage tests with TSANBen Gamari2020-11-081-0/+4
| * | testsuite: Skip divbyzero and derefnull under TSANGHC GitLab CI2020-11-081-0/+4
| * | testsuite: Mark setnumcapabilities001 as broken with TSANGHC GitLab CI2020-11-084-0/+8
| * | gitlab-ci: Add nightly-x86_64-linux-deb9-tsan jobBen Gamari2020-11-081-0/+16
| |/
* | rts: Make write of to_cap->inbox atomicBen Gamari2020-11-082-2/+1
* | Capabiliity: Properly fix data race on n_returning_tasksBen Gamari2020-11-083-4/+16
* | Document schedulePushWork raceBen Gamari2020-11-082-34/+70
* | Disable flawed assertionBen Gamari2020-11-081-1/+4
* | rts/Task: Move debugTrace to avoid data raceBen Gamari2020-11-081-2/+2
* | rts/RaiseAsync: Synchronize what_next readBen Gamari2020-11-081-1/+1
* | rts/Messages: Annotate benign raceBen Gamari2020-11-081-0/+3
* | rts/Threads: Avoid data races (TODO)Ben Gamari2020-11-081-18/+10
* | rts: Eliminate shutdown data race on task countersBen Gamari2020-11-082-0/+5
* | rts/Schedule: Eliminate data races in run queue managementBen Gamari2020-11-081-3/+12
View Lorry Controller Status