A handle class which is used to obtain access to the wait-free simulator. More...

Classes
struct	MetaData
	A class which represents the meta data of the handle class. Used only when forking a handle from another and then retiring a handle. More...

Public Types
using	Id = int

using	Input = typename LockFree::Input

using	Output = typename LockFree::Output

using	Commit = typename LockFree::Commit

using	OpRecord = OperationRecord< LockFree >

using	OpBox = OperationRecordBox< LockFree >

using	OpState = typename OperationRecord< LockFree >::OperationState

template<typename T , typename Err = std::monostate>
using	OptionalResultOrError = nonstd::expected< std::optional< T >, Err >

using	Simulator = telamon_private::WaitFreeSimulator< LockFree, N >

Public Member Functions
	WaitFreeSimulatorHandle (LockFree algorithm)

auto	fork () -> std::optional< WaitFreeSimulatorHandle< LockFree, N >>

template<typename Fun , typename RetVal >
auto	fork (Fun &&fun) -> std::optional< RetVal >

auto	retire () -> void

auto	submit (const Input &input, bool use_slow_path=false) -> Output

auto	help () -> void

Detailed Description

A handle class which is used to obtain access to the wait-free simulator.

Class Documentation

struct telamon_simulator::WaitFreeSimulatorHandle::MetaData

A class which represents the meta data of the handle class. Used only when forking a handle from another and then retiring a handle.

Class Members
vector< Id >	m_free
mutex	m_free_lock

The documentation for this class was generated from the following file: