blob: 7a06b296d44cf1e40fd9d2a946ad0245d80f099c [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001//===------------------------- thread.cpp----------------------------------===//
2//
Howard Hinnantf5256e12010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00004//
Howard Hinnantb64f8b02010-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 Hinnantbc8d3f92010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10#include "thread"
11#include "exception"
Howard Hinnant47499b12010-08-27 20:10:19 +000012#include "vector"
13#include "future"
Howard Hinnantcf115d22012-08-30 19:14:33 +000014#include "limits"
Howard Hinnant0bfe8802010-05-25 17:25:25 +000015#include <sys/types.h>
Marshall Clowa22d2ad2013-03-18 17:04:29 +000016#if !defined(_WIN32)
Marshall Clow53e27632013-03-18 19:34:07 +000017#if !defined(__sun__) && !defined(__linux__)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000018#include <sys/sysctl.h>
Howard Hinnant403f91a2012-08-02 18:17:49 +000019#else
20#include <unistd.h>
21#endif // !__sun__ && !__linux__
22#endif // !_WIN32
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000023
24_LIBCPP_BEGIN_NAMESPACE_STD
25
26thread::~thread()
27{
Howard Hinnantadff4892010-05-24 17:49:41 +000028 if (__t_ != 0)
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000029 terminate();
30}
31
32void
33thread::join()
34{
35 int ec = pthread_join(__t_, 0);
Howard Hinnantd4444702010-08-11 17:04:31 +000036#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000037 if (ec)
38 throw system_error(error_code(ec, system_category()), "thread::join failed");
Howard Hinnant16e6e1d2010-08-22 00:03:27 +000039#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantadff4892010-05-24 17:49:41 +000040 __t_ = 0;
Howard Hinnantbc8d3f92010-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 Hinnantd4444702010-08-11 17:04:31 +000053#ifndef _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000054 if (ec)
55 throw system_error(error_code(ec, system_category()), "thread::detach failed");
Howard Hinnant16e6e1d2010-08-22 00:03:27 +000056#endif // _LIBCPP_NO_EXCEPTIONS
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000057}
58
59unsigned
Howard Hinnant6e1d8512012-07-21 16:50:47 +000060thread::hardware_concurrency() _NOEXCEPT
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000061{
Howard Hinnantadff4892010-05-24 17:49:41 +000062#if defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantec3773c2011-12-01 20:21:04 +000063 unsigned n;
Howard Hinnantbc8d3f92010-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 Hinnant403f91a2012-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 Hinnant5f767b72012-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 Clowb18165e2013-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 Hinnant5f767b72012-12-27 23:24:31 +000075 return 0;
Marshall Clowd854ce62013-02-07 17:37:58 +000076 return static_cast<unsigned>(result);
Howard Hinnant16e6e1d2010-08-22 00:03:27 +000077#else // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantadff4892010-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 Hinnant16e6e1d2010-08-22 00:03:27 +000081#endif // defined(CTL_HW) && defined(HW_NCPU)
Howard Hinnantbc8d3f92010-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 Hinnantcf115d22012-08-30 19:14:33 +000091 if (ns > nanoseconds::zero())
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000092 {
Howard Hinnantcf115d22012-08-30 19:14:33 +000093 seconds s = duration_cast<seconds>(ns);
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000094 timespec ts;
Howard Hinnantcf115d22012-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 Hinnantbc8d3f92010-05-11 19:42:16 +0000107 nanosleep(&ts, 0);
108 }
109}
110
111} // this_thread
112
Howard Hinnant5306d682010-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 Hinnant47499b12010-08-27 20:10:19 +0000119
120// __thread_struct_imp
121
Howard Hinnant2d72b1e2010-12-17 14:46:43 +0000122template <class T>
123class _LIBCPP_HIDDEN __hidden_allocator
Howard Hinnant47499b12010-08-27 20:10:19 +0000124{
Howard Hinnant2d72b1e2010-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 Hinnante6e4d012010-09-03 21:46:37 +0000141
Howard Hinnant47499b12010-08-27 20:10:19 +0000142 _AsyncStates async_states_;
Howard Hinnante6e4d012010-09-03 21:46:37 +0000143 _Notify notify_;
Howard Hinnant47499b12010-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 Hinnante6e4d012010-09-03 21:46:37 +0000151 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
Howard Hinnant47499b12010-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 Hinnante6e4d012010-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 Hinnant47499b12010-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 Hinnante6e4d012010-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 Hinnant47499b12010-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 Hinnante6e4d012010-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 Hinnant47499b12010-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 Hinnantbc8d3f92010-05-11 19:42:16 +0000208_LIBCPP_END_NAMESPACE_STD