diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-12 10:19:26 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-16 16:11:49 +0100 |
| commit | c472af3fabda73788ccdea8848e6072a989c2a23 (patch) | |
| tree | 0c841d84bc3da4da056bd163819ca5b4d2fa2cea /src | |
| parent | 1b0c2268e96a800d02ce7851bc750f22d2a66427 (diff) | |
| download | justbuild-c472af3fabda73788ccdea8848e6072a989c2a23.tar.gz | |
Design interaction between target-level caching and garbage collection
The implicit extensional projection of target-level caching and
garbage collection interact in a subtile way. Add a design document
describing how we keep the invariant required by target-level
caching in the presence of garbage collection. While, techincally,
this just describes how to fix a bug, a careful design is still
needed, as some fundamental changes are made.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions