On 18/07/16 11:05, Joachim Breitner wrote:
> Hi,
>
> Am Montag, den 18.07.2016, 10:39 +0200 schrieb Lars Hupel:
- 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
On 18/07/16 10:39, Lars Hupel wrote:
>> Also the detailed parallel runtime parameters that are emitted every
>> 0.5s during a session running: number of active threads, pending futures
>> etc.
>
> How can I extract this information from within Isabelle/Scala? How would
> this information be
> Also the detailed parallel runtime parameters that are emitted every
> 0.5s during a session running: number of active threads, pending futures
> etc.
How can I extract this information from within Isabelle/Scala? How would
this information be presented?
>> - What about sessions that grow in