diff options
| author | Valentin Gagarin <valentin@fricklerhandwerk.de> | 2022-06-02 23:34:24 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-04 12:37:47 +0200 |
| commit | 7993ba1f388e509d7617808b4a947ed1bf1533a8 (patch) | |
| tree | 6346c189f5dde6a61b015f4e3ba7f49cb8d7cf42 /doc/manual/src | |
| parent | 195aa28ff73ee21bfe2d398e570bf458f07f6757 (diff) | |
constrain garbage collection scope
garbage collection is now incremental, and may (in theory) never delete all unreferenced objects if it is slow enough.
Diffstat (limited to 'doc/manual/src')
| -rw-r--r-- | doc/manual/src/architecture/store/store.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/architecture/store/store.md b/doc/manual/src/architecture/store/store.md index aff41d511..5b4c3072d 100644 --- a/doc/manual/src/architecture/store/store.md +++ b/doc/manual/src/architecture/store/store.md @@ -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 --> |