Re: [Boost-bugs] [Boost C++ Libraries] #8358: queue::push inchorent documentation

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #8358: queue::push inchorent documentation
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2013-03-31 10:24:27

#8358: queue::push inchorent documentation
-------------------------------+--------------------------------------------
  Reporter:  viboes            |       Owner:  timblechmann
      Type:  Bugs              |      Status:  new         
 Milestone:  To Be Determined  |   Component:  lockfree    
   Version:  Boost 1.53.0      |    Severity:  Problem     
Resolution:                    |    Keywords:              
-------------------------------+--------------------------------------------

Comment (by timblechmann):

 it is not really a contradiction, because the queue has two allocation
 schemes:

 * an internal memory pool
 * the OS

 both allocation schemes may fail. changing the `postconditon' clause to
 `effects' might be reasonable, though ...

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/8358#comment:1>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.