[isabelle-dev] isabelle build
dm at prolingua.co.uk
Wed Aug 8 11:14:18 CEST 2012
On 08/08/2012 09:54, David Matthews wrote:
> Actually, one has to be careful when interpreting the parallelism
> figures. Much of the time an ML application is memory-bound which means
> that using more processors can make an improvement in overall run-time
> but the overall CPU usage will grow. As far as I can tell, the time
> that a processor spends waiting for memory counts as its CPU time unlike
> when it is waiting for IO.
Just in case that wasn't clear from the context, by "memory-bound" I
meant limited by the bandwidth between main memory and the processors.
More information about the isabelle-dev