constrain garbage collection scope

garbage collection is now incremental, and may (in theory) never delete all unreferenced objects if it is slow enough.
This commit is contained in:
Valentin Gagarin 2022-06-02 23:34:24 +02:00 committed by Valentin Gagarin
parent 195aa28ff7
commit 7993ba1f38

View file

@ -88,7 +88,7 @@ Adding, building, copying and deleting store objects must be done in a way that
- We can only safely delete store objects which are not reachable from any reference still in use.
Garbage collection will delete all store objects that cannot be reached from any reference in use.
Garbage collection will delete those store objects that cannot be reached from any reference in use.
<!-- more details in section on garbage collection, link to it once it exists -->