xref: /llvm-project-15.0.7/libcxx/include/thread (revision 424b5ee8)
13e519524SHoward Hinnant// -*- C++ -*-
23e519524SHoward Hinnant//===--------------------------- thread -----------------------------------===//
33e519524SHoward Hinnant//
45b08a8a4SHoward Hinnant//                     The LLVM Compiler Infrastructure
53e519524SHoward Hinnant//
6412dbebeSHoward Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
7412dbebeSHoward Hinnant// Source Licenses. See LICENSE.TXT for details.
83e519524SHoward Hinnant//
93e519524SHoward Hinnant//===----------------------------------------------------------------------===//
103e519524SHoward Hinnant
113e519524SHoward Hinnant#ifndef _LIBCPP_THREAD
123e519524SHoward Hinnant#define _LIBCPP_THREAD
133e519524SHoward Hinnant
143e519524SHoward Hinnant/*
153e519524SHoward Hinnant
163e519524SHoward Hinnant    thread synopsis
173e519524SHoward Hinnant
18e8e7af24SHoward Hinnant#define __STDCPP_THREADS__ __cplusplus
193e519524SHoward Hinnant
203e519524SHoward Hinnantnamespace std
213e519524SHoward Hinnant{
223e519524SHoward Hinnant
233e519524SHoward Hinnantclass thread
243e519524SHoward Hinnant{
253e519524SHoward Hinnantpublic:
263e519524SHoward Hinnant    class id;
273e519524SHoward Hinnant    typedef pthread_t native_handle_type;
283e519524SHoward Hinnant
2936101a5bSHoward Hinnant    thread() noexcept;
303e519524SHoward Hinnant    template <class F, class ...Args> explicit thread(F&& f, Args&&... args);
313e519524SHoward Hinnant    ~thread();
323e519524SHoward Hinnant
333e519524SHoward Hinnant    thread(const thread&) = delete;
3436101a5bSHoward Hinnant    thread(thread&& t) noexcept;
353e519524SHoward Hinnant
363e519524SHoward Hinnant    thread& operator=(const thread&) = delete;
3736101a5bSHoward Hinnant    thread& operator=(thread&& t) noexcept;
383e519524SHoward Hinnant
3936101a5bSHoward Hinnant    void swap(thread& t) noexcept;
403e519524SHoward Hinnant
4136101a5bSHoward Hinnant    bool joinable() const noexcept;
423e519524SHoward Hinnant    void join();
433e519524SHoward Hinnant    void detach();
4436101a5bSHoward Hinnant    id get_id() const noexcept;
453e519524SHoward Hinnant    native_handle_type native_handle();
463e519524SHoward Hinnant
4736101a5bSHoward Hinnant    static unsigned hardware_concurrency() noexcept;
483e519524SHoward Hinnant};
493e519524SHoward Hinnant
5036101a5bSHoward Hinnantvoid swap(thread& x, thread& y) noexcept;
513e519524SHoward Hinnant
523e519524SHoward Hinnantclass thread::id
533e519524SHoward Hinnant{
543e519524SHoward Hinnantpublic:
5536101a5bSHoward Hinnant    id() noexcept;
563e519524SHoward Hinnant};
573e519524SHoward Hinnant
5836101a5bSHoward Hinnantbool operator==(thread::id x, thread::id y) noexcept;
5936101a5bSHoward Hinnantbool operator!=(thread::id x, thread::id y) noexcept;
6036101a5bSHoward Hinnantbool operator< (thread::id x, thread::id y) noexcept;
6136101a5bSHoward Hinnantbool operator<=(thread::id x, thread::id y) noexcept;
6236101a5bSHoward Hinnantbool operator> (thread::id x, thread::id y) noexcept;
6336101a5bSHoward Hinnantbool operator>=(thread::id x, thread::id y) noexcept;
643e519524SHoward Hinnant
653e519524SHoward Hinnanttemplate<class charT, class traits>
663e519524SHoward Hinnantbasic_ostream<charT, traits>&
673e519524SHoward Hinnantoperator<<(basic_ostream<charT, traits>& out, thread::id id);
683e519524SHoward Hinnant
693e519524SHoward Hinnantnamespace this_thread
703e519524SHoward Hinnant{
713e519524SHoward Hinnant
7236101a5bSHoward Hinnantthread::id get_id() noexcept;
733e519524SHoward Hinnant
7436101a5bSHoward Hinnantvoid yield() noexcept;
753e519524SHoward Hinnant
763e519524SHoward Hinnanttemplate <class Clock, class Duration>
773e519524SHoward Hinnantvoid sleep_until(const chrono::time_point<Clock, Duration>& abs_time);
783e519524SHoward Hinnant
793e519524SHoward Hinnanttemplate <class Rep, class Period>
803e519524SHoward Hinnantvoid sleep_for(const chrono::duration<Rep, Period>& rel_time);
813e519524SHoward Hinnant
823e519524SHoward Hinnant}  // this_thread
833e519524SHoward Hinnant
843e519524SHoward Hinnant}  // std
853e519524SHoward Hinnant
863e519524SHoward Hinnant*/
873e519524SHoward Hinnant
883e519524SHoward Hinnant#include <__config>
893e519524SHoward Hinnant#include <iosfwd>
903e519524SHoward Hinnant#include <__functional_base>
913e519524SHoward Hinnant#include <type_traits>
923e519524SHoward Hinnant#include <cstddef>
933e519524SHoward Hinnant#include <functional>
943e519524SHoward Hinnant#include <memory>
953e519524SHoward Hinnant#include <system_error>
963e519524SHoward Hinnant#include <chrono>
973e519524SHoward Hinnant#include <__mutex_base>
988df61ea8SHoward Hinnant#ifndef _LIBCPP_HAS_NO_VARIADICS
998df61ea8SHoward Hinnant#include <tuple>
1008df61ea8SHoward Hinnant#endif
101c7e4239fSAsiri Rathnayake#include <__threading_support>
1023e519524SHoward Hinnant
103073458b1SHoward Hinnant#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
1043e519524SHoward Hinnant#pragma GCC system_header
105073458b1SHoward Hinnant#endif
1063e519524SHoward Hinnant
107e8e7af24SHoward Hinnant#define __STDCPP_THREADS__ __cplusplus
1083e519524SHoward Hinnant
109b3fcc67fSJonathan Roelofs#ifdef _LIBCPP_HAS_NO_THREADS
110b3fcc67fSJonathan Roelofs#error <thread> is not supported on this single threaded system
111b3fcc67fSJonathan Roelofs#else // !_LIBCPP_HAS_NO_THREADS
112b3fcc67fSJonathan Roelofs
1133e519524SHoward Hinnant_LIBCPP_BEGIN_NAMESPACE_STD
1143e519524SHoward Hinnant
1154504cf2cSEric Fiseliertemplate <class _Tp> class __thread_specific_ptr;
1164504cf2cSEric Fiselierclass _LIBCPP_TYPE_VIS __thread_struct;
1174504cf2cSEric Fiselierclass _LIBCPP_HIDDEN __thread_struct_imp;
1184504cf2cSEric Fiselierclass __assoc_sub_state;
1194504cf2cSEric Fiselier
1204504cf2cSEric Fiselier_LIBCPP_FUNC_VIS __thread_specific_ptr<__thread_struct>& __thread_local_data();
1214504cf2cSEric Fiselier
1224504cf2cSEric Fiselierclass _LIBCPP_TYPE_VIS __thread_struct
1234504cf2cSEric Fiselier{
1244504cf2cSEric Fiselier    __thread_struct_imp* __p_;
1254504cf2cSEric Fiselier
1264504cf2cSEric Fiselier    __thread_struct(const __thread_struct&);
1274504cf2cSEric Fiselier    __thread_struct& operator=(const __thread_struct&);
1284504cf2cSEric Fiselierpublic:
1294504cf2cSEric Fiselier    __thread_struct();
1304504cf2cSEric Fiselier    ~__thread_struct();
1314504cf2cSEric Fiselier
1324504cf2cSEric Fiselier    void notify_all_at_thread_exit(condition_variable*, mutex*);
1334504cf2cSEric Fiselier    void __make_ready_at_thread_exit(__assoc_sub_state*);
1344504cf2cSEric Fiselier};
1354504cf2cSEric Fiselier
136167fd108SHoward Hinnanttemplate <class _Tp>
137167fd108SHoward Hinnantclass __thread_specific_ptr
138167fd108SHoward Hinnant{
139c7e4239fSAsiri Rathnayake    __libcpp_tl_key __key_;
140167fd108SHoward Hinnant
1414504cf2cSEric Fiselier     // Only __thread_local_data() may construct a __thread_specific_ptr
1424504cf2cSEric Fiselier     // and only with _Tp == __thread_struct.
1439a5e62bfSEric Fiselier    static_assert((is_same<_Tp, __thread_struct>::value), "");
1444504cf2cSEric Fiselier    __thread_specific_ptr();
1454504cf2cSEric Fiselier    friend _LIBCPP_FUNC_VIS __thread_specific_ptr<__thread_struct>& __thread_local_data();
1464504cf2cSEric Fiselier
147167fd108SHoward Hinnant    __thread_specific_ptr(const __thread_specific_ptr&);
148167fd108SHoward Hinnant    __thread_specific_ptr& operator=(const __thread_specific_ptr&);
149167fd108SHoward Hinnant
150167fd108SHoward Hinnant    static void __at_thread_exit(void*);
151167fd108SHoward Hinnantpublic:
152167fd108SHoward Hinnant    typedef _Tp* pointer;
153167fd108SHoward Hinnant
154167fd108SHoward Hinnant    ~__thread_specific_ptr();
155167fd108SHoward Hinnant
156e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
157c7e4239fSAsiri Rathnayake    pointer get() const {return static_cast<_Tp*>(__libcpp_tl_get(__key_));}
158e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
159167fd108SHoward Hinnant    pointer operator*() const {return *get();}
160e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
161167fd108SHoward Hinnant    pointer operator->() const {return get();}
162167fd108SHoward Hinnant    pointer release();
163167fd108SHoward Hinnant    void reset(pointer __p = nullptr);
164167fd108SHoward Hinnant};
165167fd108SHoward Hinnant
166167fd108SHoward Hinnanttemplate <class _Tp>
167167fd108SHoward Hinnantvoid
168167fd108SHoward Hinnant__thread_specific_ptr<_Tp>::__at_thread_exit(void* __p)
169167fd108SHoward Hinnant{
170167fd108SHoward Hinnant    delete static_cast<pointer>(__p);
171167fd108SHoward Hinnant}
172167fd108SHoward Hinnant
173167fd108SHoward Hinnanttemplate <class _Tp>
174167fd108SHoward Hinnant__thread_specific_ptr<_Tp>::__thread_specific_ptr()
175167fd108SHoward Hinnant{
176c7e4239fSAsiri Rathnayake    int __ec = __libcpp_tl_create(
177c7e4239fSAsiri Rathnayake        &__key_,
178c7e4239fSAsiri Rathnayake        &__thread_specific_ptr::__at_thread_exit);
179167fd108SHoward Hinnant    if (__ec)
180*424b5ee8SEric Fiselier        __throw_system_error(__ec,
181167fd108SHoward Hinnant                           "__thread_specific_ptr construction failed");
182167fd108SHoward Hinnant}
183167fd108SHoward Hinnant
184167fd108SHoward Hinnanttemplate <class _Tp>
185167fd108SHoward Hinnant__thread_specific_ptr<_Tp>::~__thread_specific_ptr()
186167fd108SHoward Hinnant{
1874504cf2cSEric Fiselier    // __thread_specific_ptr is only created with a static storage duration
1884504cf2cSEric Fiselier    // so this destructor is only invoked during program termination. Invoking
1894504cf2cSEric Fiselier    // pthread_key_delete(__key_) may prevent other threads from deleting their
1904504cf2cSEric Fiselier    // thread local data. For this reason we leak the key.
191167fd108SHoward Hinnant}
192167fd108SHoward Hinnant
193167fd108SHoward Hinnanttemplate <class _Tp>
194167fd108SHoward Hinnanttypename __thread_specific_ptr<_Tp>::pointer
195167fd108SHoward Hinnant__thread_specific_ptr<_Tp>::release()
196167fd108SHoward Hinnant{
197167fd108SHoward Hinnant    pointer __p = get();
198c7e4239fSAsiri Rathnayake    __libcpp_tl_set(__key_, nullptr);
199167fd108SHoward Hinnant    return __p;
200167fd108SHoward Hinnant}
201167fd108SHoward Hinnant
202167fd108SHoward Hinnanttemplate <class _Tp>
203167fd108SHoward Hinnantvoid
204167fd108SHoward Hinnant__thread_specific_ptr<_Tp>::reset(pointer __p)
205167fd108SHoward Hinnant{
206167fd108SHoward Hinnant    pointer __p_old = get();
207c7e4239fSAsiri Rathnayake    __libcpp_tl_set(__key_, __p);
208167fd108SHoward Hinnant    delete __p_old;
209167fd108SHoward Hinnant}
210167fd108SHoward Hinnant
2116e41256fSHoward Hinnantclass _LIBCPP_TYPE_VIS thread;
2126e41256fSHoward Hinnantclass _LIBCPP_TYPE_VIS __thread_id;
2133e519524SHoward Hinnant
2143e519524SHoward Hinnantnamespace this_thread
2153e519524SHoward Hinnant{
2163e519524SHoward Hinnant
217aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY __thread_id get_id() _NOEXCEPT;
2183e519524SHoward Hinnant
2193e519524SHoward Hinnant}  // this_thread
2203e519524SHoward Hinnant
22189dd1dd2SEric Fiseliertemplate<> struct hash<__thread_id>;
222f3d14a65SHoward Hinnant
223f0544c20SHoward Hinnantclass _LIBCPP_TYPE_VIS_ONLY __thread_id
2243e519524SHoward Hinnant{
225128ba719SHoward Hinnant    // FIXME: pthread_t is a pointer on Darwin but a long on Linux.
226128ba719SHoward Hinnant    // NULL is the no-thread value on Darwin.  Someone needs to check
227128ba719SHoward Hinnant    // on other platforms.  We assume 0 works everywhere for now.
228c7e4239fSAsiri Rathnayake    __libcpp_thread_id __id_;
2293e519524SHoward Hinnant
2303e519524SHoward Hinnantpublic:
231e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
23236101a5bSHoward Hinnant    __thread_id() _NOEXCEPT : __id_(0) {}
2333e519524SHoward Hinnant
234e0601335SHoward Hinnant    friend _LIBCPP_INLINE_VISIBILITY
23536101a5bSHoward Hinnant        bool operator==(__thread_id __x, __thread_id __y) _NOEXCEPT
236c7e4239fSAsiri Rathnayake        {return __libcpp_thread_id_equal(__x.__id_, __y.__id_);}
237e0601335SHoward Hinnant    friend _LIBCPP_INLINE_VISIBILITY
23836101a5bSHoward Hinnant        bool operator!=(__thread_id __x, __thread_id __y) _NOEXCEPT
2393e519524SHoward Hinnant        {return !(__x == __y);}
240e0601335SHoward Hinnant    friend _LIBCPP_INLINE_VISIBILITY
24136101a5bSHoward Hinnant        bool operator< (__thread_id __x, __thread_id __y) _NOEXCEPT
242c7e4239fSAsiri Rathnayake        {return  __libcpp_thread_id_less(__x.__id_, __y.__id_);}
243e0601335SHoward Hinnant    friend _LIBCPP_INLINE_VISIBILITY
24436101a5bSHoward Hinnant        bool operator<=(__thread_id __x, __thread_id __y) _NOEXCEPT
2453e519524SHoward Hinnant        {return !(__y < __x);}
246e0601335SHoward Hinnant    friend _LIBCPP_INLINE_VISIBILITY
24736101a5bSHoward Hinnant        bool operator> (__thread_id __x, __thread_id __y) _NOEXCEPT
2483e519524SHoward Hinnant        {return   __y < __x ;}
249e0601335SHoward Hinnant    friend _LIBCPP_INLINE_VISIBILITY
25036101a5bSHoward Hinnant        bool operator>=(__thread_id __x, __thread_id __y) _NOEXCEPT
2513e519524SHoward Hinnant        {return !(__x < __y);}
2523e519524SHoward Hinnant
2533e519524SHoward Hinnant    template<class _CharT, class _Traits>
2543e519524SHoward Hinnant    friend
255e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
2563e519524SHoward Hinnant    basic_ostream<_CharT, _Traits>&
2573e519524SHoward Hinnant    operator<<(basic_ostream<_CharT, _Traits>& __os, __thread_id __id)
2583e519524SHoward Hinnant        {return __os << __id.__id_;}
2593e519524SHoward Hinnant
2603e519524SHoward Hinnantprivate:
261e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
262c7e4239fSAsiri Rathnayake    __thread_id(__libcpp_thread_id __id) : __id_(__id) {}
2633e519524SHoward Hinnant
264e4b2a743SHoward Hinnant    friend __thread_id this_thread::get_id() _NOEXCEPT;
2656e41256fSHoward Hinnant    friend class _LIBCPP_TYPE_VIS thread;
266f0544c20SHoward Hinnant    friend struct _LIBCPP_TYPE_VIS_ONLY hash<__thread_id>;
2673e519524SHoward Hinnant};
2683e519524SHoward Hinnant
2693e519524SHoward Hinnanttemplate<>
270f0544c20SHoward Hinnantstruct _LIBCPP_TYPE_VIS_ONLY hash<__thread_id>
2713e519524SHoward Hinnant    : public unary_function<__thread_id, size_t>
2723e519524SHoward Hinnant{
273e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
2743e519524SHoward Hinnant    size_t operator()(__thread_id __v) const
2753e519524SHoward Hinnant    {
276c7e4239fSAsiri Rathnayake        return hash<__libcpp_thread_id>()(__v.__id_);
2773e519524SHoward Hinnant    }
2783e519524SHoward Hinnant};
2793e519524SHoward Hinnant
2803e519524SHoward Hinnantnamespace this_thread
2813e519524SHoward Hinnant{
2823e519524SHoward Hinnant
283e0601335SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY
2843e519524SHoward Hinnant__thread_id
28536101a5bSHoward Hinnantget_id() _NOEXCEPT
2863e519524SHoward Hinnant{
287c7e4239fSAsiri Rathnayake    return __libcpp_thread_get_current_id();
2883e519524SHoward Hinnant}
2893e519524SHoward Hinnant
2903e519524SHoward Hinnant}  // this_thread
2913e519524SHoward Hinnant
2926e41256fSHoward Hinnantclass _LIBCPP_TYPE_VIS thread
2933e519524SHoward Hinnant{
294c7e4239fSAsiri Rathnayake    __libcpp_thread_t __t_;
2953e519524SHoward Hinnant
296eb269257SHoward Hinnant    thread(const thread&);
297eb269257SHoward Hinnant    thread& operator=(const thread&);
2983e519524SHoward Hinnantpublic:
2993e519524SHoward Hinnant    typedef __thread_id id;
300c7e4239fSAsiri Rathnayake    typedef __libcpp_thread_t native_handle_type;
3013e519524SHoward Hinnant
302e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
30336101a5bSHoward Hinnant    thread() _NOEXCEPT : __t_(0) {}
3043e519524SHoward Hinnant#ifndef _LIBCPP_HAS_NO_VARIADICS
305c003db1fSHoward Hinnant    template <class _Fp, class ..._Args,
3063e519524SHoward Hinnant              class = typename enable_if
3073e519524SHoward Hinnant              <
308c003db1fSHoward Hinnant                   !is_same<typename decay<_Fp>::type, thread>::value
3093e519524SHoward Hinnant              >::type
3103e519524SHoward Hinnant             >
311c003db1fSHoward Hinnant        explicit thread(_Fp&& __f, _Args&&... __args);
312b3371f6fSHoward Hinnant#else  // _LIBCPP_HAS_NO_VARIADICS
313c003db1fSHoward Hinnant    template <class _Fp> explicit thread(_Fp __f);
3143e519524SHoward Hinnant#endif
3153e519524SHoward Hinnant    ~thread();
3163e519524SHoward Hinnant
3177609c9b6SHoward Hinnant#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
318e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
31936101a5bSHoward Hinnant    thread(thread&& __t) _NOEXCEPT : __t_(__t.__t_) {__t.__t_ = 0;}
320906c872dSEvgeniy Stepanov    _LIBCPP_INLINE_VISIBILITY
32136101a5bSHoward Hinnant    thread& operator=(thread&& __t) _NOEXCEPT;
3227609c9b6SHoward Hinnant#endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
3233e519524SHoward Hinnant
324e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
32536101a5bSHoward Hinnant    void swap(thread& __t) _NOEXCEPT {_VSTD::swap(__t_, __t.__t_);}
3263e519524SHoward Hinnant
327e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
32836101a5bSHoward Hinnant    bool joinable() const _NOEXCEPT {return __t_ != 0;}
3293e519524SHoward Hinnant    void join();
3303e519524SHoward Hinnant    void detach();
331e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
332c7e4239fSAsiri Rathnayake    id get_id() const _NOEXCEPT {return __libcpp_thread_get_id(&__t_);}
333e0601335SHoward Hinnant    _LIBCPP_INLINE_VISIBILITY
33436101a5bSHoward Hinnant    native_handle_type native_handle() _NOEXCEPT {return __t_;}
3353e519524SHoward Hinnant
33636101a5bSHoward Hinnant    static unsigned hardware_concurrency() _NOEXCEPT;
3373e519524SHoward Hinnant};
3383e519524SHoward Hinnant
3398df61ea8SHoward Hinnant#ifndef _LIBCPP_HAS_NO_VARIADICS
3408df61ea8SHoward Hinnant
341e08afaf8SEric Fiseliertemplate <class _TSp, class _Fp, class ..._Args, size_t ..._Indices>
3428df61ea8SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY
3438df61ea8SHoward Hinnantvoid
344e08afaf8SEric Fiselier__thread_execute(tuple<_TSp, _Fp, _Args...>& __t, __tuple_indices<_Indices...>)
3458df61ea8SHoward Hinnant{
346e08afaf8SEric Fiselier    __invoke(_VSTD::move(_VSTD::get<1>(__t)), _VSTD::move(_VSTD::get<_Indices>(__t))...);
3478df61ea8SHoward Hinnant}
3488df61ea8SHoward Hinnant
349c003db1fSHoward Hinnanttemplate <class _Fp>
350e08afaf8SEric Fiseliervoid* __thread_proxy(void* __vp)
3518df61ea8SHoward Hinnant{
352e08afaf8SEric Fiselier    // _Fp = std::tuple< unique_ptr<__thread_struct>, Functor, Args...>
353c003db1fSHoward Hinnant    std::unique_ptr<_Fp> __p(static_cast<_Fp*>(__vp));
354e08afaf8SEric Fiselier    __thread_local_data().reset(_VSTD::get<0>(*__p).release());
355e08afaf8SEric Fiselier    typedef typename __make_tuple_indices<tuple_size<_Fp>::value, 2>::type _Index;
356ea48b6dcSHoward Hinnant    __thread_execute(*__p, _Index());
3578df61ea8SHoward Hinnant    return nullptr;
3588df61ea8SHoward Hinnant}
3598df61ea8SHoward Hinnant
360c003db1fSHoward Hinnanttemplate <class _Fp, class ..._Args,
3618df61ea8SHoward Hinnant          class
3628df61ea8SHoward Hinnant         >
363c003db1fSHoward Hinnantthread::thread(_Fp&& __f, _Args&&... __args)
3648df61ea8SHoward Hinnant{
365e08afaf8SEric Fiselier    typedef unique_ptr<__thread_struct> _TSPtr;
366e08afaf8SEric Fiselier    _TSPtr __tsp(new __thread_struct);
367e08afaf8SEric Fiselier    typedef tuple<_TSPtr, typename decay<_Fp>::type, typename decay<_Args>::type...> _Gp;
368e08afaf8SEric Fiselier    _VSTD::unique_ptr<_Gp> __p(
369e08afaf8SEric Fiselier            new _Gp(std::move(__tsp),
370e08afaf8SEric Fiselier                    __decay_copy(_VSTD::forward<_Fp>(__f)),
371ce48a113SHoward Hinnant                    __decay_copy(_VSTD::forward<_Args>(__args))...));
372c7e4239fSAsiri Rathnayake    int __ec = __libcpp_thread_create(&__t_, &__thread_proxy<_Gp>, __p.get());
3738df61ea8SHoward Hinnant    if (__ec == 0)
3748df61ea8SHoward Hinnant        __p.release();
3758df61ea8SHoward Hinnant    else
3768df61ea8SHoward Hinnant        __throw_system_error(__ec, "thread constructor failed");
3778df61ea8SHoward Hinnant}
3788df61ea8SHoward Hinnant
3798df61ea8SHoward Hinnant#else  // _LIBCPP_HAS_NO_VARIADICS
3808df61ea8SHoward Hinnant
381c003db1fSHoward Hinnanttemplate <class _Fp>
382e08afaf8SEric Fiselierstruct __thread_invoke_pair {
383e08afaf8SEric Fiselier    // This type is used to pass memory for thread local storage and a functor
384e08afaf8SEric Fiselier    // to a newly created thread because std::pair doesn't work with
385e08afaf8SEric Fiselier    // std::unique_ptr in C++03.
386e08afaf8SEric Fiselier    __thread_invoke_pair(_Fp& __f) : __tsp_(new __thread_struct), __fn_(__f) {}
387e08afaf8SEric Fiselier    unique_ptr<__thread_struct> __tsp_;
388e08afaf8SEric Fiselier    _Fp __fn_;
389e08afaf8SEric Fiselier};
390e08afaf8SEric Fiselier
391e08afaf8SEric Fiseliertemplate <class _Fp>
392e08afaf8SEric Fiseliervoid* __thread_proxy_cxx03(void* __vp)
3933e519524SHoward Hinnant{
394c003db1fSHoward Hinnant    std::unique_ptr<_Fp> __p(static_cast<_Fp*>(__vp));
395e08afaf8SEric Fiselier    __thread_local_data().reset(__p->__tsp_.release());
396e08afaf8SEric Fiselier    (__p->__fn_)();
3973e519524SHoward Hinnant    return nullptr;
3983e519524SHoward Hinnant}
3993e519524SHoward Hinnant
400c003db1fSHoward Hinnanttemplate <class _Fp>
401c003db1fSHoward Hinnantthread::thread(_Fp __f)
4023e519524SHoward Hinnant{
403e08afaf8SEric Fiselier
404e08afaf8SEric Fiselier    typedef __thread_invoke_pair<_Fp> _InvokePair;
405e08afaf8SEric Fiselier    typedef std::unique_ptr<_InvokePair> _PairPtr;
406e08afaf8SEric Fiselier    _PairPtr __pp(new _InvokePair(__f));
407c7e4239fSAsiri Rathnayake    int __ec = __libcpp_thread_create(&__t_, &__thread_proxy_cxx03<_InvokePair>, __pp.get());
4083e519524SHoward Hinnant    if (__ec == 0)
409e08afaf8SEric Fiselier        __pp.release();
4103e519524SHoward Hinnant    else
4113e519524SHoward Hinnant        __throw_system_error(__ec, "thread constructor failed");
4123e519524SHoward Hinnant}
4133e519524SHoward Hinnant
414b3371f6fSHoward Hinnant#endif  // _LIBCPP_HAS_NO_VARIADICS
4153e519524SHoward Hinnant
4167609c9b6SHoward Hinnant#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
4173e519524SHoward Hinnant
418906c872dSEvgeniy Stepanovinline
4193e519524SHoward Hinnantthread&
42036101a5bSHoward Hinnantthread::operator=(thread&& __t) _NOEXCEPT
4213e519524SHoward Hinnant{
422cbbf633eSHoward Hinnant    if (__t_ != 0)
4233e519524SHoward Hinnant        terminate();
4243e519524SHoward Hinnant    __t_ = __t.__t_;
425cbbf633eSHoward Hinnant    __t.__t_ = 0;
4263e519524SHoward Hinnant    return *this;
4273e519524SHoward Hinnant}
4283e519524SHoward Hinnant
4297609c9b6SHoward Hinnant#endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
4303e519524SHoward Hinnant
431e0601335SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY
43236101a5bSHoward Hinnantvoid swap(thread& __x, thread& __y) _NOEXCEPT {__x.swap(__y);}
4333e519524SHoward Hinnant
4343e519524SHoward Hinnantnamespace this_thread
4353e519524SHoward Hinnant{
4363e519524SHoward Hinnant
437f0544c20SHoward Hinnant_LIBCPP_FUNC_VIS void sleep_for(const chrono::nanoseconds& ns);
4383e519524SHoward Hinnant
4393e519524SHoward Hinnanttemplate <class _Rep, class _Period>
4403e519524SHoward Hinnantvoid
4413e519524SHoward Hinnantsleep_for(const chrono::duration<_Rep, _Period>& __d)
4423e519524SHoward Hinnant{
4433e519524SHoward Hinnant    using namespace chrono;
444aad745a0SHoward Hinnant    if (__d > duration<_Rep, _Period>::zero())
445aad745a0SHoward Hinnant    {
446aad745a0SHoward Hinnant        _LIBCPP_CONSTEXPR duration<long double> _Max = nanoseconds::max();
447aad745a0SHoward Hinnant        nanoseconds __ns;
448aad745a0SHoward Hinnant        if (__d < _Max)
449aad745a0SHoward Hinnant        {
450aad745a0SHoward Hinnant            __ns = duration_cast<nanoseconds>(__d);
4513e519524SHoward Hinnant            if (__ns < __d)
4523e519524SHoward Hinnant                ++__ns;
453aad745a0SHoward Hinnant        }
454aad745a0SHoward Hinnant        else
455aad745a0SHoward Hinnant            __ns = nanoseconds::max();
4563e519524SHoward Hinnant        sleep_for(__ns);
4573e519524SHoward Hinnant    }
458aad745a0SHoward Hinnant}
4593e519524SHoward Hinnant
4603e519524SHoward Hinnanttemplate <class _Clock, class _Duration>
4613e519524SHoward Hinnantvoid
4623e519524SHoward Hinnantsleep_until(const chrono::time_point<_Clock, _Duration>& __t)
4633e519524SHoward Hinnant{
4643e519524SHoward Hinnant    using namespace chrono;
4653e519524SHoward Hinnant    mutex __mut;
4663e519524SHoward Hinnant    condition_variable __cv;
4673e519524SHoward Hinnant    unique_lock<mutex> __lk(__mut);
4683e519524SHoward Hinnant    while (_Clock::now() < __t)
4693e519524SHoward Hinnant        __cv.wait_until(__lk, __t);
4703e519524SHoward Hinnant}
4713e519524SHoward Hinnant
4723e519524SHoward Hinnanttemplate <class _Duration>
473e0601335SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY
4743e519524SHoward Hinnantvoid
4753dc6455fSHoward Hinnantsleep_until(const chrono::time_point<chrono::steady_clock, _Duration>& __t)
4763e519524SHoward Hinnant{
4773e519524SHoward Hinnant    using namespace chrono;
4783dc6455fSHoward Hinnant    sleep_for(__t - steady_clock::now());
4793e519524SHoward Hinnant}
4803e519524SHoward Hinnant
481e0601335SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY
482c7e4239fSAsiri Rathnayakevoid yield() _NOEXCEPT {__libcpp_thread_yield();}
4833e519524SHoward Hinnant
4843e519524SHoward Hinnant}  // this_thread
4853e519524SHoward Hinnant
4863e519524SHoward Hinnant_LIBCPP_END_NAMESPACE_STD
4873e519524SHoward Hinnant
488b3fcc67fSJonathan Roelofs#endif // !_LIBCPP_HAS_NO_THREADS
489b3fcc67fSJonathan Roelofs
4903e519524SHoward Hinnant#endif  // _LIBCPP_THREAD
491