wingo pushed a commit to branch wip-whippet
in repository guile.
commit 22f5b443309300d0d76ade07433cc5286c91dc5e
Author: Andy Wingo <wi...@igalia.com>
AuthorDate: Sat Jul 27 22:34:43 2024 +0200
Docs docs
---
doc/collector-whippet.md | 17 +++++++++--------
1 file changed, 9 insertions(+), 8 deletions(-)
diff --git a/doc/collector-whippet.md b/doc/collector-whippet.md
index 2f0c17466..23fb2a1bb 100644
--- a/doc/collector-whippet.md
+++ b/doc/collector-whippet.md
@@ -114,14 +114,15 @@ After all these years, *whether* to mark stacks
conservatively or not is
still an open research question. Conservative stack scanning can retain
too much data if an integer is confused for an object reference and
removes a layer of correctness-by-construction from a system. Sometimes
-it is required, for example if your embedder cannot enumerate roots
-precisely. But there are reasons to consider it even if you can do
-precise roots: it removes the need for the compiler to produce a stack
-map to store the precise root enumeration at every safepoint; it removes
-the need to look up a stack map when tracing; and it allows C or C++
-support code to avoid having to place roots in traceable locations
-published to the garbage collector. And the [performance question is
-still open](https://dl.acm.org/doi/10.1145/2660193.2660198).
+conservative stack-scanning is required, for example if your embedder
+cannot enumerate roots precisely. But there are reasons to consider it
+even if you can do precise roots: conservative scanning removes the need
+for the compiler to produce a stack map to store the precise root
+enumeration at every safepoint; it removes the need to look up a stack
+map when tracing; and it allows C or C++ support code to avoid having to
+place roots in traceable locations published to the garbage collector.
+And the [performance question is still
+open](https://dl.acm.org/doi/10.1145/2660193.2660198).
Anyway. Whippet can scan roots conservatively. Those roots are pinned
for the collection; even if the collection will compact via evacuation,
