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

Use metrics to track lease usage #8120

Closed
Tracked by #7497
yliang412 opened this issue Jun 20, 2024 · 1 comment · Fixed by #8147
Closed
Tracked by #7497

Use metrics to track lease usage #8120

yliang412 opened this issue Jun 20, 2024 · 1 comment · Fixed by #8147
Assignees
Labels
c/storage/pageserver Component: storage: pageserver

Comments

@yliang412
Copy link
Contributor

yliang412 commented Jun 20, 2024

Track how many leases are issued. Disk space can be also an indicator.

@yliang412
Copy link
Contributor Author

This week: implementation

conradludgate pushed a commit that referenced this issue Jun 27, 2024
…efresh (#8147)

Part of #7497, closes #8120.

## Summary of changes

This PR adds a metric to track the number of valid leases after `GCInfo`
gets refreshed each time.

Besides this metric, we should also track disk space and synthetic size
(after #8071 is closed) to make sure leases are used properly.

Signed-off-by: Yuchen Liang <yuchen@neon.tech>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c/storage/pageserver Component: storage: pageserver
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant