Simulators and machines
In this work we introduce herd, a simple, generic,
weak memory model simulator. We compare it with ppcmem
the simulator for the operational model of [3].
The new simulator herd features a re-implementation of
the model of [2]. Hence we do not reuse the (unreleased)
simulators for this model.
We run tests on Power and ARM machines:
-
Power
- We tested three generations of Power processors in the following
machines.
- ARM
- We tested various ARM-based devices
-
Tegra2
-
A trimslice computer
running Ubuntu 11.04, whose processor card is
is a dual-core (Cortex-A9) Nvidia
Tegra2.
- APQ8060
-
A development card, donated by
QualComm, whose
processor is a dual-core APQ8060,
running Android 2.3.5.
- APQ8064
- A Google nexus7 tablet,
whose system on chip is a quad-core APQ8064,
running Android 4.3.
- A5X
- An Apple
iPad 3 tablet,
whose processor is
a cortex-A9 based dual-core
A5X.
- A6X
-
An Apple
iPad 4 tablet,
whose processor is “Apple swift”,
a dual-core ARMv7 compatible processor A6X.
The swift processor has been designed by Apple and
differs from both ARM Cortex-A9 and Cortex-A15.
- Exynos5250
-
A Google Nexus 10 tablet,
whose processor chip is a dual-core Cortex-A15 based Samsung
Exynos5250, running Android 4.2.2.
- Tegra3
-
An ASUS
Transformer Pad TF300T tablet,
whose processor chip is a Nvidia quad-core Cortex-A9
Tegra3, running Android 4.1.1.
- Exynos 4412
-
One Hardkernel
ODROID-X2
and three ODROID-U2 development platforms,
whose processor chip is a Samsung quad-core Cortex-A9 based
Exynos4412,
running Ubuntu Linaro 12.11.
- Exynos5410
- one Hardkernel ODROID-XU development board, whose processor
is a quad-core CortexA7–CortexA15 based Samsung Exynos5410.