[isabelle] Isabelle-friendly CPUs and benchmarks

Dear all,

Looking at 
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 )



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