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

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

#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 anonymous):

 > 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.

 not really, but maybe 'internal node' is ambiguous: it is 'internal' as in
 'internally used' node, not 'allocated from the internal freelist' ... hm

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