home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.lang.c++.moderated      Moderated discussion of C++ superhackery      33,346 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 31,584 of 33,346   
   Alexander Terekhov to Dave Abrahams   
   Re: Double checked locking pattern artic   
   25 Oct 11 14:48:39   
   
   From: terekhov@web.de   
      
   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")   
      
   regards,   
   alexander.   
      
      
   --   
         [ 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)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca