blob: bc5dfb2430aa2b89f53e7872308e7de6ac8ba698 [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"
Howard Hinnantd031c582010-05-25 17:25:25 +000017#include <sys/types.h>
Ben Craig664df1f2016-01-29 13:53:23 +000018
19#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
20# include <sys/param.h>
Louis Dionnef2bed192018-11-13 17:00:04 +000021# if defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__) || defined(__DragonFly__) || defined(__APPLE__)
JF Bastien57daf9b2014-12-02 17:30:19 +000022# include <sys/sysctl.h>
Louis Dionnef2bed192018-11-13 17:00:04 +000023# endif
Ben Craig664df1f2016-01-29 13:53:23 +000024#endif // defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
25
Petr Hosekc36caed2017-03-01 03:09:18 +000026#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__)) || defined(__CloudABI__) || defined(__Fuchsia__)
JF Bastien57daf9b2014-12-02 17:30:19 +000027# include <unistd.h>
Petr Hosekc36caed2017-03-01 03:09:18 +000028#endif // defined(__unix__) || (defined(__APPLE__) && defined(__MACH__)) || defined(__CloudABI__) || defined(__Fuchsia__)
Howard Hinnantc51e1022010-05-11 19:42:16 +000029
Joerg Sonnenberger22939542013-05-17 21:16:18 +000030#if defined(__NetBSD__)
31#pragma weak pthread_create // Do not create libpthread dependency
32#endif
Saleem Abdulrasoolee302e42017-01-03 21:53:51 +000033
34#if defined(_LIBCPP_WIN32API)
Howard Hinnant287fc502013-07-02 17:53:48 +000035#include <windows.h>
Eric Fiselierbb999f92017-05-31 22:14:05 +000036#endif
Joerg Sonnenberger22939542013-05-17 21:16:18 +000037
Howard Hinnantc51e1022010-05-11 19:42:16 +000038_LIBCPP_BEGIN_NAMESPACE_STD
39
40thread::~thread()
41{
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000042 if (!__libcpp_thread_isnull(&__t_))
Howard Hinnantc51e1022010-05-11 19:42:16 +000043 terminate();
44}
45
46void
47thread::join()
48{
Asiri Rathnayake9f71bc52016-06-03 08:45:26 +000049 int ec = EINVAL;
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000050 if (!__libcpp_thread_isnull(&__t_))
Asiri Rathnayake9f71bc52016-06-03 08:45:26 +000051 {
52 ec = __libcpp_thread_join(&__t_);
53 if (ec == 0)
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000054 __t_ = _LIBCPP_NULL_THREAD;
Asiri Rathnayake9f71bc52016-06-03 08:45:26 +000055 }
Marshall Clow8fea1612016-08-25 15:09:01 +000056
Howard Hinnantc51e1022010-05-11 19:42:16 +000057 if (ec)
Marshall Clow8fea1612016-08-25 15:09:01 +000058 __throw_system_error(ec, "thread::join failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000059}
60
61void
62thread::detach()
63{
64 int ec = EINVAL;
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000065 if (!__libcpp_thread_isnull(&__t_))
Howard Hinnantc51e1022010-05-11 19:42:16 +000066 {
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000067 ec = __libcpp_thread_detach(&__t_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000068 if (ec == 0)
Asiri Rathnayakedb97e252017-01-16 13:13:01 +000069 __t_ = _LIBCPP_NULL_THREAD;
Howard Hinnantc51e1022010-05-11 19:42:16 +000070 }
Marshall Clow8fea1612016-08-25 15:09:01 +000071
Howard Hinnantc51e1022010-05-11 19:42:16 +000072 if (ec)
Marshall Clow8fea1612016-08-25 15:09:01 +000073 __throw_system_error(ec, "thread::detach failed");
Howard Hinnantc51e1022010-05-11 19:42:16 +000074}
75
76unsigned
Howard Hinnant4bd34702012-07-21 16:50:47 +000077thread::hardware_concurrency() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000078{
Howard Hinnant155c2af2010-05-24 17:49:41 +000079#if defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant28b24882011-12-01 20:21:04 +000080 unsigned n;
Howard Hinnantc51e1022010-05-11 19:42:16 +000081 int mib[2] = {CTL_HW, HW_NCPU};
82 std::size_t s = sizeof(n);
83 sysctl(mib, 2, &n, &s, 0, 0);
84 return n;
Howard Hinnant4a55d842013-06-30 00:14:43 +000085#elif defined(_SC_NPROCESSORS_ONLN)
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000086 long result = sysconf(_SC_NPROCESSORS_ONLN);
Howard Hinnant3f648332012-12-27 23:24:31 +000087 // sysconf returns -1 if the name is invalid, the option does not exist or
88 // does not have a definite limit.
Marshall Clowdcfde7a2013-02-07 18:48:09 +000089 // if sysconf returns some other negative number, we have no idea
90 // what is going on. Default to something safe.
91 if (result < 0)
Howard Hinnant3f648332012-12-27 23:24:31 +000092 return 0;
Marshall Clow84d47b92013-02-07 17:37:58 +000093 return static_cast<unsigned>(result);
Saleem Abdulrasoolee302e42017-01-03 21:53:51 +000094#elif defined(_LIBCPP_WIN32API)
Howard Hinnant287fc502013-07-02 17:53:48 +000095 SYSTEM_INFO info;
96 GetSystemInfo(&info);
97 return info.dwNumberOfProcessors;
Howard Hinnantffb308e2010-08-22 00:03:27 +000098#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant155c2af2010-05-24 17:49:41 +000099 // TODO: grovel through /proc or check cpuid on x86 and similar
100 // instructions on other architectures.
Eric Fiselier1e29ffc2017-05-10 21:40:58 +0000101# if defined(_LIBCPP_WARNING)
Howard Hinnant408927e2013-10-04 21:14:44 +0000102 _LIBCPP_WARNING("hardware_concurrency not yet implemented")
103# else
104# warning hardware_concurrency not yet implemented
105# endif
Howard Hinnant155c2af2010-05-24 17:49:41 +0000106 return 0; // Means not computable [thread.thread.static]
Howard Hinnantffb308e2010-08-22 00:03:27 +0000107#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000108}
109
110namespace this_thread
111{
112
113void
114sleep_for(const chrono::nanoseconds& ns)
115{
Asiri Rathnayake5b8bf4f2017-02-09 09:31:41 +0000116 if (ns > chrono::nanoseconds::zero())
Howard Hinnantc51e1022010-05-11 19:42:16 +0000117 {
Asiri Rathnayake5b8bf4f2017-02-09 09:31:41 +0000118 __libcpp_thread_sleep_for(ns);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000119 }
120}
121
122} // this_thread
123
Howard Hinnant15d55052010-10-14 19:18:04 +0000124__thread_specific_ptr<__thread_struct>&
125__thread_local_data()
126{
127 static __thread_specific_ptr<__thread_struct> __p;
128 return __p;
129}
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000130
131// __thread_struct_imp
132
Howard Hinnantcf823322010-12-17 14:46:43 +0000133template <class T>
134class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000135{
Howard Hinnantcf823322010-12-17 14:46:43 +0000136public:
137 typedef T value_type;
138
139 T* allocate(size_t __n)
140 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
Joerg Sonnenbergerc7655a22014-01-04 17:43:00 +0000141 void deallocate(T* __p, size_t) {::operator delete(static_cast<void*>(__p));}
Howard Hinnantcf823322010-12-17 14:46:43 +0000142
143 size_t max_size() const {return size_t(~0) / sizeof(T);}
144};
145
146class _LIBCPP_HIDDEN __thread_struct_imp
147{
148 typedef vector<__assoc_sub_state*,
149 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
150 typedef vector<pair<condition_variable*, mutex*>,
151 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
Howard Hinnante6a10852010-09-03 21:46:37 +0000152
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000153 _AsyncStates async_states_;
Howard Hinnante6a10852010-09-03 21:46:37 +0000154 _Notify notify_;
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000155
156 __thread_struct_imp(const __thread_struct_imp&);
157 __thread_struct_imp& operator=(const __thread_struct_imp&);
158public:
159 __thread_struct_imp() {}
160 ~__thread_struct_imp();
161
Howard Hinnante6a10852010-09-03 21:46:37 +0000162 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000163 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
164};
165
166__thread_struct_imp::~__thread_struct_imp()
167{
Howard Hinnante6a10852010-09-03 21:46:37 +0000168 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
169 i != e; ++i)
170 {
171 i->second->unlock();
172 i->first->notify_all();
173 }
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000174 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
175 i != e; ++i)
176 {
177 (*i)->__make_ready();
178 (*i)->__release_shared();
179 }
180}
181
182void
Howard Hinnante6a10852010-09-03 21:46:37 +0000183__thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
184{
185 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
186}
187
188void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000189__thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
190{
191 async_states_.push_back(__s);
192 __s->__add_shared();
193}
194
195// __thread_struct
196
197__thread_struct::__thread_struct()
198 : __p_(new __thread_struct_imp)
199{
200}
201
202__thread_struct::~__thread_struct()
203{
204 delete __p_;
205}
206
207void
Howard Hinnante6a10852010-09-03 21:46:37 +0000208__thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
209{
210 __p_->notify_all_at_thread_exit(cv, m);
211}
212
213void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000214__thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
215{
216 __p_->__make_ready_at_thread_exit(__s);
217}
218
Howard Hinnantc51e1022010-05-11 19:42:16 +0000219_LIBCPP_END_NAMESPACE_STD
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000220
221#endif // !_LIBCPP_HAS_NO_THREADS