Flowing operational model vs. herd model and hardware

This note gathers two sets of comparison tables:

Other models may appear in tables:

Notice that ppcmem does not always terminate in the allocated time and memory bounds, so that these comparisons do not cover all our test set. In effect, we have ppcmem output for 4996 tests out of 7283. Also notice that, at the moment, we refrain from comparing models on tests that feature the .st qualified fences, for the sake of simplicity.

This document was translated from LATEX by HEVEA.