blob: 467402b6b423abec1c8c479ce25967c4b5995ef3 [file] [log] [blame]
Howard Hinnantc51e1022010-05-11 19:42:16 +00001//===------------------------- thread.cpp----------------------------------===//
2//
Howard Hinnantc566dc32010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnantc51e1022010-05-11 19:42:16 +00004//
Howard Hinnantee11c312010-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 Hinnantc51e1022010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +000010#include "__config"
11#ifndef _LIBCPP_HAS_NO_THREADS
12
Howard Hinnantc51e1022010-05-11 19:42:16 +000013#include "thread"
14#include "exception"
Howard Hinnant3820f6b2010-08-27 20:10:19 +000015#include "vector"
16#include "future"
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000017#include "limits"
Howard Hinnantd031c582010-05-25 17:25:25 +000018#include <sys/types.h>
Ben Craig664df1f2016-01-29 13:53:23 +000019
20#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
21# include <sys/param.h>
22# if defined(BSD)
JF Bastien57daf9b2014-12-02 17:30:19 +000023# include <sys/sysctl.h>
Ben Craig664df1f2016-01-29 13:53:23 +000024# endif // defined(BSD)
25#endif // defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
26
27#if !defined(_WIN32)
JF Bastien57daf9b2014-12-02 17:30:19 +000028# include <unistd.h>
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000029#endif // !_WIN32
Howard Hinnantc51e1022010-05-11 19:42:16 +000030
Joerg Sonnenberger22939542013-05-17 21:16:18 +000031#if defined(__NetBSD__)
32#pragma weak pthread_create // Do not create libpthread dependency
33#endif
Howard Hinnant287fc502013-07-02 17:53:48 +000034#if defined(_WIN32)
35#include <windows.h>
36#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{
Howard Hinnant155c2af2010-05-24 17:49:41 +000042 if (__t_ != 0)
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;
50 if (__t_ != 0)
51 {
52 ec = __libcpp_thread_join(&__t_);
53 if (ec == 0)
54 __t_ = 0;
55 }
Howard Hinnant72f73582010-08-11 17:04:31 +000056#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000057 if (ec)
58 throw system_error(error_code(ec, system_category()), "thread::join failed");
Howard Hinnantffb308e2010-08-22 00:03:27 +000059#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000060}
61
62void
63thread::detach()
64{
65 int ec = EINVAL;
66 if (__t_ != 0)
67 {
Asiri Rathnayakefa2e2032016-05-06 14:06:29 +000068 ec = __libcpp_thread_detach(&__t_);
Howard Hinnantc51e1022010-05-11 19:42:16 +000069 if (ec == 0)
70 __t_ = 0;
71 }
Howard Hinnant72f73582010-08-11 17:04:31 +000072#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000073 if (ec)
74 throw system_error(error_code(ec, system_category()), "thread::detach failed");
Howard Hinnantffb308e2010-08-22 00:03:27 +000075#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000076}
77
78unsigned
Howard Hinnant4bd34702012-07-21 16:50:47 +000079thread::hardware_concurrency() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000080{
Howard Hinnant155c2af2010-05-24 17:49:41 +000081#if defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant28b24882011-12-01 20:21:04 +000082 unsigned n;
Howard Hinnantc51e1022010-05-11 19:42:16 +000083 int mib[2] = {CTL_HW, HW_NCPU};
84 std::size_t s = sizeof(n);
85 sysctl(mib, 2, &n, &s, 0, 0);
86 return n;
Howard Hinnant4a55d842013-06-30 00:14:43 +000087#elif defined(_SC_NPROCESSORS_ONLN)
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000088 long result = sysconf(_SC_NPROCESSORS_ONLN);
Howard Hinnant3f648332012-12-27 23:24:31 +000089 // sysconf returns -1 if the name is invalid, the option does not exist or
90 // does not have a definite limit.
Marshall Clowdcfde7a2013-02-07 18:48:09 +000091 // if sysconf returns some other negative number, we have no idea
92 // what is going on. Default to something safe.
93 if (result < 0)
Howard Hinnant3f648332012-12-27 23:24:31 +000094 return 0;
Marshall Clow84d47b92013-02-07 17:37:58 +000095 return static_cast<unsigned>(result);
Howard Hinnant287fc502013-07-02 17:53:48 +000096#elif defined(_WIN32)
97 SYSTEM_INFO info;
98 GetSystemInfo(&info);
99 return info.dwNumberOfProcessors;
Howard Hinnantffb308e2010-08-22 00:03:27 +0000100#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant155c2af2010-05-24 17:49:41 +0000101 // TODO: grovel through /proc or check cpuid on x86 and similar
102 // instructions on other architectures.
Howard Hinnant408927e2013-10-04 21:14:44 +0000103# if defined(_MSC_VER) && ! defined(__clang__)
104 _LIBCPP_WARNING("hardware_concurrency not yet implemented")
105# else
106# warning hardware_concurrency not yet implemented
107# endif
Howard Hinnant155c2af2010-05-24 17:49:41 +0000108 return 0; // Means not computable [thread.thread.static]
Howard Hinnantffb308e2010-08-22 00:03:27 +0000109#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantc51e1022010-05-11 19:42:16 +0000110}
111
112namespace this_thread
113{
114
115void
116sleep_for(const chrono::nanoseconds& ns)
117{
118 using namespace chrono;
Howard Hinnant9ce8dc52012-08-30 19:14:33 +0000119 if (ns > nanoseconds::zero())
Howard Hinnantc51e1022010-05-11 19:42:16 +0000120 {
Howard Hinnant9ce8dc52012-08-30 19:14:33 +0000121 seconds s = duration_cast<seconds>(ns);
Howard Hinnantc51e1022010-05-11 19:42:16 +0000122 timespec ts;
Howard Hinnant9ce8dc52012-08-30 19:14:33 +0000123 typedef decltype(ts.tv_sec) ts_sec;
124 _LIBCPP_CONSTEXPR ts_sec ts_sec_max = numeric_limits<ts_sec>::max();
125 if (s.count() < ts_sec_max)
126 {
127 ts.tv_sec = static_cast<ts_sec>(s.count());
128 ts.tv_nsec = static_cast<decltype(ts.tv_nsec)>((ns-s).count());
129 }
130 else
131 {
132 ts.tv_sec = ts_sec_max;
133 ts.tv_nsec = giga::num - 1;
134 }
David Majnemerad325592014-06-04 19:43:20 +0000135
136 while (nanosleep(&ts, &ts) == -1 && errno == EINTR)
137 ;
Howard Hinnantc51e1022010-05-11 19:42:16 +0000138 }
139}
140
141} // this_thread
142
Howard Hinnant15d55052010-10-14 19:18:04 +0000143__thread_specific_ptr<__thread_struct>&
144__thread_local_data()
145{
146 static __thread_specific_ptr<__thread_struct> __p;
147 return __p;
148}
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000149
150// __thread_struct_imp
151
Howard Hinnantcf823322010-12-17 14:46:43 +0000152template <class T>
153class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000154{
Howard Hinnantcf823322010-12-17 14:46:43 +0000155public:
156 typedef T value_type;
157
158 T* allocate(size_t __n)
159 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
Joerg Sonnenbergerc7655a22014-01-04 17:43:00 +0000160 void deallocate(T* __p, size_t) {::operator delete(static_cast<void*>(__p));}
Howard Hinnantcf823322010-12-17 14:46:43 +0000161
162 size_t max_size() const {return size_t(~0) / sizeof(T);}
163};
164
165class _LIBCPP_HIDDEN __thread_struct_imp
166{
167 typedef vector<__assoc_sub_state*,
168 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
169 typedef vector<pair<condition_variable*, mutex*>,
170 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
Howard Hinnante6a10852010-09-03 21:46:37 +0000171
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000172 _AsyncStates async_states_;
Howard Hinnante6a10852010-09-03 21:46:37 +0000173 _Notify notify_;
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000174
175 __thread_struct_imp(const __thread_struct_imp&);
176 __thread_struct_imp& operator=(const __thread_struct_imp&);
177public:
178 __thread_struct_imp() {}
179 ~__thread_struct_imp();
180
Howard Hinnante6a10852010-09-03 21:46:37 +0000181 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000182 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
183};
184
185__thread_struct_imp::~__thread_struct_imp()
186{
Howard Hinnante6a10852010-09-03 21:46:37 +0000187 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
188 i != e; ++i)
189 {
190 i->second->unlock();
191 i->first->notify_all();
192 }
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000193 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
194 i != e; ++i)
195 {
196 (*i)->__make_ready();
197 (*i)->__release_shared();
198 }
199}
200
201void
Howard Hinnante6a10852010-09-03 21:46:37 +0000202__thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
203{
204 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
205}
206
207void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000208__thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
209{
210 async_states_.push_back(__s);
211 __s->__add_shared();
212}
213
214// __thread_struct
215
216__thread_struct::__thread_struct()
217 : __p_(new __thread_struct_imp)
218{
219}
220
221__thread_struct::~__thread_struct()
222{
223 delete __p_;
224}
225
226void
Howard Hinnante6a10852010-09-03 21:46:37 +0000227__thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
228{
229 __p_->notify_all_at_thread_exit(cv, m);
230}
231
232void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000233__thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
234{
235 __p_->__make_ready_at_thread_exit(__s);
236}
237
Howard Hinnantc51e1022010-05-11 19:42:16 +0000238_LIBCPP_END_NAMESPACE_STD
Jonathan Roelofs39cb6bf2014-09-05 19:45:05 +0000239
240#endif // !_LIBCPP_HAS_NO_THREADS