New paper: N3712, Policy-Based Design for Safe Destruction in Concurrent Containers -- Arch Robison

A new WG21 paper is available. A copy is linked below, and the paper will also appear in the next normal WG21 mailing. If you are not a committee member, please use the comments section below or the std-proposals forum for public discussion.

Document number: N3712

Date: 2013-08-30

Policy-Based Design for Safe Destruction in Concurrent Containers

by Arch Robison

Excerpt:

Writing containers that support concurrent access/modi cation by multiple threads incurs a special problem: when is it safe to delete an object? The problem is surprisingly tricky when lock-free operations are involved. Numerous general means have been proposed, ...

This paper sketches a way of abstracting these means so that concurrent container implementations could be parameterized over these means, thus allowing users to select the means best for their context. ...

This paper presents a sketch, not a complete proposal. It is intended to elicit discussion from experts as to whether the abstraction is viable. As such, this paper presents a fairly minimal interface that omits knobs for weak memory consistency and and extensive overloading of operators, so that experts can focus on a core question: Is the abstraction sufficient to support various means for deferred object deletion?

Add a Comment

Comments are closed.

Comments (0)

There are currently no comments on this entry.