Separate raw stats from index stats

mirage / index

A platform-agnostic multi-level index

MIT License

33 stars 20 forks source link

Open icristescu opened 3 years ago

icristescu commented 3 years ago

This PR has two objectives:

separate the raw stats from the index one - different libraries than index can use the raw.ml (for instance cactus), and this allows to have the IO stats even if index is not used;
different stats for merge and the rest of the operations - now stats are reported by file name and so we can report IO stats only due to the merge

Ngoguey42 commented 3 years ago

Let's not merge this right now. Let's synchronise the merging of this PR with some other stats refactoring: