martin-ueding
commented
5 years ago This is now implemented, I'll rebase that onto the master branch soon.
It creates a JSON file which is of rather small size. And then there is a new Python script which translates that into a GraphViz graph and renders it. Adding timings is rather cheap now, so one could do more than before. This is the full diagram on level 5:
Currently the timings just emit a bunch of XML which is then summarized using a Python script. This yields to extreme amounts of data which are not useful anyway. Therefore I want to create the data structure that we have in the summary directly in the main program. The output will not increase in length as the program is running longer and longer. This way we can also gather timings in production runs without generating terabytes of raw timings.