Pop Operational model vs. Power models

Models are as follows:

• “Pop” is pccmem with option -pop true.
• “Op.New” is pccmem with no option.
• “Model” is the default herd Power model.
• “Op” is a december 2013 run of pccmem with option -model restart_on_read_satisfy.
• “PLDI11” is a old ppcmem run.

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 4907 tests for “Pop” and 4378 tests for “Op.New” out of 8144.

• Comparison with Power model
  • More behaviours
  • Less behaviours
• Comparison with previous run
  • More behaviours
  • Less behaviours
• Comparison with Op.New
  • More behaviours
  • Less behaviours
• Regression with respect to PLDI11
  • More behaviours
  • Less behaviours
• Comparison with Power hardware
  • Invalid behaviours

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