\rSec0[thread]{Thread support library}

\rSec1[thread.general]{General}

The following subclauses describe components to create and manage

threads~(\ref{intro.multithread}), perform mutual exclusion, and communicate conditions

and values

between threads, as summarized in Table~\ref{tab:thread.lib.summary}.

\begin{libsumtab}{Thread support library summary}{tab:thread.lib.summary}

\ref{thread.req} & Requirements & \\ \rowsep

\ref{thread.threads} & Threads & \tcode{<thread>} \\ \rowsep

\ref{thread.mutex} & Mutual exclusion & \tcode{<mutex>} \\

& & \tcode{<shared_mutex>} \\ \rowsep

\ref{thread.condition}& Condition variables & \tcode{<condition_variable>} \\ \rowsep

\ref{futures} & Futures & \tcode{<future>} \\

\end{libsumtab}

\rSec1[thread.req]{Requirements}

\rSec2[thread.req.paramname]{Template parameter names}

Throughout this Clause, the names of template parameters are used to express type

requirements.

If a template parameter is named \tcode{Predicate}, \tcode{operator()} applied to

the template argument shall return a value that is convertible to \tcode{bool}.

\rSec2[thread.req.exception]{Exceptions}

Some functions described in this Clause are specified to throw exceptions of type

\tcode{system_error}~(\ref{syserr.syserr}). Such exceptions shall be thrown if

any of the function's error conditions is detected or

a call to

an operating system or other underlying API results in an error that prevents the

library function from

meeting its specifications. Failure to allocate storage shall be reported as described

in~\ref{res.on.exception.handling}.

Consider a function in this clause that is specified to throw exceptions of type

\tcode{system_error} and specifies error conditions that include

\tcode{operation_not_permitted} for a thread that does not have the privilege to

perform the operation. Assume that, during the execution of this function, an \tcode{errno}

of \tcode{EPERM} is reported by a POSIX API call used by the implementation. Since POSIX

specifies an \tcode{errno} of \tcode{EPERM} when ``the caller does not have the privilege

to perform the operation'', the implementation maps \tcode{EPERM} to an

\tcode{error_condition} of \tcode{operation_not_permitted}~(\ref{syserr}) and an exception

of type \tcode{system_error} is thrown.

The \tcode{error_code} reported by such an exception's \tcode{code()} member function

shall compare equal to one of the conditions specified in the function's error condition

element.

\rSec2[thread.req.native]{Native handles}

Several classes described in this Clause have members \tcode{native_handle_type} and

\tcode{native_handle}. The presence of these members and their semantics is

\impldef{presence and meaning of \tcode{native_handle_type} and \tcode{native_handle}}.

\enternote These members allow implementations to provide access

to implementation details. Their names are specified to facilitate portable compile-time

detection. Actual use of these members is inherently non-portable. \exitnote

\rSec2[thread.req.timing]{Timing specifications}

Several functions described in this Clause take an argument to specify a timeout. These

timeouts are specified as either a \tcode{duration} or a \tcode{time_point} type as

specified in~\ref{time}.

Implementations necessarily have some delay in returning from a timeout. Any overhead in

interrupt response, function return, and scheduling induces a ``quality of implementation''

delay, expressed as duration $D_i$. Ideally, this delay would be zero. Further, any contention for

processor and memory resources induces a ``quality of management'' delay, expressed as duration

$D_m$. The delay durations may vary from timeout to timeout, but in all cases shorter is better.

The member functions whose names end in \tcode{_for} take an argument that

specifies a duration. These functions produce relative timeouts. Implementations

should use a steady clock to measure time for these functions.\footnote{All

implementations for which standard time units are meaningful must necessarily

have a steady clock within their hardware implementation.} Given a duration

argument $D_t$, the real-time duration of the timeout is $D_t + D_i + D_m$.

The member functions whose names end in \tcode{_until} take an argument that specifies a time

point. These functions produce absolute timeouts. Implementations should use the clock

specified in the time point to measure time for these functions. Given a clock time point

argument $C_t$, the clock time point of the return from timeout should be $C_t + D_i + D_m$

when the clock is not adjusted during the timeout. If the clock is adjusted to the time $C_a$

during the timeout, the behavior should be as follows:

\begin{itemize}

if $C_a > C_t$, the waiting function should wake as soon as possible, i.e. $C_a + D_i + D_m$,

since the timeout is already satisfied. \enternote This specification may result in the total

duration of the wait decreasing when measured against a steady clock. \exitnote

if $C_a <= C_t$, the waiting function should not time out until \tcode{Clock::now()} returns a

time $C_n >= C_t$, i.e. waking at $C_t + D_i + D_m$. \enternote When the clock is adjusted

backwards, this specification may result in the total duration of the wait increasing when

measured against a steady clock. When the clock is adjusted forwards, this specification may

result in the total duration of the wait decreasing when measured against a steady clock.

\end{itemize}

An implementation shall return from such a timeout at any point from the time specified above to

the time it would return from a steady-clock relative timeout on the difference between $C_t$

and the time point of the call to the \tcode{_until} function. \enternote Implementations

should decrease the duration of the wait when the clock is adjusted forwards.

\enternote If the clock is not synchronized with a steady clock, e.g., a CPU time clock, these

timeouts might not provide useful functionality. \exitnote

The resolution of timing provided by an implementation depends on both operating system

and hardware. The finest resolution provided by an implementation is called the

\term{native resolution}.

Implementation-provided clocks that are used for these functions shall meet the

\tcode{TrivialClock} requirements (\ref{time.clock.req}).

A function that takes an argument which specifies a timeout will throw if,

during its execution, a clock, time point, or time duration throws an exception.

Such exceptions are referred to as \term{timeout-related exceptions}.

\enternote instantiations of clock, time point and duration types supplied by

the implementation as specified in~\ref{time.clock} do not throw exceptions.

\rSec2[thread.req.lockable]{Requirements for Lockable types}

\rSec3[thread.req.lockable.general]{In general}

An \defn{execution agent} is an entity such as a thread that may perform work in parallel with

other execution agents. \enternote Implementations or users may introduce other kinds of

agents such as processes or thread-pool tasks. \exitnote The calling agent is determined by

context, e.g. the calling thread that contains the call, and so on.

\enternote Some lockable objects are ``agent oblivious'' in that they work for any

execution agent model because they do not determine or store the agent's ID (e.g., an

ordinary spin lock). \exitnote

The standard library templates \tcode{unique_lock}~(\ref{thread.lock.unique}),

\tcode{lock_guard}~(\ref{thread.lock.guard}), \tcode{lock},

\tcode{try_lock}~(\ref{thread.lock.algorithm}), and

\tcode{condition_variable_any}~(\ref{thread.condition.condvarany}) all operate on user-supplied

lockable objects. The \tcode{BasicLockable} requirements, the \tcode{Lockable} requirements,

and the \tcode{TimedLockable} requirements list the requirements imposed by these library types

in order to acquire or release ownership of a \tcode{lock} by a given execution agent.

\enternote The nature of any lock ownership and any synchronization it may entail are not part

of these requirements. \exitnote

\rSec3[thread.req.lockable.basic]{\tcode{BasicLockable} requirements}

A type \tcode{L} meets the \tcode{BasicLockable} requirements if the following expressions are

well-formed and have the specified semantics (\tcode{m} denotes a value of type \tcode{L}).

\begin{itemdecl}

m.lock()

\end{itemdecl}

\begin{itemdescr}

\effects Blocks until a lock can be acquired for the current execution agent. If an exception

is thrown then a lock shall not have been acquired for the current execution agent.

\end{itemdescr}

\begin{itemdecl}

m.unlock()

\end{itemdecl}

\begin{itemdescr}

\requires The current execution agent shall hold a lock on \tcode{m}.

\effects Releases a lock on \tcode{m} held by the current execution agent.

\throws Nothing.

\end{itemdescr}

\rSec3[thread.req.lockable.req]{\tcode{Lockable} requirements}

A type \tcode{L} meets the \tcode{Lockable} requirements if it meets the \tcode{BasicLockable}

requirements and the following expressions are well-formed and have the specified semantics

(\tcode{m} denotes a value of type \tcode{L}).

\begin{itemdecl}

m.try_lock()

\end{itemdecl}

\begin{itemdescr}

\effects attempts to acquire a lock for the current execution agent without blocking. If an

exception is thrown then a lock shall not have been acquired for the current execution agent.

\returntype \tcode{bool}.

\returns \tcode{true} if the lock was acquired, \tcode{false} otherwise.

\end{itemdescr}

\rSec3[thread.req.lockable.timed]{\tcode{TimedLockable} requirements}

A type \tcode{L} meets the \tcode{TimedLockable} requirements if it meets the \tcode{Lockable}

requirements and the following expressions are well-formed and have the specified semantics

(\tcode{m} denotes a value of type \tcode{L}, \tcode{rel_time} denotes a value of an

instantiation of \tcode{duration}~(\ref{time.duration}), and \tcode{abs_time} denotes a value

of an instantiation of \tcode{time_point}~(\ref{time.point})).

\begin{itemdecl}

m.try_lock_for(rel_time)

\end{itemdecl}

\begin{itemdescr}

\effects attempts to acquire a lock for the current execution agent within the relative

timeout~(\ref{thread.req.timing}) specified by \tcode{rel_time}. The function shall not return

within the timeout specified by \tcode{rel_time} unless it has obtained a lock on \tcode{m}

for the current execution agent. If an exception is thrown then a lock shall not have been

acquired for the current execution agent.

\returntype \tcode{bool}.

\returns \tcode{true} if the lock was acquired, \tcode{false} otherwise.

\end{itemdescr}

\begin{itemdecl}

m.try_lock_until(abs_time)

\end{itemdecl}

\begin{itemdescr}

\effects attempts to acquire a lock for the current execution agent before the absolute

timeout~(\ref{thread.req.timing}) specified by \tcode{abs_time}. The function shall not return

before the timeout specified by \tcode{abs_time} unless it has obtained a lock on \tcode{m} for

the current execution agent. If an exception is thrown then a lock shall not have been acquired

for the current execution agent.

\returntype \tcode{bool}.

\returns \tcode{true} if the lock was acquired, \tcode{false} otherwise.

\end{itemdescr}

\rSec2[thread.decaycopy]{\tcode{decay_copy}}

In several places in this Clause the operation

\defnx{DECAY_COPY(x)}{DECAY_COPY} is used. All

such uses mean call the function \tcode{decay_copy(x)} and use the

result, where \tcode{decay_copy} is defined as follows:

\begin{codeblock}

template <class T> decay_t<T> decay_copy(T&& v)

{ return std::forward<T>(v); }

\end{codeblock}

\rSec1[thread.threads]{Threads}

\ref{thread.threads} describes components that can be used to create and manage threads.

\enternote These threads are intended to map one-to-one with operating system threads.

\synopsis{Header \tcode{<thread>} synopsis}

\indexlibrary{\idxhdr{thread}}%

\begin{codeblock}

namespace std {

class thread;

void swap(thread& x, thread& y) noexcept;

namespace this_thread {

thread::id get_id() noexcept;

void yield() noexcept;

template <class Clock, class Duration>

void sleep_until(const chrono::time_point<Clock, Duration>& abs_time);

template <class Rep, class Period>

void sleep_for(const chrono::duration<Rep, Period>& rel_time);

}

}

\end{codeblock}

\rSec2[thread.thread.class]{Class \tcode{thread}}

The class \tcode{thread} provides a mechanism to create a new thread of execution, to join with

a thread (i.e., wait for a thread to complete), and to perform other operations that manage and

query the state of a thread. A \tcode{thread} object uniquely represents a particular thread of

execution. That representation may be transferred to other \tcode{thread} objects in such a way

that no two \tcode{thread} objects simultaneously represent the same thread of execution. A

thread of execution is \term{detached} when no \tcode{thread} object represents that thread.

Objects of class \tcode{thread} can be in a state that does not represent a thread of

execution. \enternote A \tcode{thread} object does not represent a thread of execution after

default construction, after being moved from, or after a successful call to \tcode{detach} or

\tcode{join}. \exitnote

\begin{codeblock}

namespace std {

class thread {

public:

// types:

class id;

typedef @\impdef@ native_handle_type; // See~\ref{thread.req.native}

// construct/copy/destroy:

thread() noexcept;

template <class F, class ...Args> explicit thread(F&& f, Args&&... args);

~thread();

thread(const thread&) = delete;

thread(thread&&) noexcept;

thread& operator=(const thread&) = delete;

thread& operator=(thread&&) noexcept;

// members:

void swap(thread&) noexcept;

bool joinable() const noexcept;

void join();

void detach();

id get_id() const noexcept;

native_handle_type native_handle(); // See~\ref{thread.req.native}

// static members:

static unsigned hardware_concurrency() noexcept;

};

}

\end{codeblock}

\rSec3[thread.thread.id]{Class \tcode{thread::id}}

\begin{codeblock}

namespace std {

class thread::id {

public:

id() noexcept;

};

bool operator==(thread::id x, thread::id y) noexcept;

bool operator!=(thread::id x, thread::id y) noexcept;

bool operator<(thread::id x, thread::id y) noexcept;

bool operator<=(thread::id x, thread::id y) noexcept;

bool operator>(thread::id x, thread::id y) noexcept;

bool operator>=(thread::id x, thread::id y) noexcept;

template<class charT, class traits>

basic_ostream<charT, traits>&

operator<< (basic_ostream<charT, traits>& out, thread::id id);

// Hash support

template <class T> struct hash;

template <> struct hash<thread::id>;

}

\end{codeblock}

\pnum An object of type \tcode{thread::id} provides a unique identifier for

each thread of execution and a single distinct value for all \tcode{thread}

objects that do not represent a thread of

execution~(\ref{thread.thread.class}). Each thread of execution has an

associated \tcode{thread::id} object that is not equal to the

\tcode{thread::id} object of any other thread of execution and that is not

equal to the \tcode{thread::id} object of any \tcode{std::thread} object that

does not represent threads of execution.

\tcode{thread::id} shall be a trivially copyable class (Clause~\ref{class}).

The library may reuse the value of a \tcode{thread::id} of a terminated thread that can no longer be joined.

\enternote Relational operators allow \tcode{thread::id} objects to be used as

keys in associative containers. \exitnote

\indexlibrary{\idxcode{thread::id}!constructor}%

\begin{itemdecl}

id() noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\effects Constructs an object of type \tcode{id}.

\pnum\postconditions The constructed object does not represent a thread of execution.

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator==}}%

\indexlibrary{\idxcode{operator==}!\idxcode{thread::id}}%

\begin{itemdecl}

bool operator==(thread::id x, thread::id y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\returns \tcode{true} only if \tcode{x} and \tcode{y} represent the same

thread of execution or neither \tcode{x} nor \tcode{y} represents a thread of

execution.

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator"!=}}%

\indexlibrary{\idxcode{operator"!=}!\idxcode{thread::id}}%

\begin{itemdecl}

bool operator!=(thread::id x, thread::id y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\returns \tcode{!(x == y)}

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator<}}%

\indexlibrary{\idxcode{operator<}!\idxcode{thread::id}}%

\begin{itemdecl}

bool operator<(thread::id x, thread::id y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\returns A value such that \tcode{operator<} is a total ordering as described in~\ref{alg.sorting}.

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator<=}}%

\indexlibrary{\idxcode{operator<=}!\idxcode{thread::id}}%

\begin{itemdecl}

bool operator<=(thread::id x, thread::id y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\returns \tcode{!(y < x)}

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator>}}%

\indexlibrary{\idxcode{operator>}!\idxcode{thread::id}}%

\begin{itemdecl}

bool operator>(thread::id x, thread::id y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\returns \tcode{y < x}

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator>=}}%

\indexlibrary{\idxcode{operator>=}!\idxcode{thread::id}}%

\begin{itemdecl}

bool operator>=(thread::id x, thread::id y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\returns \tcode{!(x < y)}

\end{itemdescr}

\indexlibrary{\idxcode{thread::id}!\idxcode{operator\shl}}%

\indexlibrary{\idxcode{operator\shl}!\idxcode{thread::id}}%

\begin{itemdecl}

template<class charT, class traits>

basic_ostream<charT, traits>&

operator<< (basic_ostream<charT, traits>&& out, thread::id id);

\end{itemdecl}

\begin{itemdescr}

\pnum\effects Inserts an unspecified text representation of \tcode{id} into

\tcode{out}. For two objects of type \tcode{thread::id} \tcode{x} and \tcode{y},

if \tcode{x == y} the \tcode{thread::id} objects shall have the same text

representation and if \tcode{x != y} the \tcode{thread::id} objects shall have

distinct text representations.

\pnum\returns \tcode{out}

\end{itemdescr}

\begin{itemdecl}

template <> struct hash<thread::id>;

\end{itemdecl}

\begin{itemdescr}

\pnum The template specialization shall meet the requirements of class template

\tcode{hash}~(\ref{unord.hash}).

\end{itemdescr}

\rSec3[thread.thread.constr]{\tcode{thread} constructors}

\indexlibrary{\idxcode{thread}!constructor}%

\begin{itemdecl}

thread() noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\effects Constructs a \tcode{thread} object that does not represent a thread of execution.

\pnum\postcondition \tcode{get_id() == id()}

\end{itemdescr}

\indexlibrary{\idxcode{thread}!constructor}%

\begin{itemdecl}

template <class F, class ...Args> explicit thread(F&& f, Args&&... args);

\end{itemdecl}

\begin{itemdescr}

\requires\ \tcode{F} and each \tcode{Ti} in \tcode{Args} shall satisfy the

\tcode{MoveConstructible} requirements.

\tcode{\textit{INVOKE}(\textit{DECAY_COPY}(}

\tcode{std::forward<F>(f)), \textit{DECAY_COPY}(std::forward<Args>(args))...)}~(\ref{func.require}) shall be

a valid expression.

This constructor shall not participate in overload resolution if \tcode{decay_t<F>}

is the same type as \tcode{std::thread}.

\effects\ Constructs an object of type \tcode{thread}. The new thread of execution executes

\tcode{\textit{INVOKE}(\textit{DECAY_COPY}(}\

\tcode{std::forward<F>(f)), \textit{DECAY_COPY}(std::forward<Args>(args))...)} with the calls to

\brk{}\tcode{\textit{DECAY_COPY}} being evaluated in the constructing thread. Any return value from this invocation

is ignored. \enternote This implies that any exceptions not thrown from the invocation of the copy

of \tcode{f} will be thrown in the constructing thread, not the new thread. \exitnote If the

invocation of

\tcode{\textit{INVOKE}(\textit{DECAY_COPY}(}

\tcode{std::forward<F>(f)), \textit{DECAY_COPY}(std::forward<Args>(args))...)}

terminates with an uncaught exception, \tcode{std::terminate} shall be called.

\pnum\sync The completion of the invocation of the constructor

synchronizes with the beginning of the invocation of the copy of \tcode{f}.

\pnum\postconditions \tcode{get_id() != id()}. \tcode{*this} represents the newly started thread.

\pnum\throws \tcode{system_error} if unable to start the new thread.

\begin{itemize}

\item \tcode{resource_unavailable_try_again} --- the system lacked the necessary

resources to create another thread, or the system-imposed limit on the number of

threads in a process would be exceeded.

\end{itemize}

\end{itemdescr}

\indexlibrary{\idxcode{thread}!constructor}%

\begin{itemdecl}

thread(thread&& x) noexcept;

\end{itemdecl}

\begin{itemdescr}

\effects Constructs an object of type \tcode{thread} from \tcode{x}, and sets

\tcode{x} to a default constructed state.

\postconditions \tcode{x.get_id() == id()} and \tcode{get_id()} returns the

value of \tcode{x.get_id()} prior to the start of construction.

\end{itemdescr}

\rSec3[thread.thread.destr]{\tcode{thread} destructor}

\indexlibrary{\idxcode{thread}!destructor}%

\begin{itemdecl}

~thread();

\end{itemdecl}

\begin{itemdescr}

If \tcode{joinable()}, calls \tcode{std::terminate()}. Otherwise, has no effects.

\enternote Either implicitly detaching or joining a \tcode{joinable()} thread in its

destructor could result in difficult to debug correctness (for detach) or performance

(for join) bugs encountered only when an exception is raised. Thus the programmer must

ensure that the destructor is never executed while the thread is still joinable.

\end{itemdescr}

\rSec3[thread.thread.assign]{\tcode{thread} assignment}

\indexlibrary{\idxcode{thread}!\idxcode{operator=}}%

\indexlibrary{\idxcode{operator=}!\idxcode{thread}}%

\begin{itemdecl}

thread& operator=(thread&& x) noexcept;

\end{itemdecl}

\begin{itemdescr}

\effects If \tcode{joinable()}, calls \tcode{std::terminate()}. Otherwise, assigns the

state of \tcode{x} to \tcode{*this} and sets \tcode{x} to a default constructed state.

\postconditions \tcode{x.get_id() == id()} and \tcode{get_id()} returns the value of

\tcode{x.get_id()} prior to the assignment.

\returns \tcode{*this}

\end{itemdescr}

\rSec3[thread.thread.member]{\tcode{thread} members}

\indexlibrary{\idxcode{thread}!\idxcode{swap}}%

\indexlibrary{\idxcode{swap}!\idxcode{thread}}%

\begin{itemdecl}

void swap(thread& x) noexcept;

\end{itemdecl}

\begin{itemdescr}

\effects Swaps the state of \tcode{*this} and \tcode{x}.

\end{itemdescr}

\indexlibrary{\idxcode{thread}!\idxcode{joinable}}%

\indexlibrary{\idxcode{joinable}!\idxcode{thread}}%

\begin{itemdecl}

bool joinable() const noexcept;

\end{itemdecl}

\begin{itemdescr}

\returns \tcode{get_id() != id()}

\end{itemdescr}

\indexlibrary{\idxcode{thread}!\idxcode{join}}%

\indexlibrary{\idxcode{join}!\idxcode{thread}}%

\begin{itemdecl}

void join();

\end{itemdecl}

\begin{itemdescr}

\precondition \tcode{joinable()} is \tcode{true}.

\effects\ Blocks until the thread represented by \tcode{*this} has completed.

\sync The completion of the thread represented by \tcode{*this} synchronizes with~(\ref{intro.multithread})

the corresponding successful

\tcode{join()} return. \enternote Operations on

\tcode{*this} are not synchronized. \exitnote

\postconditions The thread represented by \tcode{*this} has completed. \tcode{get_id() == id()}.

\throws \tcode{system_error} when

an exception is required~(\ref{thread.req.exception}).

\begin{itemize}

\item \tcode{resource_deadlock_would_occur} --- if deadlock is detected or

\tcode{this->get_id() == std::this_thread::get_id()}.

\item \tcode{no_such_process} --- if the thread is not valid.

\item \tcode{invalid_argument} --- if the thread is not joinable.

\end{itemize}

\end{itemdescr}

\indexlibrary{\idxcode{thread}!\idxcode{detach}}%

\indexlibrary{\idxcode{detach}!\idxcode{thread}}%

\begin{itemdecl}

void detach();

\end{itemdecl}

\begin{itemdescr}

\pnum\precondition \tcode{joinable()} is \tcode{true}.

\effects The thread represented by \tcode{*this} continues execution without the calling thread

blocking. When \tcode{detach()} returns, \tcode{*this} no longer represents the possibly continuing

thread of execution. When the thread previously represented by \tcode{*this} ends execution, the

implementation shall release any owned resources.

\pnum\postcondition \tcode{get_id() == id()}.

\pnum\throws \tcode{system_error} when

an exception is required~(\ref{thread.req.exception}).

\pnum \errors

\begin{itemize}

\item \tcode{no_such_process} --- if the thread is not valid.

\item \tcode{invalid_argument} --- if the thread is not joinable.

\end{itemize}

\end{itemdescr}

\indexlibrary{\idxcode{thread}!\idxcode{get_id}}%

\indexlibrary{\idxcode{get_id}!\idxcode{thread}}%

\begin{itemdecl}

id get_id() const noexcept;

\end{itemdecl}

\begin{itemdescr}

\returns A default constructed \tcode{id} object if \tcode{*this} does not represent a thread,

otherwise \tcode{this_thread::get_id()} for the thread of execution represented by

\tcode{*this}.

\end{itemdescr}

\rSec3[thread.thread.static]{\tcode{thread} static members}

\indexlibrary{\idxcode{thread}!\idxcode{hardware_concurrency}}%

\indexlibrary{\idxcode{hardware_concurrency}!\idxcode{thread}}%

\begin{itemdecl}

unsigned hardware_concurrency() noexcept;

\end{itemdecl}

\begin{itemdescr}

\returns The number of hardware thread contexts. \enternote This value should

only be considered to be a hint. \exitnote If this value is not computable or

well defined an implementation should return 0.

\end{itemdescr}

\rSec3[thread.thread.algorithm]{\tcode{thread} specialized algorithms}

\indexlibrary{\idxcode{thread}!\idxcode{swap}}%

\indexlibrary{\idxcode{swap}!\idxcode{thread}}%

\begin{itemdecl}

void swap(thread& x, thread& y) noexcept;

\end{itemdecl}

\begin{itemdescr}

\pnum\effects \tcode{x.swap(y)}

\end{itemdescr}

\rSec2[thread.thread.this]{Namespace \tcode{this_thread}}

\begin{codeblock}

namespace std::this_thread {

thread::id get_id() noexcept;

void yield() noexcept;

template <class Clock, class Duration>

void sleep_until(const chrono::time_point<Clock, Duration>& abs_time);

template <class Rep, class Period>

void sleep_for(const chrono::duration<Rep, Period>& rel_time);

}

\end{codeblock}

\indexlibrary{\idxcode{this_thread}!\idxcode{get_id}}%

\indexlibrary{\idxcode{get_id}!\idxcode{this_thread}}%

\begin{itemdecl}

thread::id this_thread::get_id() noexcept;

\end{itemdecl}

\begin{itemdescr}

\returns An object of type \tcode{thread::id} that uniquely identifies the current thread of

execution. No other thread of execution shall have this id and this thread of execution shall

always have this id. The object returned shall not compare equal to a default constructed

\tcode{thread::id}.

\end{itemdescr}

\indexlibrary{\idxcode{this_thread}!\idxcode{yield}}%

\indexlibrary{\idxcode{yield}!\idxcode{this_thread}}%

\begin{itemdecl}

void this_thread::yield() noexcept;

\end{itemdecl}

\begin{itemdescr}

\effects Offers the implementation the opportunity to reschedule.

\sync None.

\end{itemdescr}

\indexlibrary{\idxcode{this_thread}!\idxcode{sleep_until}}%

\indexlibrary{\idxcode{sleep_until}!\idxcode{this_thread}}%

\begin{itemdecl}

template <class Clock, class Duration>

void sleep_until(const chrono::time_point<Clock, Duration>& abs_time);

\end{itemdecl}

\begin{itemdescr}

\effects Blocks the calling thread for the absolute timeout~(\ref{thread.req.timing}) specified

by \tcode{abs_time}.

\sync None.

\throws Timeout-related exceptions~(\ref{thread.req.timing}).

\end{itemdescr}

\indexlibrary{\idxcode{this_thread}!\idxcode{sleep_for}}%

\indexlibrary{\idxcode{sleep_for}!\idxcode{this_thread}}%

\begin{itemdecl}

template <class Rep, class Period>

void sleep_for(const chrono::duration<Rep, Period>& rel_time);

\end{itemdecl}

\begin{itemdescr}

\effects Blocks the calling thread for the relative timeout~(\ref{thread.req.timing}) specified

by \tcode{rel_time}.

\sync None.

\throws Timeout-related exceptions~(\ref{thread.req.timing}).

\end{itemdescr}

\rSec1[thread.mutex]{Mutual exclusion}

This section provides mechanisms for mutual exclusion: mutexes, locks, and call

once. These mechanisms ease the production of race-free

programs~(\ref{intro.multithread}).

\synopsis{Header \tcode{<mutex>} synopsis}

\indexlibrary{\idxhdr{mutex}}%

\begin{codeblock}

namespace std {

class mutex;

class recursive_mutex;

class timed_mutex;

class recursive_timed_mutex;

struct defer_lock_t { };

struct try_to_lock_t { };

struct adopt_lock_t { };

constexpr defer_lock_t defer_lock { };

constexpr try_to_lock_t try_to_lock { };

constexpr adopt_lock_t adopt_lock { };

template <class Mutex> class lock_guard;

template <class Mutex> class unique_lock;

template <class Mutex>

void swap(unique_lock<Mutex>& x, unique_lock<Mutex>& y) noexcept;

template <class L1, class L2, class... L3> int try_lock(L1&, L2&, L3&...);

template <class L1, class L2, class... L3> void lock(L1&, L2&, L3&...);

struct once_flag {

constexpr once_flag() noexcept;

once_flag(const once_flag&) = delete;

once_flag& operator=(const once_flag&) = delete;

};

template<class Callable, class ...Args>

void call_once(once_flag& flag, Callable&& func, Args&&... args);

}

\end{codeblock}

\synopsis{Header \tcode{<shared_mutex>} synopsis}

\indexlibrary{\idxhdr{shared_mutex}}%

\begin{codeblock}

namespace std {

class shared_timed_mutex;

template <class Mutex> class shared_lock;

template <class Mutex>

void swap(shared_lock<Mutex>& x, shared_lock<Mutex>& y) noexcept;

}

\end{codeblock}

\rSec2[thread.mutex.requirements]{Mutex requirements}

\rSec3[thread.mutex.requirements.general]{In general}

A mutex object facilitates protection against data races and allows safe synchronization of

data between execution agents~(\ref{thread.req.lockable}).

An execution agent \term{owns} a mutex from the time it successfully calls one of the

lock functions until it calls unlock. Mutexes can be either recursive or non-recursive, and can

grant simultaneous ownership to one or many execution agents. Both

recursive and non-recursive mutexes are supplied.

\rSec3[thread.mutex.requirements.mutex]{Mutex types}

The \defn{mutex types} are the standard library types \tcode{std::mutex},

\tcode{std::recursive_mutex}, \tcode{std::timed_mutex}, \tcode{std::recursive_timed_mutex},

and \tcode{std::shared_timed_mutex}.

They shall meet the requirements set out in this section. In this description, \tcode{m}

denotes an object of a mutex type.

The mutex types shall meet the \tcode{Lockable} requirements~(\ref{thread.req.lockable.req}).

The mutex types shall be \tcode{DefaultConstructible} and \tcode{Destructible}. If

initialization of an object of a mutex type fails, an exception of type

\tcode{system_error} shall be thrown. The mutex types shall not be copyable or movable.

The error conditions for error codes, if any, reported by member functions of the mutex types

shall be:

\begin{itemize}

\item \tcode{resource_unavailable_try_again} --- if any native handle type manipulated is not available.

\item \tcode{operation_not_permitted} --- if the thread does not have the

privilege to perform the operation.

\item \tcode{device_or_resource_busy} --- if any native handle type manipulated is already locked.

\item \tcode{invalid_argument} --- if any native handle type manipulated as part of mutex

construction is incorrect.

\end{itemize}

The implementation shall provide lock and unlock operations, as described below.

For purposes of determining the existence of a data race, these behave as

atomic operations~(\ref{intro.multithread}). The lock and unlock operations on

a single mutex shall appear to occur in a single total order. \enternote this

can be viewed as the modification order~(\ref{intro.multithread}) of the

mutex. \exitnote

\enternote Construction and

destruction of an object of a mutex type need not be thread-safe; other

synchronization should be used to ensure that mutex objects are initialized

and visible to other threads. \exitnote

The expression \tcode{m.lock()} shall be well-formed and have the following semantics:

\begin{itemdescr}

\requires If \tcode{m} is of type \tcode{std::mutex}, \tcode{std::timed_mutex}, or

\tcode{std::shared_timed_mutex}, the calling

thread does not own the mutex.

\effects Blocks the calling thread until ownership of the mutex can be obtained for the calling thread.

\postcondition The calling thread owns the mutex.

\returntype \tcode{void}

\sync Prior \tcode{unlock()} operations on the same object shall

\term{synchronize with}~(\ref{intro.multithread}) this operation.

\throws \tcode{system_error} when

an exception is required~(\ref{thread.req.exception}).

\pnum \errors

\begin{itemize}

\item \tcode{operation_not_permitted} --- if the thread does not have the

privilege to perform the operation.

\item \tcode{resource_deadlock_would_occur} --- if the implementation detects

that a deadlock would occur.

\item \tcode{device_or_resource_busy} --- if the mutex is already locked and blocking is not possible.

\end{itemize}

\end{itemdescr}

The expression \tcode{m.try_lock()} shall be well-formed and have the following semantics:

\begin{itemdescr}

\requires If \tcode{m} is of type \tcode{std::mutex}, \tcode{std::timed_mutex},

or \tcode{std::shared_timed_mutex}, the calling

thread does not own the mutex.

\effects Attempts to obtain ownership of the mutex for the calling thread without

blocking. If ownership is not obtained, there is no effect and \tcode{try_lock()}

immediately returns. An implementation may fail to obtain the lock even if it is not

held by any other thread. \enternote This spurious failure is normally uncommon, but

allows interesting implementations based on a simple

compare and exchange

(Clause~\ref{atomics}). \exitnote

An implementation should ensure that \tcode{try_lock()} does not consistently return \tcode{false}

in the absence of contending mutex acquisitions.

\returntype \tcode{bool}

\returns \tcode{true} if ownership of the mutex was obtained for the calling

thread, otherwise \tcode{false}.

\sync If \tcode{try_lock()} returns \tcode{true}, prior \tcode{unlock()} operations

on the same object \term{synchronize with}~(\ref{intro.multithread}) this operation.