herd model and hardware, atomic instructions

This notes compares herd model for load-reserve and store-condtional instructions with experimental model and hardware. The default model of herd is atom-arm.cat.

We also show output for the flowing model (“Flowing”, running ppcmem, with options -flowing true -topauto true). Here we get results for 4684 tests out of 7033.

• Comparison with herd experimental ARM model
  • More behaviours
  • Less behaviours
• Comparison with the flowing model
  • More behaviours
  • Less behaviours
• Comparison between herd experimental model and the flowing model
  • More behaviours
  • Less behaviours
• Violation of “SC per location” by the flowing model
• Regression with previous run
  • More behaviours
  • Less behaviours
• Comparison with ARM hardware
  • Invalid behaviours
  • Invalid behaviours, experimental model
  • Invalid behaviours, flowing model
• Some typical tests

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