Flowing operational model vs. herd model and hardware |
This note gathers two sets of comparison tables:
-flowing true -topauto true
(“Flowing” model)
and our herd (default, Power) model (column “Model”).
-flowing true -topauto true
(“Flowing” model)
and our herd relaxed ARM model (column “ARM-Model”,
model arm.cat).
-flowing true -topauto true
(“Flowing” model)
and our herd Qualcomm model (column “Q”,
model qualcomm.cat).
This “Qualcomm model” stands between herd default model and the
more relaxed ARM model.
-flowing true -topauto true
(“Flowing” model)
and experiments on ARM hardware.
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.