diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-23T16·34+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-23T16·34+0000 |
| commit | c364d5d1e36a9f790b0d610aae1d30d8732b58ce (patch) | |
| tree | 648befc4bb679b692d5d39c83a54a555cd8c8835 /make | |
| parent | 4f7e5f5810380ba4bcdd3c32c37dafb75d8e2f8d (diff) | |
* Made the garbage collector a lot faster. It no longer computes the
complete set of live and dead paths before starting the actual deletion, but determines liveness on demand. I.e. for any path in the store, it first tries to delete all the referrers, and then the path itself. This means that the collector can start deleting paths almost immediately.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions