Document number: P0561R6
Date: 2022-01-27
Reply to: Geoff Romer <gromer@google.com>, Andrew Hunter <andrewhhunter@gmail.com>
Audience: Concurrency Study Group, Library Working Group

An RAII Interface for Deferred Reclamation

  1. Background
  2. Design overview
    1. Read API
    2. Update API
    3. Clean shutdown
    4. Implementability
  3. Open questions
  4. Proposed wording
  5. Revision history
  6. Acknowledgements

Background

For purposes of this paper, deferred reclamation refers to a pattern of concurrent data sharing with two components: readers access the data while holding reader locks, which guarantee that the data will remain live while the lock is held. Meanwhile one or more updaters update the data by replacing it with a newly-allocated value. All subsequent readers will see the new value, but the old value is not destroyed until all readers accessing it have released their locks. Readers never block the updater or other readers, and the updater never blocks readers. Updates are inherently costly, because they require allocating and constructing new data values, so they are expected to be rare compared to reads.

This pattern can be implemented in several ways, including reference counting, RCU, and hazard pointers. Several of these have been proposed for standardization (see e.g. P0233R3, P0279R1, and P0461R1), but the proposals have so far exposed these techniques through fairly low-level APIs.

In this paper, we will propose a high-level RAII API for deferred reclamation, which emphasizes safety and usability rather than fidelity to low-level primitives, but still permits highly efficient implementation. This proposal is based on an API which is used internally at Google, and our experience with it demonstrates the value of providing a high-level API: in our codebase we provide both a high-level API like the one proposed here, and a more bare-metal RCU API comparable to P0461, and while the high-level API has over 200 users, the low-level API has one.

This proposal is intended to complement, rather than conflict with, proposals for low-level APIs for RCU, hazard pointers, etc, and it can be standardized independently of whether and when we standardize those other proposals.

Design overview

We begin with a simple example of how this API can be used: a Server class which handles requests using some config data, and can receive new versions of that config data (e.g. from a thread which polls the filesystem). Each request is handled using the latest config data available when the request is handled (i.e. updates do not affect requests already in flight). No synchronization is required between any of these operations.

  class Server {
   public:

    void SetConfig(Config new_config) {
      config_.update(std::make_unique<const Config>(std::move(new_config)));
    }

    void HandleRequest() {
      snapshot_ptr<const Config> config = config_.get_snapshot();

      // Use `config` like a unique_ptr<const Config>

    }

   private:
    snapshot_source<Config> config_;
  };

The centerpiece of this proposal is the snapshot_source<T> template, a wrapper which is either empty or holds a single object of type T. Rather than providing direct access to the stored object, it allows the user to obtain a snapshot of the current state of the object:

  template <typename T, typename Alloc = allocator<T>>
  class raw_snapshot_source {
  public:
    // Not copyable or movable
    raw_snapshot_source(raw_snapshot_source&&) = delete;
    raw_snapshot_source& operator=(raw_snapshot_source&&) = delete;
    raw_snapshot_source(const raw_snapshot_source&) = delete;
    raw_snapshot_source& operator=(const raw_snapshot_source&) = delete;

    raw_snapshot_source(nullptr_t = nullptr, const Alloc& alloc = Alloc());
    raw_snapshot_source(std::unique_ptr<T> ptr, const Alloc& alloc = Alloc());

    void update(nullptr_t);
    void update(unique_ptr<T> ptr);

    bool try_update(const snapshot_ptr<T>& expected, std::unique_ptr<T>&& desired);

    snapshot_ptr<T> get_snapshot() const;
  };

  template <typename T>
  using snapshot_source = raw_snapshot_source<see below>;

  template <typename T>
  class snapshot_ptr {
   public:
    // Move only
    snapshot_ptr(snapshot_ptr&&) noexcept;
    snapshot_ptr& operator=(snapshot_ptr&&) noexcept;
    snapshot_ptr(const snapshot_ptr&) = delete;
    snapshot_ptr& operator=(const snapshot_ptr&) = delete;

    snapshot_ptr(nullptr_t = nullptr);

    // Converting operations, enabled if U* is convertible to T*
    template <typename U>
    snapshot_ptr(snapshot_ptr<U>&& rhs) noexcept;
    template <typename U>
    snapshot_ptr& operator=(snapshot_ptr<U>&& rhs) noexcept;

    T* get() const noexcept;
    T& operator*() const;
    T* operator->() const noexcept;

    explicit operator bool() const noexcept;

    void swap(snapshot_ptr& other);
  };

  template <typename T>
  void swap(snapshot_ptr<T>& lhs, snapshot_ptr<T>& rhs);

  template <typename T>
  bool operator==(const snapshot_ptr<T>& lhs, const snapshot_ptr<T>& rhs);
  // Similar overloads for !=, <, >, <=, and >=, and mixed
  // comparison with nullptr_t.

  template <typename T>
  struct hash<snapshot_ptr<T>>;

As you can see, snapshot_source is actually an alias template that refers to raw_snapshot_source; we intend most users to use snapshot_source most of the time, although raw_snapshot_source is more fundamental. The problem with raw_snapshot_source is that, like so many other things in C++, it has the wrong default: a raw_snapshot_source<std::string> enables multiple threads to share mutable access to a std::string object, which is an open invitation to data races. Users can make the shared data immutable, but they have to opt into it by adding const to the type. We could add the const in the library, but then users would have no way to opt out if they geuninely do want to share mutable data (this is a reasonable thing to want, if the data has a race-free type).

This library is intended for routine use by non-expert programmers, so in our view safety must be the default, not something users have to opt into. Consequently, we provide a fully general but less safe API under the slightly more awkward name raw_snapshot_source, while reserving the name snapshot_source for a safe-by-default alias.

Specifically, snapshot_source<T> is usually an alias for raw_snapshot_source<const T>, but if the trait is_race_free_v<T> is true, signifying that T can be mutated concurrently without races, then snapshot_source<T> will be an alias for raw_snapshot_source<T>. Thus, snapshot_source exposes the most powerful interface that can be provided safely, while raw_snapshot_source provides users an opt-out, such as for cases where T is not inherently race-free, but the user will ensure it is used in a race-free manner. raw_snapshot_source thus acts as a marker of potentially unsafe code that warrants closer scrutiny, much like e.g. const_cast.

The major drawback we see in this approach is that it means that constness is somewhat less predictable: if c is a snapshot_source<T>, c.get_snapshot() might return a snapshot_ptr<T> or a snapshot_ptr<const T>, depending on T. We don't expect this to be a serious problem, because const T will be both the most common case by far, and the safe choice if the user is uncertain (snapshot_ptr<T> implicitly converts to snapshot_ptr<const T>). The problem can also be largely avoided through judicious use of auto.

Alternative approach: we could unconditionally define snapshot_source<T> as an alias for raw_snapshot_source<const T>. This would be substantially simpler, but raw_snapshot_source would not be able to act as a marker of code that requires close scrutiny, since many if not most uses of it (e.g. raw_snapshot_source<atomic<int>>) would be safe by construction. That said, any use of raw_snapshot_source<T> would still warrant some scrutiny, since shared mutable data usually carries a risk of race conditions, even if it is immune to data races.

Other than construction and destruction, all operations on raw_snapshot_source behave as atomic operations for purposes of determining a data race. One noteworthy consequence of this is that raw_snapshot_source is not movable, because there are plausible extensions of this design (e.g. to support user-supplied RCU domains) under which we believe that move assignment cannot be made atomic without degrading the performance of get_snapshot.

snapshot_source's destructor does not require all outstanding snapshot_ptrs to be destroyed first, nor wait for them to be destroyed. This is motivated by the principle that concurrency APIs should strive to avoid coupling between client threads that isn't mediated by the API; concurrency APIs should solve thread coordination problems, not create new ones. That said, destruction of the snapshot_source must already be coordinated with the threads that actually read it, so also coordinating with the threads that hold snapshot_ptrs to it may not be much additional burden (particularly since snapshot_ptrs cannot be passed across threads).

Some deferred reclamation libraries are built around the concept of "domains", which can be used to isolate unrelated operations from each other (for example with RCU, long-lived reader locks can delay all reclamation within a domain, but do not affect other domains). This proposal does not include explicit support for domains, so effectively all users of this library would share a single global domain. So far our experience has not shown this to be a problem. If necessary domain support can be added, by adding the domain as a constructor parameter of snapshot_source (with a default value, so client code can ignore domains if it chooses), but it is difficult to see how to do so without exposing implementation details (e.g. RCU vs. hazard pointers).

Read API

snapshot_ptr<T>'s API is closely modeled on unique_ptr<T>, and indeed it could almost be implemented as an alias for unique_ptr with a custom deleter, except that we don't want to expose operations such as release() or get_deleter() that could violate API invariants or leak implementation details.

A snapshot_ptr is either null, or points to a live object of type T, and it is only null if constructed from nullptr, moved-from, or is the result of invoking get_snapshot() on an empty raw_snapshot_source (in particular, a snapshot_ptr cannot spontaneously become null due to the actions of other threads). The guarantee that the object is live means that calling get_snapshot() is equivalent to acquiring a reader lock, and destroying the resulting snapshot_ptr is equivalent to releasing the reader lock.

In a high-quality implementation, all operations on a snapshot_ptr are non-blocking.

We require the user to destroy a snapshot_ptr in the same thread where it was obtained, so that this library can be implemented in terms of libraries that require reader lock acquire/release operations to happen on the same thread. Note that unique_lock implicitly imposes the same requirement, so this is not an unprecedented restriction. There are plausible use cases for transferring a snapshot_ptr across threads, and some RCU implementations can support it efficiently, but based on SG1 discussions we think it's safer to start with the more restrictive API, and broaden it later as needed.

The const semantics of get_snapshot() merit closer scrutiny. The proposed API permits users who have only const access to a raw_snapshot_source<T> to obtain non-const access to the underlying T. This is similar to the "shallow const" semantics of pointers, but unlike the "deep const" semantics of other wrapper types such as optional. In essence, the problem is that this library naturally supports three distinct levels of access (read-only, read-write, and read-write-update), but the const system can only express two. Our intuition (which SG1 in Kona generally seemed to share) is that the writer/updater distinction is more fundamental than the reader/writer distinction, so const should capture the former rather than the latter, but it's a close call.

We had considered providing snapshot_ptr with an aliasing constructor comparable to the one for shared_ptr:

  template <typename U>
  snapshot_ptr(snapshot_ptr<U>&& other, T* ptr);

This would enable the user, given a snapshot_ptr to an object, to construct a snapshot_ptr to one of its members. However, it would mean we could no longer guarantee that a snapshot_ptr is either null or points to a live object. SG1's consensus in Kona was to omit this feature, and we agree: we shouldn't give up that guarantee without a compelling use case.

Previous versions of this paper proposed that snapshot_ptr<T> rvalues be convertible to shared_ptr<T>, by analogy with unique_ptr<T>. However, this interface would require the user to ensure that the last copy of the resulting shared_ptr is destroyed on the same thread where the snapshot_ptr was created. This would be difficult to ensure in general, especially since the shared_ptrs carrying this requirement would be indistinguishable from any other shared_ptr. At the Toronto meeting, SG1 had no consensus to provide this conversion, so we have removed it. Peter Dimov points out that users who need to share ownership of a snapshot_ptr can do so fairly easily without this conversion.

Update API

The update side is more complex. It consists of two parallel sets of overloads, constructors and update(), which respectively initialize the snapshot_source with a given value, and update the snapshot_source to store a given value. update() does not necessarily wait for the old data value to be destroyed, although it may wait for other update operations. In addition, we provide a try_update() operation, which functions as a compare-and-swap, allowing us to support multiple unsynchronized updaters even when the new value depends on the previous value.

The constructor and update() overload taking nullptr_t respectively initialize and set the snapshot_source to the empty state. The fact that a snapshot_source can be empty is in some ways unfortunate, since it's generally more difficult to reason about types with an empty or null state, and users could always say snapshot_source<optional<T>> if they explicitly want an empty state. However, given that snapshot_ptr must have a null state in order to be movable, eliminating the empty state would not simplify user code much. Furthermore, forbidding the empty state when we support initialization from a nullable type would actually complicate the API.

The constructor and update() overload that accept a unique_ptr<T> ptr take ownership of it, and respectively initialize and set the current value of the snapshot_source to *ptr.

try_update() compares expected with the current value of the snapshot_source (i.e. the value that get_snapshot() would currently produce). If they are equal, it sets the current value of the snapshot_source to desired (setting desired to null in the process) and returns true. Otherwise, it returns false and leaves desired unmodified (spurious failures are also permitted, to maximize implementation flexibility). The execution of try_update() is atomic in both cases. Note that unlike other compare-and-swap operations, try_update() does not update expected on failure, because such an update could be costly and clients will not always need it. Clients who do can simply call get_snapshot() explicitly.

Internally, snapshot_source must maintain some sort of data structure to hold its previous values until it can destroy them, and sometimes this will require allocating memory. In revision 0 of this paper, we discussed a possible mechanism by which the user could consolidate those allocations with their own allocation of the T data. However, this would effectively couple the library to a particular implementation, and greatly complicate the interface. Furthermore, its value is questionable, because those allocations can be made rare and small in normal usage (when snapshot_ptrs are destroyed within bounded time). In Kona, the SG1 consensus (which we agree with) was that such a mechanism is not necessary.

It also bears mentioning that this library may need to impose some restrictions on the allocators it supports. In particular, it may need to require that the allocator's pointer type is a raw pointer, or can safely be converted to one, since the implementation layer is unlikely to be able to accept "fancy pointers".

We have opted not to provide an emplacement-style constructor or update function, for several reasons. First of all, it provides no additional functionality; it's syntactic sugar for update(make_unique<T>(...)) that might on some implementations be slightly more efficient (if it can consolidate allocations a la make_shared). Second, it would not be fully general; sometimes users need to perform some sort of setup in the interval between constructing the object and publishing it. Finally, it conflicts with another possible feature, support for custom deleters.

Currently, unique_ptrs passed to this library must use std::default_delete, but it's natural to ask if we could support other deleters. There are two ways we could go about that: we could make the deleter a template parameter of snapshot_source, or of the individual methods. Parameterizing the individual methods would be more flexible, but it would require some sort of type erasure, which would risk bloating the snapshot_source object (which can currently be as small as sizeof(T*)), and/or degrading performance on the read path (which needs to be fast). Parameterizing the whole class avoids type erasure, but precludes us from supporting emplace-style operations, because there's no way for the library to know how to allocate and construct an object so that it can be cleaned up by an arbitrary deleter.

Given the uncertainties around both features, the conflict between them, and the lack of strong motivation to add them, we have opted to omit them both for the time being.

One noteworthy property of update() is that there is no explicit support for specifying in the update() call how the old value is cleaned up, which we are told is required in some RCU use cases in the Linux kernel. It is possible for the user to approximate support for custom cleanup by using a custom destructor whose behavior is controlled via a side channel, but this is a workaround, and an awkward one at that. We've opted not to include this feature because use cases for it appear to be quite rare (our internal version of this API lacks this feature, and nobody has asked for it), and because it would substantially complicate the API. It would add an extra update() parameter which most users don't need, and which would break the symmetry between constructors and update() overloads. More fundamentally, it would raise difficult questions about the relationship between the user-supplied cleanup logic and the original deleter: does the cleanup logic run instead of the deleter, or before the deleter? Neither option seems very satisfactory.

Clean shutdown

In Toronto, the concern was raised that some clients may want to ensure that all retired snapshot_source values are reclaimed before the program terminates (at least during "normal" termination). To support this, a previous version of this paper proposed introducing a namespace-scope function set_synchronize_cells_on_exit() which, if called, ensures that this will take place (snapshot_source was called cell in that version of the proposal). However, SG1 consensus was that this was not the right solution, and instead the space should be left open for a future paper, so we have removed that functionality from the proposal.

Implementability

This proposal is designed to permit implementation via RCU, hazard pointers, or reference counting (or even garbage collection, we suppose). It is also designed to permit implementations that perform reclamation on background threads (which can enable update() to be nonblocking and lock-free regardless of T), as well as implementations that reclaim any eligible retired values during update() calls (which can ensure that update() is truly wait-free if ~T() is, and ensure a bound on the number of unreclaimed values). These two techniques appear to be mutually exclusive, and neither seems dramatically superior to the other: this API is not intended for cases where update() is a performance bottleneck, and in practice the number of retired but unreclaimed values should be tightly bounded in normal use, even if it is theoretically unbounded. Consequently, we propose to permit either implementation strategy, by not bounding the number of live old values and permitting update() to delete unreclaimed old values.

We tentatively propose to also allow the implementation to perform reclamation during ~snapshot_ptr, because that's the most natural choice for reference counting, but we're concerned that this risks adding latency to the read path (e.g. if ~T is slow or blocking). The alternative would be to require reference-counting implementations to defer reclamation to a subsequent update() call or a separate thread, but that would probably be slower when T is trivially destructible. We are opting not to impose this constraint because it will be easier to add later than to remove.

We do not intend to support the trivial implementation strategy of never performing any reclamation at all, but we have not found a way to disallow it without also disallowing other more reasonable implementation strategies. Instead, we non-normatively discourage it as strongly as possible.

This proposal cannot be implemented in terms of an RCU library that requires user code to periodically enter a "quiescent" state where no reader locks are held. We see no way to satisfy such a requirement in a general-purpose library, since it means that any use of the library, no matter how local, imposes constraints on the global structure of the threads that use it (even though the top-level thread code may otherwise be completely unaware of the library). This would be quite onerous to comply with, and likely a source of bugs. Neither Userspace RCU, Google's internal RCU implementation, nor P0233R2's hazard pointer API impose this requirement, so omitting it does not appear to be a major implementation burden.

This proposal also does not require user code to register and unregister threads with the library, for more or less the same reasons: it would cause local uses of the library to impose global constraints on the program, creating an unacceptable usability and safety burden. P0233R2 and Google's internal RCU do not impose this requirement, and Userspace RCU provides a library that does not (although at some performance cost). Furthermore, the standard library can satisfy this requirement if need be, without exposing users to it, by performing the necessary registration in std::thread.

A previous version of this paper stated that we did not think this API could be implemented in terms of hazard pointers, but that was an error. We are aware of no obstacles to implementing this library in terms of hazard pointers. However, we expect RCU to be the preferred implementation strategy in practice, because it can provide superior performance on the read side.

Straightforward RCU-based implementations of this API have a surprising property: a live snapshot_ptr will block reclamation of not only the object it points to, but any object managed by any snapshot_source that was not already eligible for reclamation when the snapshot_ptr was created. This has an even more surprising corollary: when an object that is managed by a snapshot_source owns a snapshot_ptr (directly or indirectly), this creates a situation analogous to a reference cycle: even after all outside references to the objects have been discarded, the snapshot_ptr keeps the object alive (along with all other snapshot_source-owned objects in the program) because of the above property, and the object keeps the snapshot_ptr alive because it owns the snapshot_ptr. As a consequence, snapshot_ptr generally should not be used as a class member.

Open questions

SG1 has identified the following open questions, which they hope will be resolved through TS feedback and/or followup proposals, but do not block adoption in a TS:

Proposed wording

This proposal is targeted to the Concurrency TS. We expect the section structure and introductory material to evolve as other related proposals are added, but we are initially presenting it as a new top-level clause.

Deferred reclamation [concur.snapshot]

Deferred reclamation overview [concur.snapshot.overview]

This clause describes components that a C++ program can use to manage the lifetime of data that may be shared between threads. They can be used to keep objects alive while they are potentially being concurrently accessed, while ensuring those objects are destroyed once they are no longer accessible. [ Note: these components are not restricted to multi-threaded programs, but can be useful in single-threaded programs as well. — end note]

[ Note: A variety of implementation techniques are possible, including RCU, hazard pointers, and atomic reference counting. — end note]

Header <experimental/snapshot> synopsis [concur.snapshot.synop]

#define __cpp_lib_experimental_snapshot 202XYYL

namespace std::experimental {
inline namespace v2 {
  // ?.?, is_race_free trait
  template <class T> class is_race_free;
  template <class T> inline constexpr bool is_race_free_v
      = is_race_free<T>::value;

  // ?.?, Class template raw_snapshot_source
  template <class T, class Allocator = see below>
  class raw_snapshot_source;

  // ?.?, Alias template snapshot_source
  template <class T, class Allocator = see below>
  using snapshot_source = raw_snapshot_source<see below, Allocator>;

  // ?.?, Class template snapshot_ptr
  template <class T> class snapshot_ptr;

  // ?.?, snapshot_ptr specialized algorithms
  template <class T>
  struct hash<snapshot_ptr<T>>;
}
}
  

is_race_free trait

template <class T> class is_race_free;
  

This template shall be a UnaryTypeTrait ([meta.rqmts]) with a base characteristic of true_type or false_type.

The base characteristic is true_type when T is a specialization of atomic<T>.

The base characteristic is false_type when T is a program-defined type. This requirement does not apply to program-defined specializations of is_race_free.

For all other types, the base characteristic is unspecified.

[Note: This trait is used to disable certain safety measures that prevent mutation of T objects that may be accessible to other threads. Consequently, specializing this trait for T with a base characteristic of true_type signifies that T's contract permits mutations that are concurrent with other\ operations. — end note]

Class template raw_snapshot_source [concur.raw_snapshot_source]

An object of type raw_snapshot_source<T, Allocator> represents a pointer to an object of type T, and provides operations to access and update the currently stored pointer. Updates are expected to be rare relative to accesses, so implementations should ensure that read-side operations (get_snapshot() and operations on snapshot_ptr) are non-blocking (and in particular don't reclaim synchronously) and as fast as possible. A raw_snapshot_source owns all pointers stored in it, but ensures that previous values are not reclaimed until they can no longer be accessed (hence the term "deferred reclamation").

namespace std {
  template <class T, class Allocator = see below>
  class raw_snapshot_source {
   public:
    using element_type = T;

    // ?.?, constructors
    constexpr raw_snapshot_source(nullptr_t = nullptr, const Allocator& a = Allocator());
    raw_snapshot_source(unique_ptr<T> ptr, const Allocator& a = Allocator());

    // ?.?, destructor
    ~raw_snapshot_source();

    // ?.?, update
    void update(unique_ptr<T> ptr);
    bool try_update(const snapshot_ptr<T>& expected, unique_ptr<T>&& desired);

    // ?.?, value access
    snapshot_ptr<T> get_snapshot() const;

    // Disable copy and move
    raw_snapshot_source(raw_snapshot_source&&) = delete;
    raw_snapshot_source& operator=(raw_snapshot_source&&) = delete;
    raw_snapshot_source(const raw_snapshot_source&) = delete;
    raw_snapshot_source& operator=(const raw_snapshot_source&) = delete;
  };
}
  

A raw_snapshot_source's value consists of the pointer the user stored in it, but if two different raw_snapshot_source operations store equal non-null pointers, the resulting values are considered to be distinct. [Note: In other words, raw_snapshot_source values are considered to be the same only if they are both null, or were caused by the same update operation. — end note]. Furthermore, if one of these operations does not happen after ([intro.races]) the reclamation of the value resulting from the other, the behavior is undefined. [Note: Consequently, non-equal values represented by equal pointers are never concurrently live — end note]

For purposes of determining the existence of a data race, all member functions of raw_snapshot_source (other than construction and destruction) behave as atomic operations on the value of the raw_snapshot_source object.

All modifications to the value of a raw_snapshot_source occur in a particular total order, called the modification order, which is consistent with the happens-before partial order.

The default value of Allocator shall be a specialization of allocator. Allocator shall satisfy the requirements of an allocator (20.5.3.5). For all cv-unqualified object types U, allocator_traits<Allocator>::rebind_traits<U>::pointer shall be U*.

raw_snapshot_source<T> reclaims previous non-null values by invoking default_delete<T>() on them, but this reclamation is deferred until it can satisfy all the "synchronizes with" constraints specified in this subclause. When reclamation of a value would satisfy those constraints, the value is said to be eligible for reclamation. A value will not be reclaimed unless the reclamation happens before ([intro.races]) completion of destruction of objects with static storage duration and execution of std::atexit registered functions ([support.start.term]). Reclamation may occur on a thread implicitly created by the library.

The implementation should ensure that all but a bounded number of values are reclaimed within a bounded amount of time after they are eligible for reclamation. [Note: There is no way to ensure that any given snapshot_source value is ever reclaimed, even at program termination, so snapshot_source may not be suitable for managing objects whose destructors have observable side effects. — end note]

If T is not an object type, or if T is an array type, the program is ill-formed.

raw_snapshot_source constructors [concur.raw_snapshot_source.ctor]

constexpr raw_snapshot_source(nullptr_t = nullptr, const Allocator& a = Allocator());
  
raw_snapshot_source(unique_ptr<T> ptr, const Allocator& a = Allocator());
  

raw_snapshot_source destructor [concur.raw_snapshot_source.dtor]

~raw_snapshot_source()
  

raw_snapshot_source update operations [concur.raw_snapshot_source.update]

void update(unique_ptr<T> ptr);
  
bool try_update(const snapshot_ptr<T>& expected, std::unique_ptr<T>&& desired);
  

raw_snapshot_source value access [concur.raw_snapshot_source.access]

snapshot_ptr<T> get_snapshot() const;
  

Alias template snapshot_source [concur.snapshot_source]

template <class T, class Allocator = see below>
using snapshot_source = raw_snapshot_source<see below, Allocator>;
  

The default value of Allocator shall be a specialization of allocator.

If is_race_free_v<T> is true, this is an alias for raw_snapshot_source<T, Allocator>. Otherwise, it is an alias for raw_snapshot_source<const T, Allocator>.

[Note: As a result, for most non-pathological types T, snapshot_source<T> is not subject to data races on either the snapshot_source itself, or on T objects accessed through it. — end note]

Class template snapshot_ptr [concur.snapshot_ptr]

A snapshot_ptr is smart pointer that can represent a "snapshot" of the value of a raw_snapshot_source at a certain point in time. Every snapshot_ptr is guaranteed to either be null, or point to a live object of type T, so holding a snapshot_ptr prevents the object it points to from being destroyed.

[Note: snapshot_ptr instances are intended to be short-lived local variables. In some implementations, a long-lived snapshot_ptr can prevent reclamation of any raw_snapshot_source values (anywhere in the program) that weren't eligible for reclamation when it was created. When an object managed by a raw_snapshot_source directly or indirectly owns a snapshot_ptr, this can create a situation analogous to a reference cycle, blocking reclamation of all data managed by raw_snapshot_source instances. — end note]

A snapshot_ptr behaves as an ordinary value type, like unique_ptr; it will not be accessed concurrently unless user code does so explicitly, and it has no protection against data races other than what is specified for the library generally ([res.on.data.races]).

namespace std {
  template <class T>
  class snapshot_ptr {
   public:
    // ?.?, snapshot_ptr constructors
    snapshot_ptr(nullptr_t = nullptr) noexcept;
    snapshot_ptr(snapshot_ptr&& other) noexcept;
    template <class U>
    snapshot_ptr(snapshot_ptr<U>&& other) noexcept;

    // ?.?, snapshot_ptr destructor
    ~snapshot_ptr();

    // ?.?, snapshot_ptr assignment
    snapshot_ptr& operator=(snapshot_ptr&& other) noexcept;
    template <class U>
    snapshot_ptr& operator=(snapshot_ptr<U>&& other) noexcept;

    // ?.?, snapshot_ptr observers
    T* get() const noexcept;
    add_lvalue_reference_t<T> operator*() const;
    T* operator->() const noexcept;
    explicit operator bool() const noexcept;

    // ?.?, snapshot_ptr modifiers
    void reset(nullptr_t = nullptr) noexcept;
    void swap(snapshot_ptr& other) noexcept;
    friend void swap(snapshot_ptr& lhs, snapshot_ptr& rhs);

    // ?.?, snapshot_ptr relational operators
    template <class U>
    friend bool operator==(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
    template <class U>
    friend bool operator!=(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
    template <class U>
    friend bool operator<(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
    template <class U>
    friend bool operator<=(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
    template <class U>
    friend bool operator>(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
    template <class U>
    friend bool operator>=(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);

    friend bool operator==(nullptr_t, const snapshot_ptr& rhs);
    friend bool operator==(const snapshot_ptr& lhs, nullptr_t);
    friend bool operator!=(nullptr_t, const snapshot_ptr& rhs);
    friend bool operator!=(const snapshot_ptr& lhs, nullptr_t);
    friend bool operator<(nullptr_t, const snapshot_ptr& rhs);
    friend bool operator<(const snapshot_ptr& lhs, nullptr_t);
    friend bool operator<=(nullptr_t, const snapshot_ptr& rhs);
    friend bool operator<=(const snapshot_ptr& lhs, nullptr_t);
    friend bool operator>(nullptr_t, const snapshot_ptr& rhs);
    friend bool operator>(const snapshot_ptr& lhs, nullptr_t);
    friend bool operator>=(nullptr_t, const snapshot_ptr& rhs);
    friend bool operator>=(const snapshot_ptr& lhs, nullptr_t);

    // disable copy from lvalue
    snapshot_ptr(const snapshot_ptr&) = delete;
    snapshot_ptr& operator=(const snapshot_ptr&) = delete;
    };
}
  

snapshot_ptr objects can take on the same set of values as raw_snapshot_source objects. The value of a snapshot_ptr will not change except as explicitly specified below.

snapshot_ptr constructors [concur.snapshot_ptr.ctor]

snapshot_ptr(nullptr_t = nullptr);
  
snapshot_ptr(snapshot_ptr&& other) noexcept;
template <class U>
snapshot_ptr(snapshot_ptr<U>&& other) noexcept;
  

snapshot_ptr destructor [concur.snapshot_ptr.dtor]

~snapshot_ptr()
  

snapshot_ptr assignment [concur.snapshot_ptr.assign]

snapshot_ptr& operator=(snapshot_ptr&& other) noexcept;
template <class U>
snapshot_ptr& operator=(snapshot_ptr<U>&& other) noexcept;
  

snapshot_ptr observers [concur.snapshot_ptr.observers]

T* get() const noexcept;
  
add_lvalue_reference<T> operator*() const;
  
T* operator->() const noexcept;
  
explicit operator bool() const noexcept;
  

snapshot_ptr modifiers [concur.snapshot_ptr.modifiers]

void reset(nullptr_t = nullptr) noexcept;
  
void swap(snapshot_ptr& other) noexcept;
  
friend void swap(snapshot_ptr& lhs, snapshot_ptr& rhs) noexcept;
  

snapshot_ptr relational operators [concur.snapshot_ptr.relops]

template <class U>
friend bool operator==(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
  
template <class U>
friend bool operator!=(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
  
template <class U>
friend bool operator<(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
  
template <class U>
friend bool operator<=(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
  
template <class U>
friend bool operator>(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
  
template <class U>
friend bool operator>=(const snapshot_ptr& lhs, const snapshot_ptr<U>& rhs);
  
friend bool operator==(nullptr_t, const snapshot_ptr& rhs);
friend bool operator!=(nullptr_t, const snapshot_ptr& rhs);
friend bool operator<(nullptr_t, const snapshot_ptr& rhs);
friend bool operator<=(nullptr_t, const snapshot_ptr& rhs);
friend bool operator>(nullptr_t, const snapshot_ptr& rhs);
friend bool operator>=(nullptr_t, const snapshot_ptr& rhs);
  
friend bool operator==(const snapshot_ptr& lhs, nullptr_t);
friend bool operator!=(const snapshot_ptr& lhs, nullptr_t);
friend bool operator>(const snapshot_ptr& lhs, nullptr_t);
friend bool operator<(const snapshot_ptr& lhs, nullptr_t);
friend bool operator<=(const snapshot_ptr& lhs, nullptr_t);
friend bool operator>=(const snapshot_ptr& lhs, nullptr_t);
  

snapshot_ptr specialized algorithms [concur.snapshot_ptr.alg]

template <class T>
struct hash<snapshot_ptr<T>>;
  

The specialization is enabled ([unord.hash]).

Revision history

Since P0561R5:

Since P0561R4:

Since P0561R3:

Since P0561R2:

Since P0561R1:

Since P0561R0:

Acknowledgements

Thanks to Paul McKenney and Maged Michael for valuable feedback on drafts of this paper, and Nico Josuttis and Tony van Eerd for their efforts to find a consensus name.