[isabelle] Isabelle-friendly CPUs and benchmarks
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