Nov. 17, 2020
3:45 a.m.
On Tue, 17 Nov 2020 12:00:32 +0900, Wonhyuk Yang said:
If you swap them, you get...
dc ivac,x1 // invalidate a cache line that's probably OK str w0,[x1 // and now we do a store that leaves a possibly stale cache line
In other words, if you swap them you may leave an un-invalidated stale cache line.
You mean, even if STCLR_EL1.{C, M} is cleared, store doesn't bypass the cache?
That's the problem. The store bypasses the cache line, and the next reference that uses the cache can get stale data. So you have to flush the cache line so the next reference has to refresh the cache on the memory read.