Skip to content
This repository has been archived by the owner on Sep 17, 2024. It is now read-only.

Garbage collection / Storage pruning #122

Open
shubertm opened this issue Nov 15, 2023 · 1 comment
Open

Garbage collection / Storage pruning #122

shubertm opened this issue Nov 15, 2023 · 1 comment

Comments

@shubertm
Copy link
Member

shubertm commented Nov 15, 2023

When resource is deleted using other app or system, its properties still remain in storage. We need to clean storage after external resource deletion
ARK-Builders/ARK-Memo#8

@kirillt
Copy link
Member

kirillt commented Nov 18, 2023

We had similar feature planned in Navigator :

I'm not sure what is implementation status of it.. But we should not hurry with any garbage collection, because user-defined metadata (properties, tags, scores) is very important and we must not lose it. Better to have garbage in it but not remove something if index says it's not there any more. Another tricky spot is that resource could lag while syncing and properties can come earlier than the resource itself. In this case, we would erroneously remove the metadata.

@kirillt kirillt changed the title Clear properties when resource is missing in storage Garbage collection for user-defined metadata Nov 18, 2023
@kirillt kirillt changed the title Garbage collection for user-defined metadata Garbage collection / Storage pruning Nov 18, 2023
@kirillt kirillt mentioned this issue Nov 18, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants