Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Feat.Req] Pruning msgs from db #19

Closed
hopeyen opened this issue Sep 8, 2023 · 0 comments · Fixed by #20
Closed

[Feat.Req] Pruning msgs from db #19

hopeyen opened this issue Sep 8, 2023 · 0 comments · Fixed by #20
Labels
p2 Medium priority size:medium Medium type:feature New or enhanced functionality

Comments

@hopeyen
Copy link
Contributor

hopeyen commented Sep 8, 2023

Problem statement

While there is an API function to delete messages, we should add an periodic pruning event into the listener radio.

Expectation proposal

Add config

  • max_storage the maximum storage of generic messages, prune messages from smallest/earliest message ID until there's at most max_storage message left: [earliest_id..latest_id-max_storage]
  • message_pruning_age prune messages of old age: timestamp + pruning_age < current_time

Alternative considerations
Certain message types might have different preference (such as to keep upgrade_intent_message longer than public_poi_message. We may want a configuration matrix, but treat them all the same for now.

Additional context
graphops/graphcast-sdk#268

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
p2 Medium priority size:medium Medium type:feature New or enhanced functionality
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants