summaryrefslogtreecommitdiff
path: root/rts
Commit message (Expand)AuthorAgeFilesLines
* Fix whitespaceBen Gamari2020-01-301-1/+3
* Disable flawed assertionBen Gamari2020-01-291-1/+4
* suppress #17289 (ticker) raceBen Gamari2020-01-291-0/+4
* wsdequeBen Gamari2020-01-291-9/+13
* Deque simplificationBen Gamari2020-01-293-165/+77
* Stregthen WSDeque semanticsBen Gamari2020-01-291-18/+12
* rts/Task: Move debugTrace to avoid data raceBen Gamari2020-01-291-2/+2
* rts/RaiseAsync: Synchronize what_next readBen Gamari2020-01-291-1/+1
* A solution for #17276Ben Gamari2020-01-292-5/+2
* rts/Stats: Accept race between stat_endGC and stat_startExitBen Gamari2020-01-291-0/+4
* Fix ScheduleBen Gamari2020-01-291-1/+1
* Fix messagesBen Gamari2020-01-291-0/+3
* Fix MessagesBen Gamari2020-01-291-1/+3
* capability invariantsBen Gamari2020-01-294-17/+10
* Fix #17289Ben Gamari2020-01-292-11/+19
* rts: Pause timer while changing capability countBen Gamari2020-01-292-11/+21
* rts/Storage: Accept races on heap size counters (TODO)Ben Gamari2020-01-291-3/+7
* rts/Threads: Avoid data races (TODO)Ben Gamari2020-01-291-18/+10
* rts: Eliminate shutdown data race on task countersBen Gamari2020-01-292-0/+5
* rts/Schedule: Eliminate data races in run queue managementBen Gamari2020-01-291-3/+12
* rts/STM: Use atomicsBen Gamari2020-01-291-27/+45
* rts/ThreadPaused: Avoid data racesBen Gamari2020-01-291-5/+4
* rts: Use RELEASE ordering in unlockClosureBen Gamari2020-01-291-3/+2
* rts/GC: Use atomicsBen Gamari2020-01-2910-176/+192
* rts/Messages: Drop incredibly fishy write barrierBen Gamari2020-01-291-5/+1
* rts: Avoid data races in message handlingBen Gamari2020-01-293-27/+26
* rts/Weak: Eliminate data racesBen Gamari2020-01-292-18/+14
* rts/Updates: Use proper atomic operationsBen Gamari2020-01-291-4/+2
* rts/Storage: Use atomicsBen Gamari2020-01-291-18/+17
* rts: Avoid data races in StablePtr implementationBen Gamari2020-01-291-4/+5
* rts/Schedule: Eliminate data races on recent_activityBen Gamari2020-01-293-11/+11
* rts: Rework handling of mutlist scavenging statisticsBen Gamari2020-01-293-37/+83
* rts: Eliminate data races on pending_syncBen Gamari2020-01-292-7/+7
* rts: Use relaxed atomics for whitehole spin statsBen Gamari2020-01-292-3/+3
* rts: Avoid lock order inversion during forkBen Gamari2020-01-291-1/+3
* rts: Accept data race in work-stealing implementationBen Gamari2020-01-292-1/+8
* rts/WSDeque: Use C11 atomicsBen Gamari2020-01-292-32/+36
* rts/Schedule: Use relaxed operations for sched_stateBen Gamari2020-01-292-19/+23
* rts: Use relaxed operations for cap->running_task (TODO)Ben Gamari2020-01-292-10/+12
* rts/Capability: Use relaxed operations for last_free_capabilityBen Gamari2020-01-291-3/+3
* rts: Mitigate races in capability interruption logicBen Gamari2020-01-292-9/+10
* rts: Use relaxed atomics on n_returning_tasksBen Gamari2020-01-291-1/+4
* rts: Add assertions for task ownership of capabilitiesBen Gamari2020-01-292-1/+13
* rts: Clarify locking behavior of releaseCapability_Ben Gamari2020-01-291-0/+4
* rts: Accept benign races in ProftimerBen Gamari2020-01-291-5/+5
* rts: Annotate benign race in ticker shutdown logicBen Gamari2020-01-291-0/+4
* rts: Annotate benign race in waitForCapabilityBen Gamari2020-01-291-1/+21
* rts: Factor out logic to identify a good capability for running a taskBen Gamari2020-01-291-26/+41
* rts/BlockAlloc: Use relaxed operationsBen Gamari2020-01-291-6/+7
* rts/OSThreads: Fix data raceBen Gamari2020-01-291-2/+4
View Lorry Controller Status