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.

Sign up for GitHub

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

Jump to bottom

pika_exporter: add RocksDB metric API #1565

Closed
yaoyinnan opened this issue Jun 1, 2023 · 0 comments
Closed

pika_exporter: add RocksDB metric API #1565

yaoyinnan opened this issue Jun 1, 2023 · 0 comments
Assignees
@yaoyinnan
Labels
enhancement tool

Comments

@yaoyinnan
Copy link
Contributor

Provide an interface in Pika to obtain the specified property of RocksDB with the specified data_type of the specified db, so that developers need to obtain some uncommon RocksDB metrics.

related: #1549
@yaoyinnan yaoyinnan self-assigned this Jun 1, 2023
@yaoyinnan yaoyinnan changed the title Add RocksDB metric API pika_exporter: add RocksDB metric API Jul 27, 2023
@Mixficsol Mixficsol reopened this Sep 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yaoyinnan yaoyinnan

Labels
enhancement tool
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@AlexStocks @yaoyinnan @Mixficsol