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
Well it is a guess that explains the behaviour and polyml profiling
seems to know nothing about multithreading, cf polyml mailing list some
if profiling (with whatever option) is switched on, it's globally on, ie
not thread local.
More information about the isabelle-dev