On Thu, Sep 17, 2015 at 05:41:41PM +0200, Ivan Zhakov wrote: > That branch is complete and ready for merging, but I'm still not sure > whether we should merge it or not.
I think we should merge it to trunk now. I don't think this branch can improve much further unless we start exercising the code ourselves to see how well it's working for us. ANd I believe it's hard to tell whether these changes provide an actual benefit in practice without running the code for a while. I like the debug and profiling functionality. This should make it easy to tune the system going forward.
