blob: 184d81e6b2f7690cf1d2be5c4386af016b5f313a [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
10#include "thread"
11#include "exception"
Howard Hinnant3820f6b2010-08-27 20:10:19 +000012#include "vector"
13#include "future"
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000014#include "limits"
Howard Hinnantd031c582010-05-25 17:25:25 +000015#include <sys/types.h>
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000016#if !_WIN32
17#if !__sun__ && !__linux__
Howard Hinnantc51e1022010-05-11 19:42:16 +000018#include <sys/sysctl.h>
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000019#else
20#include <unistd.h>
21#endif // !__sun__ && !__linux__
22#endif // !_WIN32
Howard Hinnantc51e1022010-05-11 19:42:16 +000023
24_LIBCPP_BEGIN_NAMESPACE_STD
25
26thread::~thread()
27{
Howard Hinnant155c2af2010-05-24 17:49:41 +000028 if (__t_ != 0)
Howard Hinnantc51e1022010-05-11 19:42:16 +000029 terminate();
30}
31
32void
33thread::join()
34{
35 int ec = pthread_join(__t_, 0);
Howard Hinnant72f73582010-08-11 17:04:31 +000036#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000037 if (ec)
38 throw system_error(error_code(ec, system_category()), "thread::join failed");
Howard Hinnantffb308e2010-08-22 00:03:27 +000039#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnant155c2af2010-05-24 17:49:41 +000040 __t_ = 0;
Howard Hinnantc51e1022010-05-11 19:42:16 +000041}
42
43void
44thread::detach()
45{
46 int ec = EINVAL;
47 if (__t_ != 0)
48 {
49 ec = pthread_detach(__t_);
50 if (ec == 0)
51 __t_ = 0;
52 }
Howard Hinnant72f73582010-08-11 17:04:31 +000053#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000054 if (ec)
55 throw system_error(error_code(ec, system_category()), "thread::detach failed");
Howard Hinnantffb308e2010-08-22 00:03:27 +000056#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantc51e1022010-05-11 19:42:16 +000057}
58
59unsigned
Howard Hinnant4bd34702012-07-21 16:50:47 +000060thread::hardware_concurrency() _NOEXCEPT
Howard Hinnantc51e1022010-05-11 19:42:16 +000061{
Howard Hinnant155c2af2010-05-24 17:49:41 +000062#if defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant28b24882011-12-01 20:21:04 +000063 unsigned n;
Howard Hinnantc51e1022010-05-11 19:42:16 +000064 int mib[2] = {CTL_HW, HW_NCPU};
65 std::size_t s = sizeof(n);
66 sysctl(mib, 2, &n, &s, 0, 0);
67 return n;
Howard Hinnant55c3c5f2012-08-02 18:17:49 +000068#elif defined(_POSIX_C_SOURCE) && (_POSIX_C_SOURCE >= 200112L) && defined(_SC_NPROCESSORS_ONLN)
69 long result = sysconf(_SC_NPROCESSORS_ONLN);
Howard Hinnant3f648332012-12-27 23:24:31 +000070 // sysconf returns -1 if the name is invalid, the option does not exist or
71 // does not have a definite limit.
72 if (result == -1)
73 return 0;
Marshall Clow84d47b92013-02-07 17:37:58 +000074 return static_cast<unsigned>(result);
Howard Hinnantffb308e2010-08-22 00:03:27 +000075#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant155c2af2010-05-24 17:49:41 +000076 // TODO: grovel through /proc or check cpuid on x86 and similar
77 // instructions on other architectures.
78 return 0; // Means not computable [thread.thread.static]
Howard Hinnantffb308e2010-08-22 00:03:27 +000079#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantc51e1022010-05-11 19:42:16 +000080}
81
82namespace this_thread
83{
84
85void
86sleep_for(const chrono::nanoseconds& ns)
87{
88 using namespace chrono;
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000089 if (ns > nanoseconds::zero())
Howard Hinnantc51e1022010-05-11 19:42:16 +000090 {
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000091 seconds s = duration_cast<seconds>(ns);
Howard Hinnantc51e1022010-05-11 19:42:16 +000092 timespec ts;
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000093 typedef decltype(ts.tv_sec) ts_sec;
94 _LIBCPP_CONSTEXPR ts_sec ts_sec_max = numeric_limits<ts_sec>::max();
95 if (s.count() < ts_sec_max)
96 {
97 ts.tv_sec = static_cast<ts_sec>(s.count());
98 ts.tv_nsec = static_cast<decltype(ts.tv_nsec)>((ns-s).count());
99 }
100 else
101 {
102 ts.tv_sec = ts_sec_max;
103 ts.tv_nsec = giga::num - 1;
104 }
Howard Hinnantc51e1022010-05-11 19:42:16 +0000105 nanosleep(&ts, 0);
106 }
107}
108
109} // this_thread
110
Howard Hinnant15d55052010-10-14 19:18:04 +0000111__thread_specific_ptr<__thread_struct>&
112__thread_local_data()
113{
114 static __thread_specific_ptr<__thread_struct> __p;
115 return __p;
116}
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000117
118// __thread_struct_imp
119
Howard Hinnantcf823322010-12-17 14:46:43 +0000120template <class T>
121class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000122{
Howard Hinnantcf823322010-12-17 14:46:43 +0000123public:
124 typedef T value_type;
125
126 T* allocate(size_t __n)
127 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
128 void deallocate(T* __p, size_t) {::operator delete((void*)__p);}
129
130 size_t max_size() const {return size_t(~0) / sizeof(T);}
131};
132
133class _LIBCPP_HIDDEN __thread_struct_imp
134{
135 typedef vector<__assoc_sub_state*,
136 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
137 typedef vector<pair<condition_variable*, mutex*>,
138 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
Howard Hinnante6a10852010-09-03 21:46:37 +0000139
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000140 _AsyncStates async_states_;
Howard Hinnante6a10852010-09-03 21:46:37 +0000141 _Notify notify_;
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000142
143 __thread_struct_imp(const __thread_struct_imp&);
144 __thread_struct_imp& operator=(const __thread_struct_imp&);
145public:
146 __thread_struct_imp() {}
147 ~__thread_struct_imp();
148
Howard Hinnante6a10852010-09-03 21:46:37 +0000149 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000150 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
151};
152
153__thread_struct_imp::~__thread_struct_imp()
154{
Howard Hinnante6a10852010-09-03 21:46:37 +0000155 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
156 i != e; ++i)
157 {
158 i->second->unlock();
159 i->first->notify_all();
160 }
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000161 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
162 i != e; ++i)
163 {
164 (*i)->__make_ready();
165 (*i)->__release_shared();
166 }
167}
168
169void
Howard Hinnante6a10852010-09-03 21:46:37 +0000170__thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
171{
172 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
173}
174
175void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000176__thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
177{
178 async_states_.push_back(__s);
179 __s->__add_shared();
180}
181
182// __thread_struct
183
184__thread_struct::__thread_struct()
185 : __p_(new __thread_struct_imp)
186{
187}
188
189__thread_struct::~__thread_struct()
190{
191 delete __p_;
192}
193
194void
Howard Hinnante6a10852010-09-03 21:46:37 +0000195__thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
196{
197 __p_->notify_all_at_thread_exit(cv, m);
198}
199
200void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000201__thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
202{
203 __p_->__make_ready_at_thread_exit(__s);
204}
205
Howard Hinnantc51e1022010-05-11 19:42:16 +0000206_LIBCPP_END_NAMESPACE_STD