xref: /llvm-project-15.0.7/libcxx/include/thread (revision cbbf633e)
13e519524SHoward Hinnant// -*- C++ -*-
23e519524SHoward Hinnant//===--------------------------- thread -----------------------------------===//
33e519524SHoward Hinnant//
45b08a8a4SHoward Hinnant//                     The LLVM Compiler Infrastructure
53e519524SHoward Hinnant//
63e519524SHoward Hinnant// This file is distributed under the University of Illinois Open Source
73e519524SHoward Hinnant// License. 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
183e519524SHoward 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
293e519524SHoward Hinnant    thread();
303e519524SHoward Hinnant    template <class F, class ...Args> explicit thread(F&& f, Args&&... args);
313e519524SHoward Hinnant    ~thread();
323e519524SHoward Hinnant
333e519524SHoward Hinnant    thread(const thread&) = delete;
343e519524SHoward Hinnant    thread(thread&& t);
353e519524SHoward Hinnant
363e519524SHoward Hinnant    thread& operator=(const thread&) = delete;
373e519524SHoward Hinnant    thread& operator=(thread&& t);
383e519524SHoward Hinnant
393e519524SHoward Hinnant    void swap(thread& t);
403e519524SHoward Hinnant
413e519524SHoward Hinnant    bool joinable() const;
423e519524SHoward Hinnant    void join();
433e519524SHoward Hinnant    void detach();
443e519524SHoward Hinnant    id get_id() const;
453e519524SHoward Hinnant    native_handle_type native_handle();
463e519524SHoward Hinnant
473e519524SHoward Hinnant    static unsigned hardware_concurrency();
483e519524SHoward Hinnant};
493e519524SHoward Hinnant
503e519524SHoward Hinnantvoid swap(thread& x, thread& y);
513e519524SHoward Hinnant
523e519524SHoward Hinnantclass thread::id
533e519524SHoward Hinnant{
543e519524SHoward Hinnantpublic:
553e519524SHoward Hinnant    id();
563e519524SHoward Hinnant};
573e519524SHoward Hinnant
583e519524SHoward Hinnantbool operator==(thread::id x, thread::id y);
593e519524SHoward Hinnantbool operator!=(thread::id x, thread::id y);
603e519524SHoward Hinnantbool operator< (thread::id x, thread::id y);
613e519524SHoward Hinnantbool operator<=(thread::id x, thread::id y);
623e519524SHoward Hinnantbool operator> (thread::id x, thread::id y);
633e519524SHoward Hinnantbool operator>=(thread::id x, thread::id y);
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
723e519524SHoward Hinnantthread::id get_id();
733e519524SHoward Hinnant
743e519524SHoward Hinnantvoid yield();
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>
983e519524SHoward Hinnant#include <pthread.h>
993e519524SHoward Hinnant
1003e519524SHoward Hinnant#pragma GCC system_header
1013e519524SHoward Hinnant
1023e519524SHoward Hinnant#define __STDCPP_THREADS __cplusplus
1033e519524SHoward Hinnant
1043e519524SHoward Hinnant_LIBCPP_BEGIN_NAMESPACE_STD
1053e519524SHoward Hinnant
1063e519524SHoward Hinnantclass thread;
1073e519524SHoward Hinnantclass __thread_id;
1083e519524SHoward Hinnant
1093e519524SHoward Hinnantnamespace this_thread
1103e519524SHoward Hinnant{
1113e519524SHoward Hinnant
1123e519524SHoward Hinnant__thread_id get_id();
1133e519524SHoward Hinnant
1143e519524SHoward Hinnant}  // this_thread
1153e519524SHoward Hinnant
1163e519524SHoward Hinnantclass __thread_id
1173e519524SHoward Hinnant{
118128ba719SHoward Hinnant    // FIXME: pthread_t is a pointer on Darwin but a long on Linux.
119128ba719SHoward Hinnant    // NULL is the no-thread value on Darwin.  Someone needs to check
120128ba719SHoward Hinnant    // on other platforms.  We assume 0 works everywhere for now.
1213e519524SHoward Hinnant    pthread_t __id_;
1223e519524SHoward Hinnant
1233e519524SHoward Hinnantpublic:
1243e519524SHoward Hinnant    __thread_id() : __id_(0) {}
1253e519524SHoward Hinnant
1263e519524SHoward Hinnant    friend bool operator==(__thread_id __x, __thread_id __y)
1273e519524SHoward Hinnant        {return __x.__id_ == __y.__id_;}
1283e519524SHoward Hinnant    friend bool operator!=(__thread_id __x, __thread_id __y)
1293e519524SHoward Hinnant        {return !(__x == __y);}
1303e519524SHoward Hinnant    friend bool operator< (__thread_id __x, __thread_id __y)
1313e519524SHoward Hinnant        {return __x.__id_ < __y.__id_;}
1323e519524SHoward Hinnant    friend bool operator<=(__thread_id __x, __thread_id __y)
1333e519524SHoward Hinnant        {return !(__y < __x);}
1343e519524SHoward Hinnant    friend bool operator> (__thread_id __x, __thread_id __y)
1353e519524SHoward Hinnant        {return   __y < __x ;}
1363e519524SHoward Hinnant    friend bool operator>=(__thread_id __x, __thread_id __y)
1373e519524SHoward Hinnant        {return !(__x < __y);}
1383e519524SHoward Hinnant
1393e519524SHoward Hinnant    template<class _CharT, class _Traits>
1403e519524SHoward Hinnant    friend
1413e519524SHoward Hinnant    basic_ostream<_CharT, _Traits>&
1423e519524SHoward Hinnant    operator<<(basic_ostream<_CharT, _Traits>& __os, __thread_id __id)
1433e519524SHoward Hinnant        {return __os << __id.__id_;}
1443e519524SHoward Hinnant
1453e519524SHoward Hinnantprivate:
1463e519524SHoward Hinnant    __thread_id(pthread_t __id) : __id_(__id) {}
1473e519524SHoward Hinnant
1483e519524SHoward Hinnant    friend __thread_id this_thread::get_id();
1493e519524SHoward Hinnant    friend class thread;
1503e519524SHoward Hinnant};
1513e519524SHoward Hinnant
1523e519524SHoward Hinnanttemplate<class _Tp> struct hash;
1533e519524SHoward Hinnant
1543e519524SHoward Hinnanttemplate<>
1553e519524SHoward Hinnantstruct hash<__thread_id>
1563e519524SHoward Hinnant    : public unary_function<__thread_id, size_t>
1573e519524SHoward Hinnant{
1583e519524SHoward Hinnant    size_t operator()(__thread_id __v) const
1593e519524SHoward Hinnant    {
1603e519524SHoward Hinnant        const size_t* const __p = reinterpret_cast<const size_t*>(&__v);
1613e519524SHoward Hinnant        return *__p;
1623e519524SHoward Hinnant    }
1633e519524SHoward Hinnant};
1643e519524SHoward Hinnant
1653e519524SHoward Hinnantnamespace this_thread
1663e519524SHoward Hinnant{
1673e519524SHoward Hinnant
1683e519524SHoward Hinnantinline
1693e519524SHoward Hinnant__thread_id
1703e519524SHoward Hinnantget_id()
1713e519524SHoward Hinnant{
1723e519524SHoward Hinnant    return pthread_self();
1733e519524SHoward Hinnant}
1743e519524SHoward Hinnant
1753e519524SHoward Hinnant}  // this_thread
1763e519524SHoward Hinnant
1773e519524SHoward Hinnantclass thread
1783e519524SHoward Hinnant{
1793e519524SHoward Hinnant    pthread_t __t_;
1803e519524SHoward Hinnant
1813e519524SHoward Hinnant#ifndef _LIBCPP_MOVE
1823e519524SHoward Hinnant    thread(const thread&); // = delete;
1833e519524SHoward Hinnant    thread& operator=(const thread&); // = delete;
1843e519524SHoward Hinnant#endif
1853e519524SHoward Hinnantpublic:
1863e519524SHoward Hinnant    typedef __thread_id id;
1873e519524SHoward Hinnant    typedef pthread_t native_handle_type;
1883e519524SHoward Hinnant
1893e519524SHoward Hinnant    thread() : __t_(0) {}
1903e519524SHoward Hinnant#ifndef _LIBCPP_HAS_NO_VARIADICS
1913e519524SHoward Hinnant    template <class _F, class ..._Args,
1923e519524SHoward Hinnant              class = typename enable_if
1933e519524SHoward Hinnant              <
1943e519524SHoward Hinnant                   !is_same<typename decay<_F>::type, thread>::value
1953e519524SHoward Hinnant              >::type
1963e519524SHoward Hinnant             >
1973e519524SHoward Hinnant        explicit thread(_F&& __f, _Args&&... __args);
1983e519524SHoward Hinnant#else
1993e519524SHoward Hinnant    template <class _F> explicit thread(_F __f);
2003e519524SHoward Hinnant#endif
2013e519524SHoward Hinnant    ~thread();
2023e519524SHoward Hinnant
2033e519524SHoward Hinnant#ifdef _LIBCPP_MOVE
2043e519524SHoward Hinnant    thread(const thread&) = delete;
2053e519524SHoward Hinnant    thread(thread&& __t) : __t_(__t.__t_) {__t.__t_ = 0;}
2063e519524SHoward Hinnant    thread& operator=(const thread&) = delete;
2073e519524SHoward Hinnant    thread& operator=(thread&& __t);
2083e519524SHoward Hinnant#endif
2093e519524SHoward Hinnant
2103e519524SHoward Hinnant    void swap(thread& __t) {_STD::swap(__t_, __t.__t_);}
2113e519524SHoward Hinnant
212128ba719SHoward Hinnant    bool joinable() const {return __t_ != 0;}
2133e519524SHoward Hinnant    void join();
2143e519524SHoward Hinnant    void detach();
2153e519524SHoward Hinnant    id get_id() const {return __t_;}
2163e519524SHoward Hinnant    native_handle_type native_handle() {return __t_;}
2173e519524SHoward Hinnant
2183e519524SHoward Hinnant    static unsigned hardware_concurrency();
2193e519524SHoward Hinnant};
2203e519524SHoward Hinnant
2213e519524SHoward Hinnanttemplate <class _F>
2223e519524SHoward Hinnantvoid*
2233e519524SHoward Hinnant__thread_proxy(void* __vp)
2243e519524SHoward Hinnant{
2253e519524SHoward Hinnant    std::unique_ptr<_F> __p(static_cast<_F*>(__vp));
2263e519524SHoward Hinnant    (*__p)();
2273e519524SHoward Hinnant    return nullptr;
2283e519524SHoward Hinnant}
2293e519524SHoward Hinnant
2303e519524SHoward Hinnant#ifndef _LIBCPP_HAS_NO_VARIADICS
2313e519524SHoward Hinnant
2323e519524SHoward Hinnanttemplate <class _F, class ..._Args,
2333e519524SHoward Hinnant          class
2343e519524SHoward Hinnant         >
2353e519524SHoward Hinnantthread::thread(_F&& __f, _Args&&... __args)
2363e519524SHoward Hinnant{
2373e519524SHoward Hinnant    typedef decltype(bind(std::forward<_F>(__f), std::forward<_Args>(__args)...)) _G;
2383e519524SHoward Hinnant    std::unique_ptr<_G> __p(new _G(bind(std::forward<_F>(__f),
2393e519524SHoward Hinnant                              std::forward<_Args>(__args)...)));
2403e519524SHoward Hinnant    int __ec = pthread_create(&__t_, 0, &__thread_proxy<_G>, __p.get());
2413e519524SHoward Hinnant    if (__ec == 0)
2423e519524SHoward Hinnant        __p.release();
2433e519524SHoward Hinnant    else
2443e519524SHoward Hinnant        __throw_system_error(__ec, "thread constructor failed");
2453e519524SHoward Hinnant}
2463e519524SHoward Hinnant
2473e519524SHoward Hinnant#else
2483e519524SHoward Hinnant
2493e519524SHoward Hinnanttemplate <class _F>
2503e519524SHoward Hinnantthread::thread(_F __f)
2513e519524SHoward Hinnant{
2523e519524SHoward Hinnant    std::unique_ptr<_F> __p(new _F(__f));
2533e519524SHoward Hinnant    int __ec = pthread_create(&__t_, 0, &__thread_proxy<_F>, __p.get());
2543e519524SHoward Hinnant    if (__ec == 0)
2553e519524SHoward Hinnant        __p.release();
2563e519524SHoward Hinnant    else
2573e519524SHoward Hinnant        __throw_system_error(__ec, "thread constructor failed");
2583e519524SHoward Hinnant}
2593e519524SHoward Hinnant
2603e519524SHoward Hinnant#endif
2613e519524SHoward Hinnant
2623e519524SHoward Hinnant#ifdef _LIBCPP_MOVE
2633e519524SHoward Hinnant
2643e519524SHoward Hinnantinline
2653e519524SHoward Hinnantthread&
2663e519524SHoward Hinnantthread::operator=(thread&& __t)
2673e519524SHoward Hinnant{
268*cbbf633eSHoward Hinnant    if (__t_ != 0)
2693e519524SHoward Hinnant        terminate();
2703e519524SHoward Hinnant    __t_ = __t.__t_;
271*cbbf633eSHoward Hinnant    __t.__t_ = 0;
2723e519524SHoward Hinnant    return *this;
2733e519524SHoward Hinnant}
2743e519524SHoward Hinnant
2753e519524SHoward Hinnant#endif
2763e519524SHoward Hinnant
2773e519524SHoward Hinnantinline
2783e519524SHoward Hinnantvoid swap(thread& __x, thread& __y) {__x.swap(__y);}
2793e519524SHoward Hinnant
2803e519524SHoward Hinnant
2813e519524SHoward Hinnantnamespace this_thread
2823e519524SHoward Hinnant{
2833e519524SHoward Hinnant
2843e519524SHoward Hinnantvoid sleep_for(const chrono::nanoseconds& ns);
2853e519524SHoward Hinnant
2863e519524SHoward Hinnanttemplate <class _Rep, class _Period>
2873e519524SHoward Hinnantvoid
2883e519524SHoward Hinnantsleep_for(const chrono::duration<_Rep, _Period>& __d)
2893e519524SHoward Hinnant{
2903e519524SHoward Hinnant    using namespace chrono;
2913e519524SHoward Hinnant    nanoseconds __ns = duration_cast<nanoseconds>(__d);
2923e519524SHoward Hinnant    if (__ns < __d)
2933e519524SHoward Hinnant        ++__ns;
2943e519524SHoward Hinnant    sleep_for(__ns);
2953e519524SHoward Hinnant}
2963e519524SHoward Hinnant
2973e519524SHoward Hinnanttemplate <class _Clock, class _Duration>
2983e519524SHoward Hinnantvoid
2993e519524SHoward Hinnantsleep_until(const chrono::time_point<_Clock, _Duration>& __t)
3003e519524SHoward Hinnant{
3013e519524SHoward Hinnant    using namespace chrono;
3023e519524SHoward Hinnant    mutex __mut;
3033e519524SHoward Hinnant    condition_variable __cv;
3043e519524SHoward Hinnant    unique_lock<mutex> __lk(__mut);
3053e519524SHoward Hinnant    while (_Clock::now() < __t)
3063e519524SHoward Hinnant        __cv.wait_until(__lk, __t);
3073e519524SHoward Hinnant}
3083e519524SHoward Hinnant
3093e519524SHoward Hinnanttemplate <class _Duration>
3103e519524SHoward Hinnantinline
3113e519524SHoward Hinnantvoid
3123e519524SHoward Hinnantsleep_until(const chrono::time_point<chrono::monotonic_clock, _Duration>& __t)
3133e519524SHoward Hinnant{
3143e519524SHoward Hinnant    using namespace chrono;
3153e519524SHoward Hinnant    sleep_for(__t - monotonic_clock::now());
3163e519524SHoward Hinnant}
3173e519524SHoward Hinnant
3183e519524SHoward Hinnantinline
3193e519524SHoward Hinnantvoid yield() {sched_yield();}
3203e519524SHoward Hinnant
3213e519524SHoward Hinnant}  // this_thread
3223e519524SHoward Hinnant
3233e519524SHoward Hinnant_LIBCPP_END_NAMESPACE_STD
3243e519524SHoward Hinnant
3253e519524SHoward Hinnant#endif  // _LIBCPP_THREAD
326