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