Hi, On Tue, 13 Sep 2011, Andrew MacLeod wrote:
> Your example was not about regular stores, it used atomic variables. This reads as if there exists non-atomic variables in the new C++ mem-model. Assuming that this is so, why do those ugly requirements of not introducing new data races also apply to those non-atomic datas? Ciao, Michael.