X86_64 (Intel 64) mixed-size experiments

Contents

• Test base and machines
• Results
  • Invalid behaviours
  • Unseen behaviours
  • New this round

Test base and machines

Our test base consists in 14833 tests most of which are generated by the diy7 test generators.

All tested machines have 2-way hyper-threading enabled. Their processors are various versions of the Intel 64 architecture. More precisely:

• portable is a dual-core (Intel Core i5-53005U, 2.30 GHz) HP EliteBook laptop,
• macbook is a quad-core (Intel Core i7-4770HQ, 2.20 GHz) Apple MacBook pro,
• chianti is an octo-core (quad-core Intel Xeon E5620, 2.40 GHz, × 2) HP Z800 desktop,
• limoux is a 12-core (hexa-core Intel Xeon E5-2620, 2.40 GHz, × 2) Dell Precision 7810 desktop,
• teraram is a 40-core (10-core Intel Xeon E7-4870, 2.40 GHz, × 4) Dell PowerEdge R910 Server.

Finally, the model is the x86-tso mixed size model from diy7 distribution.

We also provide model log and consolidated hardware log.

Results

We compare model output with hardware output.

Invalid behaviours

As demonstrated by the following table being empty, no hardware behaviour that contradicts the model has been observed. In other words, no experiment invalidates the model.

Unseen behaviours

A few behaviours predicted by the model have not been not observed.

New this round

This document was translated from L^AT_EX by H^EV^EA.