Skip to content

Pool metrics improvements#368

Merged
sneako merged 3 commits intomainfrom
chore/pool_metrics
Apr 21, 2026
Merged

Pool metrics improvements#368
sneako merged 3 commits intomainfrom
chore/pool_metrics

Conversation

@NelsonVides
Copy link
Copy Markdown
Collaborator

Somewhat a follow up on #362, having the pid on the metrics could help me correlate load to processes. Also, reworked the implementation to use ordered_set ets tables, which allow to use prefix lookups, hence skipping a supervisor call and replace count-ets-lookups with a single one.

Replace the per-index get_pool_status/3 loop (1..count) with a single
ordered_set prefix scan via match_object. This eliminates the need for
Supervisor.count_children calls in the get_pool_status path, reducing
it to a direct ETS lookup keyed by pool name.
@NelsonVides NelsonVides self-assigned this Apr 17, 2026
@NelsonVides NelsonVides added the enhancement New feature or request label Apr 17, 2026
@NelsonVides NelsonVides changed the title Chore/pool metrics Pool metrics improvements Apr 17, 2026
@NelsonVides NelsonVides requested a review from sneako April 17, 2026 12:49
Copy link
Copy Markdown
Owner

@sneako sneako left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good idea!

@sneako sneako merged commit 956952d into main Apr 21, 2026
3 checks passed
@NelsonVides NelsonVides deleted the chore/pool_metrics branch April 23, 2026 10:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants