hupel at in.tum.de
Mon Jul 18 10:39:36 CEST 2016
> Also the detailed parallel runtime parameters that are emitted every
> 0.5s during a session running: number of active threads, pending futures
How can I extract this information from within Isabelle/Scala? How would
this information be presented?
>> - What about sessions that grow in size over time?
> That is indeed important, although we have just ignored it historically.
Right. But how would we take it into account? What registers as a spike
in build time for a session could either be a performance regression in
Isabelle or growing material.
More information about the isabelle-dev