13e519524SHoward Hinnant //===------------------------- thread.cpp----------------------------------===//
23e519524SHoward Hinnant //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63e519524SHoward Hinnant //
73e519524SHoward Hinnant //===----------------------------------------------------------------------===//
83e519524SHoward Hinnant
9bbb0f2c7SArthur O'Dwyer #include <__config>
10bbb0f2c7SArthur O'Dwyer
11b3fcc67fSJonathan Roelofs #ifndef _LIBCPP_HAS_NO_THREADS
12b3fcc67fSJonathan Roelofs
13bbb0f2c7SArthur O'Dwyer #include <exception>
14bbb0f2c7SArthur O'Dwyer #include <future>
15bbb0f2c7SArthur O'Dwyer #include <limits>
16bbb0f2c7SArthur O'Dwyer #include <thread>
17bbb0f2c7SArthur O'Dwyer #include <vector>
187d00f970SBen Craig
194d25f445SJohn Brawn #if __has_include(<unistd.h>)
203d7f19ffSLouis Dionne # include <unistd.h> // for sysconf
214d25f445SJohn Brawn #endif
223e519524SHoward Hinnant
23df6bbaa5SJoerg Sonnenberger #if defined(__NetBSD__)
24df6bbaa5SJoerg Sonnenberger #pragma weak pthread_create // Do not create libpthread dependency
25df6bbaa5SJoerg Sonnenberger #endif
26b2826a1dSSaleem Abdulrasool
27b2826a1dSSaleem Abdulrasool #if defined(_LIBCPP_WIN32API)
28ca69356dSHoward Hinnant #include <windows.h>
291ec02625SEric Fiselier #endif
30df6bbaa5SJoerg Sonnenberger
31a9b5fff5SMichał Górny #if defined(__ELF__) && defined(_LIBCPP_LINK_PTHREAD_LIB)
32996e62eeSPetr Hosek #pragma comment(lib, "pthread")
33996e62eeSPetr Hosek #endif
34996e62eeSPetr Hosek
353e519524SHoward Hinnant _LIBCPP_BEGIN_NAMESPACE_STD
363e519524SHoward Hinnant
~thread()373e519524SHoward Hinnant thread::~thread()
383e519524SHoward Hinnant {
3952fe2505SAsiri Rathnayake if (!__libcpp_thread_isnull(&__t_))
403e519524SHoward Hinnant terminate();
413e519524SHoward Hinnant }
423e519524SHoward Hinnant
433e519524SHoward Hinnant void
join()443e519524SHoward Hinnant thread::join()
453e519524SHoward Hinnant {
461f077f6bSAsiri Rathnayake int ec = EINVAL;
4752fe2505SAsiri Rathnayake if (!__libcpp_thread_isnull(&__t_))
481f077f6bSAsiri Rathnayake {
491f077f6bSAsiri Rathnayake ec = __libcpp_thread_join(&__t_);
501f077f6bSAsiri Rathnayake if (ec == 0)
5152fe2505SAsiri Rathnayake __t_ = _LIBCPP_NULL_THREAD;
521f077f6bSAsiri Rathnayake }
53d437fa5cSMarshall Clow
543e519524SHoward Hinnant if (ec)
55d437fa5cSMarshall Clow __throw_system_error(ec, "thread::join failed");
563e519524SHoward Hinnant }
573e519524SHoward Hinnant
583e519524SHoward Hinnant void
detach()593e519524SHoward Hinnant thread::detach()
603e519524SHoward Hinnant {
613e519524SHoward Hinnant int ec = EINVAL;
6252fe2505SAsiri Rathnayake if (!__libcpp_thread_isnull(&__t_))
633e519524SHoward Hinnant {
64c7e4239fSAsiri Rathnayake ec = __libcpp_thread_detach(&__t_);
653e519524SHoward Hinnant if (ec == 0)
6652fe2505SAsiri Rathnayake __t_ = _LIBCPP_NULL_THREAD;
673e519524SHoward Hinnant }
68d437fa5cSMarshall Clow
693e519524SHoward Hinnant if (ec)
70d437fa5cSMarshall Clow __throw_system_error(ec, "thread::detach failed");
713e519524SHoward Hinnant }
723e519524SHoward Hinnant
733e519524SHoward Hinnant unsigned
hardware_concurrency()745601305fSLouis Dionne thread::hardware_concurrency() noexcept
753e519524SHoward Hinnant {
763d7f19ffSLouis Dionne #if defined(_SC_NPROCESSORS_ONLN)
77d3673eb4SHoward Hinnant long result = sysconf(_SC_NPROCESSORS_ONLN);
786b0101acSHoward Hinnant // sysconf returns -1 if the name is invalid, the option does not exist or
796b0101acSHoward Hinnant // does not have a definite limit.
800749262aSMarshall Clow // if sysconf returns some other negative number, we have no idea
810749262aSMarshall Clow // what is going on. Default to something safe.
820749262aSMarshall Clow if (result < 0)
836b0101acSHoward Hinnant return 0;
8463f700e4SMarshall Clow return static_cast<unsigned>(result);
85b2826a1dSSaleem Abdulrasool #elif defined(_LIBCPP_WIN32API)
86ca69356dSHoward Hinnant SYSTEM_INFO info;
87ca69356dSHoward Hinnant GetSystemInfo(&info);
88ca69356dSHoward Hinnant return info.dwNumberOfProcessors;
89940e211cSHoward Hinnant #else // defined(CTL_HW) && defined(HW_NCPU)
90128ba719SHoward Hinnant // TODO: grovel through /proc or check cpuid on x86 and similar
91128ba719SHoward Hinnant // instructions on other architectures.
920c6e7ae4SEric Fiselier # if defined(_LIBCPP_WARNING)
9380b84d4cSHoward Hinnant _LIBCPP_WARNING("hardware_concurrency not yet implemented")
9480b84d4cSHoward Hinnant # else
958bd1771aSHoward Hinnant # warning hardware_concurrency not yet implemented
9680b84d4cSHoward Hinnant # endif
97128ba719SHoward Hinnant return 0; // Means not computable [thread.thread.static]
98940e211cSHoward Hinnant #endif // defined(CTL_HW) && defined(HW_NCPU)
993e519524SHoward Hinnant }
1003e519524SHoward Hinnant
1013e519524SHoward Hinnant namespace this_thread
1023e519524SHoward Hinnant {
1033e519524SHoward Hinnant
1043e519524SHoward Hinnant void
sleep_for(const chrono::nanoseconds & ns)1053e519524SHoward Hinnant sleep_for(const chrono::nanoseconds& ns)
1063e519524SHoward Hinnant {
10754a987e1SAsiri Rathnayake if (ns > chrono::nanoseconds::zero())
1083e519524SHoward Hinnant {
10954a987e1SAsiri Rathnayake __libcpp_thread_sleep_for(ns);
1103e519524SHoward Hinnant }
1113e519524SHoward Hinnant }
1123e519524SHoward Hinnant
1133e519524SHoward Hinnant } // this_thread
1143e519524SHoward Hinnant
11510e4a48aSHoward Hinnant __thread_specific_ptr<__thread_struct>&
__thread_local_data()11610e4a48aSHoward Hinnant __thread_local_data()
11710e4a48aSHoward Hinnant {
118*0c99575dSVitaly Buka // Even though __thread_specific_ptr's destructor doesn't actually destroy
119*0c99575dSVitaly Buka // anything (see comments there), we can't call it at all because threads may
120*0c99575dSVitaly Buka // outlive the static variable and calling its destructor means accessing an
121*0c99575dSVitaly Buka // object outside of its lifetime, which is UB.
122*0c99575dSVitaly Buka alignas(__thread_specific_ptr<__thread_struct>) static char __b[sizeof(__thread_specific_ptr<__thread_struct>)];
123*0c99575dSVitaly Buka static __thread_specific_ptr<__thread_struct>* __p = new (__b) __thread_specific_ptr<__thread_struct>();
124*0c99575dSVitaly Buka return *__p;
12510e4a48aSHoward Hinnant }
126167fd108SHoward Hinnant
127167fd108SHoward Hinnant // __thread_struct_imp
128167fd108SHoward Hinnant
129c950e77dSHoward Hinnant template <class T>
130c950e77dSHoward Hinnant class _LIBCPP_HIDDEN __hidden_allocator
131167fd108SHoward Hinnant {
132c950e77dSHoward Hinnant public:
133c950e77dSHoward Hinnant typedef T value_type;
134c950e77dSHoward Hinnant
allocate(size_t __n)135c950e77dSHoward Hinnant T* allocate(size_t __n)
136c950e77dSHoward Hinnant {return static_cast<T*>(::operator new(__n * sizeof(T)));}
deallocate(T * __p,size_t)137634b9dd7SJoerg Sonnenberger void deallocate(T* __p, size_t) {::operator delete(static_cast<void*>(__p));}
138c950e77dSHoward Hinnant
max_size() const139c950e77dSHoward Hinnant size_t max_size() const {return size_t(~0) / sizeof(T);}
140c950e77dSHoward Hinnant };
141c950e77dSHoward Hinnant
142c950e77dSHoward Hinnant class _LIBCPP_HIDDEN __thread_struct_imp
143c950e77dSHoward Hinnant {
144c950e77dSHoward Hinnant typedef vector<__assoc_sub_state*,
145c950e77dSHoward Hinnant __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
146c950e77dSHoward Hinnant typedef vector<pair<condition_variable*, mutex*>,
147c950e77dSHoward Hinnant __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
148b77c0c03SHoward Hinnant
149167fd108SHoward Hinnant _AsyncStates async_states_;
150b77c0c03SHoward Hinnant _Notify notify_;
151167fd108SHoward Hinnant
152167fd108SHoward Hinnant __thread_struct_imp(const __thread_struct_imp&);
153167fd108SHoward Hinnant __thread_struct_imp& operator=(const __thread_struct_imp&);
154167fd108SHoward Hinnant public:
__thread_struct_imp()155167fd108SHoward Hinnant __thread_struct_imp() {}
156167fd108SHoward Hinnant ~__thread_struct_imp();
157167fd108SHoward Hinnant
158b77c0c03SHoward Hinnant void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
159167fd108SHoward Hinnant void __make_ready_at_thread_exit(__assoc_sub_state* __s);
160167fd108SHoward Hinnant };
161167fd108SHoward Hinnant
~__thread_struct_imp()162167fd108SHoward Hinnant __thread_struct_imp::~__thread_struct_imp()
163167fd108SHoward Hinnant {
164b77c0c03SHoward Hinnant for (_Notify::iterator i = notify_.begin(), e = notify_.end();
165b77c0c03SHoward Hinnant i != e; ++i)
166b77c0c03SHoward Hinnant {
167b77c0c03SHoward Hinnant i->second->unlock();
168b77c0c03SHoward Hinnant i->first->notify_all();
169b77c0c03SHoward Hinnant }
170167fd108SHoward Hinnant for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
171167fd108SHoward Hinnant i != e; ++i)
172167fd108SHoward Hinnant {
173167fd108SHoward Hinnant (*i)->__make_ready();
174167fd108SHoward Hinnant (*i)->__release_shared();
175167fd108SHoward Hinnant }
176167fd108SHoward Hinnant }
177167fd108SHoward Hinnant
178167fd108SHoward Hinnant void
notify_all_at_thread_exit(condition_variable * cv,mutex * m)179b77c0c03SHoward Hinnant __thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
180b77c0c03SHoward Hinnant {
181b77c0c03SHoward Hinnant notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
182b77c0c03SHoward Hinnant }
183b77c0c03SHoward Hinnant
184b77c0c03SHoward Hinnant void
__make_ready_at_thread_exit(__assoc_sub_state * __s)185167fd108SHoward Hinnant __thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
186167fd108SHoward Hinnant {
187167fd108SHoward Hinnant async_states_.push_back(__s);
188167fd108SHoward Hinnant __s->__add_shared();
189167fd108SHoward Hinnant }
190167fd108SHoward Hinnant
191167fd108SHoward Hinnant // __thread_struct
192167fd108SHoward Hinnant
__thread_struct()193167fd108SHoward Hinnant __thread_struct::__thread_struct()
194167fd108SHoward Hinnant : __p_(new __thread_struct_imp)
195167fd108SHoward Hinnant {
196167fd108SHoward Hinnant }
197167fd108SHoward Hinnant
~__thread_struct()198167fd108SHoward Hinnant __thread_struct::~__thread_struct()
199167fd108SHoward Hinnant {
200167fd108SHoward Hinnant delete __p_;
201167fd108SHoward Hinnant }
202167fd108SHoward Hinnant
203167fd108SHoward Hinnant void
notify_all_at_thread_exit(condition_variable * cv,mutex * m)204b77c0c03SHoward Hinnant __thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
205b77c0c03SHoward Hinnant {
206b77c0c03SHoward Hinnant __p_->notify_all_at_thread_exit(cv, m);
207b77c0c03SHoward Hinnant }
208b77c0c03SHoward Hinnant
209b77c0c03SHoward Hinnant void
__make_ready_at_thread_exit(__assoc_sub_state * __s)210167fd108SHoward Hinnant __thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
211167fd108SHoward Hinnant {
212167fd108SHoward Hinnant __p_->__make_ready_at_thread_exit(__s);
213167fd108SHoward Hinnant }
214167fd108SHoward Hinnant
2153e519524SHoward Hinnant _LIBCPP_END_NAMESPACE_STD
216b3fcc67fSJonathan Roelofs
217b3fcc67fSJonathan Roelofs #endif // !_LIBCPP_HAS_NO_THREADS
218