Re: [Boost-bugs] [Boost C++ Libraries] #7861: lockfree freelist doesn't destruct objects until its destructor is called

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #7861: lockfree freelist doesn't destruct objects until its destructor is called
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2013-01-07 10:44:23

#7861: lockfree freelist doesn't destruct objects until its destructor is called
-----------------------------------+----------------------------------------
  Reporter:  toffaletti@…          |       Owner:  timblechmann
      Type:  Bugs                  |      Status:  reopened    
 Milestone:  To Be Determined      |   Component:  lockfree    
   Version:  Boost 1.53.0          |    Severity:  Problem     
Resolution:                        |    Keywords:              
-----------------------------------+----------------------------------------

Comment (by timblechmann):

 a) check the michael/scott paper. in short: the content is copied before
 it is known to be valid. likewise the invalid objects can be destructed.

 b) the queue uses a dummy node, probably the item you see when the queue
 is destructed

 c) the freelist is also used by the stack, which does not have the
 requirements for assignment and destructor

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