[isabelle-dev] profiling

Andreas Schropp schropp at in.tum.de
Mon Mar 1 22:07:47 CET 2010

On 03/01/2010 10:04 PM, Alexander Krauss wrote:
> Also, make sure that you turn off multithreading, otherwise you might 
> get spurious data from other threads (though I'm not sure about that. 
> @Andy: Did we actually observe this last summer, or was it just a 
> guess?).

Well it is a guess that explains the behaviour and polyml profiling 
seems to know nothing about multithreading, cf polyml mailing list some 
months ago:

if profiling (with whatever option) is switched on, it's globally on, ie 
not thread local.

More information about the isabelle-dev mailing list