search

ARK-Builders / arklib-android

Gradle wrapper for ARKLib, for usage in Android projects
MIT License
4 stars 6 forks source link

Garbage collection / Storage pruning #122

Open shubertm opened 10 months ago

shubertm commented 10 months ago

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 commented 10 months ago

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.