-
Notifications
You must be signed in to change notification settings - Fork 157
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
irmin-pack: add GC stats for benchmarking #2046
Comments
Additionally:
Additionally, from the GC worker:
Injecting these stats in the stats_trace may be challenging. The stats_trace pushes one entry per event on the lib_context-API. The GC finalisation is not a lib_context-API event. |
Here is the draft of what I intend to implement 167cdc0 |
What's the idea behind tracking the various offsets? How do you imagine these being used? |
These offsets give information on the scope of a GC. We may want to plot informations using the offsets as x axis |
New version of the draft. The content of the stats did not change much. I have implemented the collection for the worker stats 8d337a6 |
The worker stats on 10k commits (using tree.exe).
|
Same setup, better stats
|
Same setup, but all the stats (not just from worker). PR will follow soon
|
Now more stats worker per step:
|
Things to add to our stats summary
irmin/src/irmin-pack/unix/ext.ml
Lines 147 to 154 in 953431e
The text was updated successfully, but these errors were encountered: