[isabelle] Isabelle-friendly CPUs and benchmarks



Dear all,

Looking at 
http://www.notebookcheck.net/Mobile-Processors-Benchmarklist.2436.0.html
as well as 
 
I would guess that integer-heavy benchmarks like dhrystone
and coremark are most relevant to Isabelle performance on HW.
A well-known caveat of dhrystone is that it fits into most modern 
caches. Any opinions or references on this?

(For the general Isabelle performance on multicore I *am* aware 
of Wenzel, "Parallel Proof Checking in Isabelle/Isar", e.g. 
at http://www.lri.fr/~wenzel/papers/parallel-isabelle.pdf )

TIA,

-- 
Holger





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.