
1 Dec
2006
1 Dec
'06
5:48 p.m.
Peter Dimov wrote:
Roland Schwarz wrote:
If I am not wrong, In which respect is your example then an emulation of acquire semantics. If I a wrong, what I am missing?
Nothing; it's an emulation, not an exact mapping. It achieves results that are valid executions under an acquire/release model.
I understand.
The emulation is stricter since it doesn't allow all reorderings that are possible in an acquire/release model. But it's a way to implement acquire/release on hardware that provides bidirectional barriers.
I was under the (seemingly wrong) impression that an emulation has to preserve all of the semantics, opposed to simulation which I would have used in your example. But nevertheless I got the point. Thanks. Roland