blob: 447eca7b0193fe98b57e94da57b4972b451c5abf [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.
Marshall Clowdcfde7a2013-02-07 18:48:09 +000072 // if sysconf returns some other negative number, we have no idea
73 // what is going on. Default to something safe.
74 if (result < 0)
Howard Hinnant3f648332012-12-27 23:24:31 +000075 return 0;
Marshall Clow84d47b92013-02-07 17:37:58 +000076 return static_cast<unsigned>(result);
Howard Hinnantffb308e2010-08-22 00:03:27 +000077#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnant155c2af2010-05-24 17:49:41 +000078 // TODO: grovel through /proc or check cpuid on x86 and similar
79 // instructions on other architectures.
80 return 0; // Means not computable [thread.thread.static]
Howard Hinnantffb308e2010-08-22 00:03:27 +000081#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantc51e1022010-05-11 19:42:16 +000082}
83
84namespace this_thread
85{
86
87void
88sleep_for(const chrono::nanoseconds& ns)
89{
90 using namespace chrono;
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000091 if (ns > nanoseconds::zero())
Howard Hinnantc51e1022010-05-11 19:42:16 +000092 {
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000093 seconds s = duration_cast<seconds>(ns);
Howard Hinnantc51e1022010-05-11 19:42:16 +000094 timespec ts;
Howard Hinnant9ce8dc52012-08-30 19:14:33 +000095 typedef decltype(ts.tv_sec) ts_sec;
96 _LIBCPP_CONSTEXPR ts_sec ts_sec_max = numeric_limits<ts_sec>::max();
97 if (s.count() < ts_sec_max)
98 {
99 ts.tv_sec = static_cast<ts_sec>(s.count());
100 ts.tv_nsec = static_cast<decltype(ts.tv_nsec)>((ns-s).count());
101 }
102 else
103 {
104 ts.tv_sec = ts_sec_max;
105 ts.tv_nsec = giga::num - 1;
106 }
Howard Hinnantc51e1022010-05-11 19:42:16 +0000107 nanosleep(&ts, 0);
108 }
109}
110
111} // this_thread
112
Howard Hinnant15d55052010-10-14 19:18:04 +0000113__thread_specific_ptr<__thread_struct>&
114__thread_local_data()
115{
116 static __thread_specific_ptr<__thread_struct> __p;
117 return __p;
118}
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000119
120// __thread_struct_imp
121
Howard Hinnantcf823322010-12-17 14:46:43 +0000122template <class T>
123class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000124{
Howard Hinnantcf823322010-12-17 14:46:43 +0000125public:
126 typedef T value_type;
127
128 T* allocate(size_t __n)
129 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
130 void deallocate(T* __p, size_t) {::operator delete((void*)__p);}
131
132 size_t max_size() const {return size_t(~0) / sizeof(T);}
133};
134
135class _LIBCPP_HIDDEN __thread_struct_imp
136{
137 typedef vector<__assoc_sub_state*,
138 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
139 typedef vector<pair<condition_variable*, mutex*>,
140 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
Howard Hinnante6a10852010-09-03 21:46:37 +0000141
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000142 _AsyncStates async_states_;
Howard Hinnante6a10852010-09-03 21:46:37 +0000143 _Notify notify_;
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000144
145 __thread_struct_imp(const __thread_struct_imp&);
146 __thread_struct_imp& operator=(const __thread_struct_imp&);
147public:
148 __thread_struct_imp() {}
149 ~__thread_struct_imp();
150
Howard Hinnante6a10852010-09-03 21:46:37 +0000151 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000152 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
153};
154
155__thread_struct_imp::~__thread_struct_imp()
156{
Howard Hinnante6a10852010-09-03 21:46:37 +0000157 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
158 i != e; ++i)
159 {
160 i->second->unlock();
161 i->first->notify_all();
162 }
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000163 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
164 i != e; ++i)
165 {
166 (*i)->__make_ready();
167 (*i)->__release_shared();
168 }
169}
170
171void
Howard Hinnante6a10852010-09-03 21:46:37 +0000172__thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
173{
174 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
175}
176
177void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000178__thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
179{
180 async_states_.push_back(__s);
181 __s->__add_shared();
182}
183
184// __thread_struct
185
186__thread_struct::__thread_struct()
187 : __p_(new __thread_struct_imp)
188{
189}
190
191__thread_struct::~__thread_struct()
192{
193 delete __p_;
194}
195
196void
Howard Hinnante6a10852010-09-03 21:46:37 +0000197__thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
198{
199 __p_->notify_all_at_thread_exit(cv, m);
200}
201
202void
Howard Hinnant3820f6b2010-08-27 20:10:19 +0000203__thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
204{
205 __p_->__make_ready_at_thread_exit(__s);
206}
207
Howard Hinnantc51e1022010-05-11 19:42:16 +0000208_LIBCPP_END_NAMESPACE_STD