mem, cpu: Add assertions to snoop invalidation logic
authorStephan Diestelhorst <stephan.diestelhorst@arm.com>
Mon, 10 Aug 2015 10:25:52 +0000 (11:25 +0100)
committerStephan Diestelhorst <stephan.diestelhorst@arm.com>
Mon, 10 Aug 2015 10:25:52 +0000 (11:25 +0100)
commitf703160e5a49bf22b831d3a7f3355d7b4b3008fa
tree8132b091e55a29cbb9e76f9844b794fc8898be43
parentcabd4768c7186911fda91b9ea458df775b79486a
mem, cpu: Add assertions to snoop invalidation logic

This patch adds assertions that enforce that only invalidating snoops
will ever reach into the logic that tracks in-order load completion and
also invalidation of LL/SC (and MONITOR / MWAIT) monitors. Also adds
some comments to MSHR::replaceUpgrades().
src/arch/arm/locked_mem.hh
src/cpu/o3/lsq_unit_impl.hh
src/mem/cache/blk.hh
src/mem/cache/mshr.hh