xenium::reclamation::hazard_pointer< Traits > Class Template Reference

An implementation of the hazard pointers reclamation scheme as proposed by Michael [Mic04]. More...

#include <hazard_pointer.hpp>

Public Types
template<class... Policies>
using	with = hazard_pointer< typename Traits::template with< Policies... > >
	Customize the reclamation scheme with the given policies. More...

Detailed Description

template<typename Traits = hazard_pointer_traits<>>
class xenium::reclamation::hazard_pointer< Traits >

An implementation of the hazard pointers reclamation scheme as proposed by Michael [Mic04].

For general information about the interface of the reclamation scheme see Reclamation scheme interface.

This class does not take a list of policies, but a Traits type that can be customized with a list of policies. The following policies are supported:

• xenium::policy::allocation_strategy
  Defines how hazard pointers are allocated and how the threshold for the number of retired nodes is calculated. Possible arguments are xenium::reclamation::hp_allocation::static_strategy and 'xenium::reclamation::hp_allocation::dynamic_strategy`, where both strategies can be further customized via their respective template parameters. (defaults to xenium::reclamation::he_allocation::static_strategy<3>)

Template Parameters

Traits

Member Typedef Documentation

with

template<typename Traits = hazard_pointer_traits<>>

template<class... Policies>

using xenium::reclamation::hazard_pointer< Traits >::with = hazard_pointer<typename Traits::template with<Policies...> >

Customize the reclamation scheme with the given policies.

The given policies are applied to the current configuration, replacing previously specified policies of the same type.

The resulting type is the newly configured reclamation scheme.

Template Parameters

Policies

list of policies to customize the behaviour