ngoguey
ngoguey
Hi, Yes it would work.
`gc.ml` is about 900 lines of code. I'd like to split it into `Gc_utils` (which would contain the new stats), `Gc_worker` and `Gc` at some point (not in this PR,...
This is now ready for review.
I'm done with this PR. I'll clean the commit history prior to merge, following approves
Additionally: - The various offsets when the gc starts: suffix_start_offset, commit_offset, suffix_end_offset - The suffix_end_offset when the gc finalises. - New counters from file_manager and IO - In the stats...
Here is the draft of what I intend to implement https://github.com/mirage/irmin/commit/167cdc0229dee463e306697335d105057c26940f
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 https://github.com/mirage/irmin/commit/8d337a62469ece8920a36a195becd7d7725f1604
The worker stats on 10k commits (using tree.exe). ``` { "rusage": { "maxrss_before": 843, "maxrss_after": 725430, "minflt": 284420, "majflt": 981, "inblock": 0, "oublock": 0, "nvcsw": 64, "nivcsw": 695 }, "ocaml_gc":...