X86_64 Memory Type Tests

This document explores the effect of X86_64 memory types on memory model. This is companion material to our article “Extending Intel-x86 Consistency and Persistency: Formalising the Semantics of Intel-x86 Memory Types and Non-Temporal Stores” by A. Raad, L. Maranget, V. Vafeiadis.

Some files are provided: model (NEW.cat), models output (TSO, Model), consolidated hardware logs (Hardware) and litmus tests (src.tgz).

Amongst many, we present our main experimental result in section Comparing hardware with the model: our model is not invalidated by experiments.

This document was translated from LATEX by HEVEA.