summaryrefslogtreecommitdiff
path: root/rts/sm/Sanity.c
Commit message (Expand)AuthorAgeFilesLines
* rts: Encapsulate access to capabilities arrayBen Gamari2022-12-161-10/+10
* rts: Introduce getNumCapabilitiesBen Gamari2022-12-161-11/+11
* Add native delimited continuations to the RTSAlexis King2022-09-111-0/+13
* rts: Move thread labels into TSOBen Gamari2022-08-061-0/+4
* Allow running memInventory when the concurrent nonmoving gc is enabledTeo Camarasu2022-07-181-5/+13
* Fix a few Note inconsistenciesBen Gamari2022-02-011-1/+0
* rts/winio: Fix #18382Ben Gamari2022-01-181-1/+0
* Make `PosixSource.h` installed and under `rts/`John Ericson2021-08-091-1/+1
* Fix copy+pasto in Sanity.cMatthew Pickering2021-04-021-1/+1
* rts: Use a separate free block list for allocatePinnedMatthew Pickering2021-03-081-2/+5
* rts/Sanity: Allow DEAD_WEAKs in weak pointer listBen Gamari2021-01-071-1/+1
* rts/Sanity: Avoid nasty race in weak pointer sanity-checkingBen Gamari2020-11-061-6/+114
* winio: Add an exported isHeapAlloced function to the RTSAndreas Klebinger2020-07-151-0/+9
* winio: Add IOPort synchronization primitiveTamar Christina2020-07-151-0/+1
* rts: Underline some Notes as is conventionalDaniel Gröber2020-04-141-0/+1
* rts: Expand and add more notes regarding slopDaniel Gröber2020-04-141-5/+9
* Update sanity checking for TSOs:Ömer Sinan Ağacan2020-03-161-36/+22
* rts: COMPACT_NFDATA support for the nonmoving collectorÖmer Sinan Ağacan2019-10-221-3/+24
* NonMoving: Move next_free_snap to block descriptorwip/gc/segment-header-to-bdescrBen Gamari2019-10-221-1/+1
* Nonmoving: Disable memory inventory with concurrent collectionBen Gamari2019-10-201-0/+8
* rts: Implement concurrent collection in the nonmoving collectorBen Gamari2019-10-201-2/+14
* rts: Non-concurrent mark and sweepÖmer Sinan Ağacan2019-10-201-12/+135
* rts: Give stack flags proper macrosBen Gamari2019-10-181-4/+4
* Fix COMPACT_NFDATA closure size, more CNF sanity checkingÖmer Sinan Ağacan2019-08-181-18/+28
* Correct closure observation, construction, and mutation on weak memory machines.Travis Whitaker2019-06-281-0/+3
* Fix checkStackChunk() call in Interepter.c, enable an assertionÖmer Sinan Ağacan2019-02-131-1/+1
* Implement a sanity check for CCS fields in profiling buildsÖmer Sinan Ağacan2019-01-101-0/+17
* rts: Add FALLTHROUGH macroBen Gamari2018-11-021-1/+1
* Fix a MSG_BLACKHOLE sanity check, add some commentsÖmer Sinan Ağacan2018-09-241-2/+6
* Fix deadlock between STM and throwToSimon Marlow2018-07-121-1/+2
* rts: Handle SMALL_MUT_ARR_PTRS in checkClosureÖmer Sinan Ağacan2018-06-091-0/+12
* Rename some mutable closure types for consistencyÖmer Sinan Ağacan2018-06-051-2/+2
* Merge FUN_STATIC closure with its SRTSimon Marlow2018-05-161-1/+1
* Revert "rts: Compile with gcc -Og"Ben Gamari2018-05-141-1/+1
* rts: Compile with gcc -OgBen Gamari2018-05-131-1/+1
* rts: fix format arguments for debugBelch calls on 32-bit systemsSergei Trofimovich2018-04-191-1/+1
* rts: annotate switch/case with '/* fallthrough */'Sergei Trofimovich2017-05-141-0/+1
* Prefer #if defined to #ifdefBen Gamari2017-04-281-3/+3
* rts: Fix "ASSERT ("sBen Gamari2017-04-231-5/+5
* Overhaul of Compact Regions (#12455)Simon Marlow2016-12-071-1/+3
* Use C99's boolBen Gamari2016-11-291-7/+7
* Remove CONSTR_STATICSimon Marlow2016-11-141-16/+6
* Track the lengths of the thread queuesSimon Marlow2016-08-031-2/+4
* Compact RegionsGiovanni Campagna2016-07-201-2/+47
* rts: More const correct-ness fixesErik de Castro Lopo2016-05-181-10/+11
* rts: Make function pointer parameters `const` where possibleErik de Castro Lopo2016-05-121-3/+3
* Use stdint types for Stg{Word,Int}{8,16,32,64}Tomas Carnecky2016-05-101-1/+1
* rts: Replace `nat` with `uint32_t`Erik de Castro Lopo2016-05-051-26/+26
* Allocate blocks in the GC in batchesSimon Marlow2016-04-121-2/+6
* Remove unused IND_PERMJoachim Breitner2016-01-231-1/+0