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

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #8358: queue::push incoherent documentation (was: queue::push inchorent documentation)
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2013-04-01 16:15:51

#8358: queue::push incoherent 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 viboes):

 Replying to [comment:1 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 ...

 The problem is when internal memory pool fail but OS gives you memory. In
 this case the current postcondition is false as the object will be pushed
 to the queue even if the internal pool fails.

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