On Tue, 2015-08-11 at 10:29 +0100, Peter Maydell wrote: > Is it possible in some of these combinations to use the load-acquire > and store-release instructions rather than explicit barriers? > (ARMv8 has those, which I think should be slightly less heavyweight > than explicit barriers everywhere, if the semantics line up.)
Possibly though I suppose starting with a simple barrier and then adding more fine-grained ones to TCG might be a workable path. IE, it shouldn't be too hard. The problem of course is that not 2 architecture have exactly the same semantics :-) Cheers, Ben.
