1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-01 12:20:26 +02:00

Docs docs

This commit is contained in:
Andy Wingo 2024-07-27 22:33:56 +02:00
parent 3ce0899729
commit 50e90a026a

View file

@ -111,17 +111,17 @@ treating each word on the stack as if it may be an object reference, and
marking any object at that address. marking any object at that address.
After all these years, *whether* to mark stacks conservatively or not is After all these years, *whether* to mark stacks conservatively or not is
still an open research question. Conservative stack scanning retain too still an open research question. Conservative stack scanning can retain
much data if an integer is confused for an object reference and removes too much data if an integer is confused for an object reference and
a layer of correctness-by-construction from a system. Sometimes it is removes a layer of correctness-by-construction from a system. Sometimes
required, for example if your embedder cannot enumerate roots precisely. it is required, for example if your embedder cannot enumerate roots
But there are reasons to consider it even if you can do precise roots: precisely. But there are reasons to consider it even if you can do
it removes the need for the compiler to produce a stack map to store the precise roots: it removes the need for the compiler to produce a stack
precise root enumeration at every safepoint; it removes the need to look map to store the precise root enumeration at every safepoint; it removes
up a stack map when tracing; and it allows C or C++ support code to the need to look up a stack map when tracing; and it allows C or C++
avoid having to place roots in traceable locations published to the support code to avoid having to place roots in traceable locations
garbage collector. And the [performance question is still published to the garbage collector. And the [performance question is
open](https://dl.acm.org/doi/10.1145/2660193.2660198). still open](https://dl.acm.org/doi/10.1145/2660193.2660198).
Anyway. Whippet can scan roots conservatively. Those roots are pinned Anyway. Whippet can scan roots conservatively. Those roots are pinned
for the collection; even if the collection will compact via evacuation, for the collection; even if the collection will compact via evacuation,