blob: e1dc972cba7f99cc27cb9f77ed1d52d58fdf358c [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001//===------------------------- thread.cpp----------------------------------===//
2//
Chandler Carruthd2012102019-01-19 10:56:40 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Howard Hinnantc51e1022010-05-11 19:42:16 +00006//
7//===----------------------------------------------------------------------===//
8
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +00009#include "__config"
10#ifndef _LIBCPP_HAS_NO_THREADS
11
Howard Hinnantc51e1022010-05-11 19:42:16 +000012#include "thread"
13#include "exception"
Howard Hinnant3820f6b2010-08-27 20:10:19 +000014#include "vector"
15#include "future"
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000016#include "limits"
Ben Craig664df1f2016-01-29 13:53:23 +000017
Louis Dionnee03c41a2020-10-05 16:39:33 -040018#if __has_include(<sys/types.h>)
19# include <sys/types.h>
20#endif
21
22#if __has_include(<sys/param.h>)
Ben Craig664df1f2016-01-29 13:53:23 +000023# include <sys/param.h>
Louis Dionnee03c41a2020-10-05 16:39:33 -040024#endif
25
26#if __has_include(<sys/sysctl.h>)
27# include <sys/sysctl.h>
28#endif
Ben Craig664df1f2016-01-29 13:53:23 +000029
John Brawnfeea69a2020-05-14 11:51:13 +010030#if __has_include(<unistd.h>)
Louis Dionnee03c41a2020-10-05 16:39:33 -040031# include <unistd.h>
John Brawnfeea69a2020-05-14 11:51:13 +010032#endif
Howard Hinnantc51e1022010-05-11 19:42:16 +000033
Joerg Sonnenberger22939542013-05-17 21:16:18 +000034#if defined(__NetBSD__)
35#pragma weak pthread_create // Do not create libpthread dependency
36#endif
Saleem Abdulrasoolee302e42017-01-03 21:53:51 +000037
38#if defined(_LIBCPP_WIN32API)
Howard Hinnant287fc502013-07-02 17:53:48 +000039#include <windows.h>
Eric Fiselierbb999f92017-05-31 22:14:05 +000040#endif
Joerg Sonnenberger22939542013-05-17 21:16:18 +000041
Michał Górny8d676fb2019-12-02 11:49:20 +010042#if defined(__ELF__) && defined(_LIBCPP_LINK_PTHREAD_LIB)
Petr Hosek99575aa2019-05-30 01:34:41 +000043#pragma comment(lib, "pthread")
44#endif
45
Howard Hinnantc51e1022010-05-11 19:42:16 +000046_LIBCPP_BEGIN_NAMESPACE_STD
47
48thread::~thread()
49{
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000050 if (!__libcpp_thread_isnull(&__t_))
Howard Hinnantc51e1022010-05-11 19:42:16 +000051 terminate();
52}
53
54void
55thread::join()
56{
Asiri Rathnayake9f71bc52016-06-03 08:45:26 +000057 int ec = EINVAL;
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000058 if (!__libcpp_thread_isnull(&__t_))
Asiri Rathnayake9f71bc52016-06-03 08:45:26 +000059 {
60 ec = __libcpp_thread_join(&__t_);
61 if (ec == 0)
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000062 __t_ = _LIBCPP_NULL_THREAD;
Asiri Rathnayake9f71bc52016-06-03 08:45:26 +000063 }
Marshall Clow8fea1612016-08-25 15:09:01 +000064
Howard Hinnantc51e1022010-05-11 19:42:16 +000065 if (ec)
Marshall Clow8fea1612016-08-25 15:09:01 +000066 __throw_system_error(ec, "thread::join failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000067}
68
69void
70thread::detach()
71{
72 int ec = EINVAL;
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000073 if (!__libcpp_thread_isnull(&__t_))
Howard Hinnantc51e1022010-05-11 19:42:16 +000074 {
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000075 ec = __libcpp_thread_detach(&__t_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000076 if (ec == 0)
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000077 __t_ = _LIBCPP_NULL_THREAD;
Howard Hinnantc51e1022010-05-11 19:42:16 +000078 }
Marshall Clow8fea1612016-08-25 15:09:01 +000079
Howard Hinnantc51e1022010-05-11 19:42:16 +000080 if (ec)
Marshall Clow8fea1612016-08-25 15:09:01 +000081 __throw_system_error(ec, "thread::detach failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000082}
83
84unsigned
Howard Hinnant4bd34702012-07-21 16:50:47 +000085thread::hardware_concurrency() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000086{
Howard Hinnant155c2af2010-05-24 17:49:41 +000087#if defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant28b24882011-12-01 20:21:04 +000088 unsigned n;
Howard Hinnantc51e1022010-05-11 19:42:16 +000089 int mib[2] = {CTL_HW, HW_NCPU};
90 std::size_t s = sizeof(n);
91 sysctl(mib, 2, &n, &s, 0, 0);
92 return n;
Howard Hinnant4a55d842013-06-30 00:14:43 +000093#elif defined(_SC_NPROCESSORS_ONLN)
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000094 long result = sysconf(_SC_NPROCESSORS_ONLN);
Howard Hinnant3f648332012-12-27 23:24:31 +000095 // sysconf returns -1 if the name is invalid, the option does not exist or
96 // does not have a definite limit.
Marshall Clowdcfde7a2013-02-07 18:48:09 +000097 // if sysconf returns some other negative number, we have no idea
98 // what is going on. Default to something safe.
99 if (result < 0)
Howard Hinnant3f648332012-12-27 23:24:31 +0000100 return 0;
Marshall Clow84d47b92013-02-07 17:37:58 +0000101 return static_cast<unsigned>(result);
Saleem Abdulrasoolee302e42017-01-03 21:53:51 +0000102#elif defined(_LIBCPP_WIN32API)
Howard Hinnant287fc502013-07-02 17:53:48 +0000103 SYSTEM_INFO info;
104 GetSystemInfo(&info);
105 return info.dwNumberOfProcessors;
Howard Hinnantffb308e2010-08-22 00:03:27 +0000106#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant155c2af2010-05-24 17:49:41 +0000107 // TODO: grovel through /proc or check cpuid on x86 and similar
108 // instructions on other architectures.
Eric Fiselier1e29ffc2017-05-10 21:40:58 +0000109# if defined(_LIBCPP_WARNING)
Howard Hinnant408927e2013-10-04 21:14:44 +0000110 _LIBCPP_WARNING("hardware_concurrency not yet implemented")
111# else
112# warning hardware_concurrency not yet implemented
113# endif
Howard Hinnant155c2af2010-05-24 17:49:41 +0000114 return 0; // Means not computable [thread.thread.static]
Howard Hinnantffb308e2010-08-22 00:03:27 +0000115#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000116}
117
118namespace this_thread
119{
120
121void
122sleep_for(const chrono::nanoseconds& ns)
123{
Asiri Rathnayake5b8bf4f2017-02-09 09:31:41 +0000124 if (ns > chrono::nanoseconds::zero())
Howard Hinnantc51e1022010-05-11 19:42:16 +0000125 {
Asiri Rathnayake5b8bf4f2017-02-09 09:31:41 +0000126 __libcpp_thread_sleep_for(ns);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000127 }
128}
129
130} // this_thread
131
Howard Hinnant15d55052010-10-14 19:18:04 +0000132__thread_specific_ptr<__thread_struct>&
133__thread_local_data()
134{
135 static __thread_specific_ptr<__thread_struct> __p;
136 return __p;
137}
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000138
139// __thread_struct_imp
140
Howard Hinnantcf823322010-12-17 14:46:43 +0000141template <class T>
142class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000143{
Howard Hinnantcf823322010-12-17 14:46:43 +0000144public:
145 typedef T value_type;
Stephan T. Lavavejfb39ad72019-10-23 11:45:36 -0700146
Howard Hinnantcf823322010-12-17 14:46:43 +0000147 T* allocate(size_t __n)
148 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
Joerg Sonnenbergerc7655a22014-01-04 17:43:00 +0000149 void deallocate(T* __p, size_t) {::operator delete(static_cast<void*>(__p));}
Howard Hinnantcf823322010-12-17 14:46:43 +0000150
151 size_t max_size() const {return size_t(~0) / sizeof(T);}
152};
153
154class _LIBCPP_HIDDEN __thread_struct_imp
155{
156 typedef vector<__assoc_sub_state*,
157 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
158 typedef vector<pair<condition_variable*, mutex*>,
159 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
Howard Hinnante6a10852010-09-03 21:46:37 +0000160
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000161 _AsyncStates async_states_;
Howard Hinnante6a10852010-09-03 21:46:37 +0000162 _Notify notify_;
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000163
164 __thread_struct_imp(const __thread_struct_imp&);
165 __thread_struct_imp& operator=(const __thread_struct_imp&);
166public:
167 __thread_struct_imp() {}
168 ~__thread_struct_imp();
169
Howard Hinnante6a10852010-09-03 21:46:37 +0000170 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000171 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
172};
173
174__thread_struct_imp::~__thread_struct_imp()
175{
Howard Hinnante6a10852010-09-03 21:46:37 +0000176 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
177 i != e; ++i)
178 {
179 i->second->unlock();
180 i->first->notify_all();
181 }
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000182 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
183 i != e; ++i)
184 {
185 (*i)->__make_ready();
186 (*i)->__release_shared();
187 }
188}
189
190void
Howard Hinnante6a10852010-09-03 21:46:37 +0000191__thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
192{
193 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
194}
195
196void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000197__thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
198{
199 async_states_.push_back(__s);
200 __s->__add_shared();
201}
202
203// __thread_struct
204
205__thread_struct::__thread_struct()
206 : __p_(new __thread_struct_imp)
207{
208}
209
210__thread_struct::~__thread_struct()
211{
212 delete __p_;
213}
214
215void
Howard Hinnante6a10852010-09-03 21:46:37 +0000216__thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
217{
218 __p_->notify_all_at_thread_exit(cv, m);
219}
220
221void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000222__thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
223{
224 __p_->__make_ready_at_thread_exit(__s);
225}
226
Howard Hinnantc51e1022010-05-11 19:42:16 +0000227_LIBCPP_END_NAMESPACE_STD
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000228
229#endif // !_LIBCPP_HAS_NO_THREADS