From: dave@boostpro.com   
      
   on Tue Oct 25 2011, Alexander Terekhov  wrote:   
      
   > Dave Abrahams wrote:   
   >>   
   >   
   >> on Mon Oct 24 2011, Alexander Terekhov  wrote:   
   >>   
   >>> Dave Abrahams wrote:   
   >>> [...]   
   >>>> Yes, basically.  There are some (expert-only) uses for "half-barriers"   
   >>>> that allow movement of some operations, but mutex locks are basically   
   >>>> always associated with strict, sequentially-consistent barriers.   
   >>>   
   >>> I always thought that C++11 mutex locks can be expressed in terms of   
   >>> relaxed C++11 atomic<> operations and acquire/release fences (not the   
   >>> same as memory_order_seq_cst fence).   
   >>   
   >> You know, you're probably right.  I guess you acquire on lock and   
   >> release on unlock or something?   
   >   
   > C++11 acquire/release fences mimic Power import/export barriers, see:   
   >   
   > http://www.cs.ox.ac.uk/people/jade.alglave/stability/stability-long.pdf   
   > ("Stability in Weak Memory Models With Proofs")   
      
   Fascinating paper I'm sure, but it doesn't seem to be an answer to my   
   question.   
      
   --   
   Dave Abrahams   
   BoostPro Computing   
   http://www.boostpro.com   
      
      
         [ See http://www.gotw.ca/resources/clcm.htm for info about ]   
         [ comp.lang.c++.moderated.    First time posters: Do this! ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)