summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@well-typed.com>2020-11-26 16:11:56 -0500
committerGHC GitLab CI <ghc-ci@gitlab-haskell.org>2020-12-07 15:13:46 +0000
commitada68f55f7fd1aadfa850102a579f85de15c00a9 (patch)
tree7d817ce04eecb4bb7638268a3ccfcf91195d12a7
parent7122ff03d98b3b80452d0eaf44e172ed36791aee (diff)
downloadhaskell-ada68f55f7fd1aadfa850102a579f85de15c00a9.tar.gz
nonmoving: Add reference to Ueno 2016
(cherry picked from commit a3b8375eeb2ce9d2e30f8269f5b489c5bcacc69f)
-rw-r--r--rts/sm/NonMoving.c9
1 files changed, 7 insertions, 2 deletions
diff --git a/rts/sm/NonMoving.c b/rts/sm/NonMoving.c
index 4519a33314..3adfc0892b 100644
--- a/rts/sm/NonMoving.c
+++ b/rts/sm/NonMoving.c
@@ -191,8 +191,8 @@ Mutex concurrent_coll_finished_lock;
* === Other references ===
*
* Apart from the design document in docs/storage/nonmoving-gc and the Ueno
- * 2016 paper (TODO citation) from which it drew inspiration, there are a
- * variety of other relevant Notes scattered throughout the tree:
+ * 2016 paper [ueno 2016] from which it drew inspiration, there are a variety
+ * of other relevant Notes scattered throughout the tree:
*
* - Note [Concurrent non-moving collection] (NonMoving.c) describes
* concurrency control of the nonmoving collector
@@ -232,6 +232,11 @@ Mutex concurrent_coll_finished_lock;
* how we use the DIRTY flags associated with MUT_VARs and TVARs to improve
* barrier efficiency.
*
+ * [ueno 2016]:
+ * Katsuhiro Ueno and Atsushi Ohori. 2016. A fully concurrent garbage
+ * collector for functional programs on multicore processors. SIGPLAN Not. 51,
+ * 9 (September 2016), 421–433. DOI:https://doi.org/10.1145/3022670.2951944
+ *
*
* Note [Concurrent non-moving collection]
* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~