blob: 4fb1dd21fc2c743ac1ccefcb2c13f79420879ef5 [file] [log] [blame]
Howard Hinnant3e519522010-05-11 19:42:16 +00001//===------------------------- thread.cpp----------------------------------===//
2//
Howard Hinnant5b08a8a2010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnant3e519522010-05-11 19:42:16 +00004//
Howard Hinnant412dbeb2010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnant3e519522010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
Jonathan Roelofsb3fcc672014-09-05 19:45:05 +000010#include "__config"
11#ifndef _LIBCPP_HAS_NO_THREADS
12
Howard Hinnant3e519522010-05-11 19:42:16 +000013#include "thread"
14#include "exception"
Howard Hinnant167fd102010-08-27 20:10:19 +000015#include "vector"
16#include "future"
Howard Hinnantaad745a2012-08-30 19:14:33 +000017#include "limits"
Howard Hinnant5b00ffe2010-05-25 17:25:25 +000018#include <sys/types.h>
Ben Craig7d00f972016-01-29 13:53:23 +000019
20#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
21# include <sys/param.h>
22# if defined(BSD)
JF Bastienb1ba0152014-12-02 17:30:19 +000023# include <sys/sysctl.h>
Ben Craig7d00f972016-01-29 13:53:23 +000024# endif // defined(BSD)
25#endif // defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
26
Saleem Abdulrasoolb2826a12017-01-03 21:53:51 +000027#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
JF Bastienb1ba0152014-12-02 17:30:19 +000028# include <unistd.h>
Saleem Abdulrasoolb2826a12017-01-03 21:53:51 +000029#endif // defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
Howard Hinnant3e519522010-05-11 19:42:16 +000030
Joerg Sonnenbergerdf6bbaa2013-05-17 21:16:18 +000031#if defined(__NetBSD__)
32#pragma weak pthread_create // Do not create libpthread dependency
33#endif
Saleem Abdulrasoolb2826a12017-01-03 21:53:51 +000034
35#if defined(_LIBCPP_WIN32API)
Howard Hinnantca693562013-07-02 17:53:48 +000036#include <windows.h>
Saleem Abdulrasoolb2826a12017-01-03 21:53:51 +000037#endif // defined(_LIBCPP_WIN32API)
Joerg Sonnenbergerdf6bbaa2013-05-17 21:16:18 +000038
Howard Hinnant3e519522010-05-11 19:42:16 +000039_LIBCPP_BEGIN_NAMESPACE_STD
40
41thread::~thread()
42{
Howard Hinnant128ba712010-05-24 17:49:41 +000043 if (__t_ != 0)
Howard Hinnant3e519522010-05-11 19:42:16 +000044 terminate();
45}
46
47void
48thread::join()
49{
Asiri Rathnayake1f077f62016-06-03 08:45:26 +000050 int ec = EINVAL;
51 if (__t_ != 0)
52 {
53 ec = __libcpp_thread_join(&__t_);
54 if (ec == 0)
55 __t_ = 0;
56 }
Marshall Clowd437fa52016-08-25 15:09:01 +000057
Howard Hinnant3e519522010-05-11 19:42:16 +000058 if (ec)
Marshall Clowd437fa52016-08-25 15:09:01 +000059 __throw_system_error(ec, "thread::join failed");
Howard Hinnant3e519522010-05-11 19:42:16 +000060}
61
62void
63thread::detach()
64{
65 int ec = EINVAL;
66 if (__t_ != 0)
67 {
Asiri Rathnayakec7e42392016-05-06 14:06:29 +000068 ec = __libcpp_thread_detach(&__t_);
Howard Hinnant3e519522010-05-11 19:42:16 +000069 if (ec == 0)
70 __t_ = 0;
71 }
Marshall Clowd437fa52016-08-25 15:09:01 +000072
Howard Hinnant3e519522010-05-11 19:42:16 +000073 if (ec)
Marshall Clowd437fa52016-08-25 15:09:01 +000074 __throw_system_error(ec, "thread::detach failed");
Howard Hinnant3e519522010-05-11 19:42:16 +000075}
76
77unsigned
Howard Hinnant36101a5b2012-07-21 16:50:47 +000078thread::hardware_concurrency() _NOEXCEPT
Howard Hinnant3e519522010-05-11 19:42:16 +000079{
Howard Hinnant128ba712010-05-24 17:49:41 +000080#if defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantc2063662011-12-01 20:21:04 +000081 unsigned n;
Howard Hinnant3e519522010-05-11 19:42:16 +000082 int mib[2] = {CTL_HW, HW_NCPU};
83 std::size_t s = sizeof(n);
84 sysctl(mib, 2, &n, &s, 0, 0);
85 return n;
Howard Hinnant8bd17712013-06-30 00:14:43 +000086#elif defined(_SC_NPROCESSORS_ONLN)
Howard Hinnantd3673eb2012-08-02 18:17:49 +000087 long result = sysconf(_SC_NPROCESSORS_ONLN);
Howard Hinnant6b0101a2012-12-27 23:24:31 +000088 // sysconf returns -1 if the name is invalid, the option does not exist or
89 // does not have a definite limit.
Marshall Clow07492622013-02-07 18:48:09 +000090 // if sysconf returns some other negative number, we have no idea
91 // what is going on. Default to something safe.
92 if (result < 0)
Howard Hinnant6b0101a2012-12-27 23:24:31 +000093 return 0;
Marshall Clow63f700e2013-02-07 17:37:58 +000094 return static_cast<unsigned>(result);
Saleem Abdulrasoolb2826a12017-01-03 21:53:51 +000095#elif defined(_LIBCPP_WIN32API)
Howard Hinnantca693562013-07-02 17:53:48 +000096 SYSTEM_INFO info;
97 GetSystemInfo(&info);
98 return info.dwNumberOfProcessors;
Howard Hinnant940e2112010-08-22 00:03:27 +000099#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant128ba712010-05-24 17:49:41 +0000100 // TODO: grovel through /proc or check cpuid on x86 and similar
101 // instructions on other architectures.
Howard Hinnant80b84d42013-10-04 21:14:44 +0000102# if defined(_MSC_VER) && ! defined(__clang__)
103 _LIBCPP_WARNING("hardware_concurrency not yet implemented")
104# else
105# warning hardware_concurrency not yet implemented
106# endif
Howard Hinnant128ba712010-05-24 17:49:41 +0000107 return 0; // Means not computable [thread.thread.static]
Howard Hinnant940e2112010-08-22 00:03:27 +0000108#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant3e519522010-05-11 19:42:16 +0000109}
110
111namespace this_thread
112{
113
114void
115sleep_for(const chrono::nanoseconds& ns)
116{
117 using namespace chrono;
Howard Hinnantaad745a2012-08-30 19:14:33 +0000118 if (ns > nanoseconds::zero())
Howard Hinnant3e519522010-05-11 19:42:16 +0000119 {
Howard Hinnantaad745a2012-08-30 19:14:33 +0000120 seconds s = duration_cast<seconds>(ns);
Howard Hinnant3e519522010-05-11 19:42:16 +0000121 timespec ts;
Howard Hinnantaad745a2012-08-30 19:14:33 +0000122 typedef decltype(ts.tv_sec) ts_sec;
123 _LIBCPP_CONSTEXPR ts_sec ts_sec_max = numeric_limits<ts_sec>::max();
124 if (s.count() < ts_sec_max)
125 {
126 ts.tv_sec = static_cast<ts_sec>(s.count());
127 ts.tv_nsec = static_cast<decltype(ts.tv_nsec)>((ns-s).count());
128 }
129 else
130 {
131 ts.tv_sec = ts_sec_max;
132 ts.tv_nsec = giga::num - 1;
133 }
David Majnemer58a0a702014-06-04 19:43:20 +0000134
135 while (nanosleep(&ts, &ts) == -1 && errno == EINTR)
136 ;
Howard Hinnant3e519522010-05-11 19:42:16 +0000137 }
138}
139
140} // this_thread
141
Howard Hinnant10e4a482010-10-14 19:18:04 +0000142__thread_specific_ptr<__thread_struct>&
143__thread_local_data()
144{
145 static __thread_specific_ptr<__thread_struct> __p;
146 return __p;
147}
Howard Hinnant167fd102010-08-27 20:10:19 +0000148
149// __thread_struct_imp
150
Howard Hinnantc950e772010-12-17 14:46:43 +0000151template <class T>
152class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant167fd102010-08-27 20:10:19 +0000153{
Howard Hinnantc950e772010-12-17 14:46:43 +0000154public:
155 typedef T value_type;
156
157 T* allocate(size_t __n)
158 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
Joerg Sonnenberger634b9dd2014-01-04 17:43:00 +0000159 void deallocate(T* __p, size_t) {::operator delete(static_cast<void*>(__p));}
Howard Hinnantc950e772010-12-17 14:46:43 +0000160
161 size_t max_size() const {return size_t(~0) / sizeof(T);}
162};
163
164class _LIBCPP_HIDDEN __thread_struct_imp
165{
166 typedef vector<__assoc_sub_state*,
167 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
168 typedef vector<pair<condition_variable*, mutex*>,
169 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
Howard Hinnantb77c0c02010-09-03 21:46:37 +0000170
Howard Hinnant167fd102010-08-27 20:10:19 +0000171 _AsyncStates async_states_;
Howard Hinnantb77c0c02010-09-03 21:46:37 +0000172 _Notify notify_;
Howard Hinnant167fd102010-08-27 20:10:19 +0000173
174 __thread_struct_imp(const __thread_struct_imp&);
175 __thread_struct_imp& operator=(const __thread_struct_imp&);
176public:
177 __thread_struct_imp() {}
178 ~__thread_struct_imp();
179
Howard Hinnantb77c0c02010-09-03 21:46:37 +0000180 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant167fd102010-08-27 20:10:19 +0000181 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
182};
183
184__thread_struct_imp::~__thread_struct_imp()
185{
Howard Hinnantb77c0c02010-09-03 21:46:37 +0000186 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
187 i != e; ++i)
188 {
189 i->second->unlock();
190 i->first->notify_all();
191 }
Howard Hinnant167fd102010-08-27 20:10:19 +0000192 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
193 i != e; ++i)
194 {
195 (*i)->__make_ready();
196 (*i)->__release_shared();
197 }
198}
199
200void
Howard Hinnantb77c0c02010-09-03 21:46:37 +0000201__thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
202{
203 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
204}
205
206void
Howard Hinnant167fd102010-08-27 20:10:19 +0000207__thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
208{
209 async_states_.push_back(__s);
210 __s->__add_shared();
211}
212
213// __thread_struct
214
215__thread_struct::__thread_struct()
216 : __p_(new __thread_struct_imp)
217{
218}
219
220__thread_struct::~__thread_struct()
221{
222 delete __p_;
223}
224
225void
Howard Hinnantb77c0c02010-09-03 21:46:37 +0000226__thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
227{
228 __p_->notify_all_at_thread_exit(cv, m);
229}
230
231void
Howard Hinnant167fd102010-08-27 20:10:19 +0000232__thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
233{
234 __p_->__make_ready_at_thread_exit(__s);
235}
236
Howard Hinnant3e519522010-05-11 19:42:16 +0000237_LIBCPP_END_NAMESPACE_STD
Jonathan Roelofsb3fcc672014-09-05 19:45:05 +0000238
239#endif // !_LIBCPP_HAS_NO_THREADS