Skip to content

custom metrics formatting#7

Open
PSeitz wants to merge 2 commits intomainfrom
improve_iter
Open

custom metrics formatting#7
PSeitz wants to merge 2 commits intomainfrom
improve_iter

Conversation

@PSeitz
Copy link
Copy Markdown
Owner

@PSeitz PSeitz commented Apr 13, 2026

  • feat: make custom metrics tracking generic for plugins
  • format custom metrics

PSeitz added 2 commits April 12, 2026 22:47
Replaces the hardcoded avg_memory logic in stats.rs with a generic custom_metrics field (HashMap<String, f64>). Plugins can now implement the custom_metrics method on EventListener to append tracking data like memory_consumption. Since custom_metrics is only called once at the end of all iterations, there are no allocations in the hot benchmarking loop. Also handles deserialization failures smoothly when encountering benchmark records from older versions.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant