annotate libcxx/src/thread.cpp @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents 79ff65ed7e25
children 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===------------------------- thread.cpp----------------------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
9 #include <__config>
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
10
150
anatofuz
parents:
diff changeset
11 #ifndef _LIBCPP_HAS_NO_THREADS
anatofuz
parents:
diff changeset
12
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
13 #include <exception>
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
14 #include <future>
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
15 #include <limits>
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
16 #include <thread>
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
17 #include <vector>
150
anatofuz
parents:
diff changeset
18
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
19 #if __has_include(<unistd.h>)
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
20 # include <unistd.h> // for sysconf
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
21 #endif
150
anatofuz
parents:
diff changeset
22
anatofuz
parents:
diff changeset
23 #if defined(__NetBSD__)
anatofuz
parents:
diff changeset
24 #pragma weak pthread_create // Do not create libpthread dependency
anatofuz
parents:
diff changeset
25 #endif
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 #if defined(_LIBCPP_WIN32API)
anatofuz
parents:
diff changeset
28 #include <windows.h>
anatofuz
parents:
diff changeset
29 #endif
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 #if defined(__ELF__) && defined(_LIBCPP_LINK_PTHREAD_LIB)
anatofuz
parents:
diff changeset
32 #pragma comment(lib, "pthread")
anatofuz
parents:
diff changeset
33 #endif
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 _LIBCPP_BEGIN_NAMESPACE_STD
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 thread::~thread()
anatofuz
parents:
diff changeset
38 {
anatofuz
parents:
diff changeset
39 if (!__libcpp_thread_isnull(&__t_))
anatofuz
parents:
diff changeset
40 terminate();
anatofuz
parents:
diff changeset
41 }
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 void
anatofuz
parents:
diff changeset
44 thread::join()
anatofuz
parents:
diff changeset
45 {
anatofuz
parents:
diff changeset
46 int ec = EINVAL;
anatofuz
parents:
diff changeset
47 if (!__libcpp_thread_isnull(&__t_))
anatofuz
parents:
diff changeset
48 {
anatofuz
parents:
diff changeset
49 ec = __libcpp_thread_join(&__t_);
anatofuz
parents:
diff changeset
50 if (ec == 0)
anatofuz
parents:
diff changeset
51 __t_ = _LIBCPP_NULL_THREAD;
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 if (ec)
anatofuz
parents:
diff changeset
55 __throw_system_error(ec, "thread::join failed");
anatofuz
parents:
diff changeset
56 }
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 void
anatofuz
parents:
diff changeset
59 thread::detach()
anatofuz
parents:
diff changeset
60 {
anatofuz
parents:
diff changeset
61 int ec = EINVAL;
anatofuz
parents:
diff changeset
62 if (!__libcpp_thread_isnull(&__t_))
anatofuz
parents:
diff changeset
63 {
anatofuz
parents:
diff changeset
64 ec = __libcpp_thread_detach(&__t_);
anatofuz
parents:
diff changeset
65 if (ec == 0)
anatofuz
parents:
diff changeset
66 __t_ = _LIBCPP_NULL_THREAD;
anatofuz
parents:
diff changeset
67 }
anatofuz
parents:
diff changeset
68
anatofuz
parents:
diff changeset
69 if (ec)
anatofuz
parents:
diff changeset
70 __throw_system_error(ec, "thread::detach failed");
anatofuz
parents:
diff changeset
71 }
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 unsigned
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
74 thread::hardware_concurrency() noexcept
150
anatofuz
parents:
diff changeset
75 {
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
76 #if defined(_SC_NPROCESSORS_ONLN)
150
anatofuz
parents:
diff changeset
77 long result = sysconf(_SC_NPROCESSORS_ONLN);
anatofuz
parents:
diff changeset
78 // sysconf returns -1 if the name is invalid, the option does not exist or
anatofuz
parents:
diff changeset
79 // does not have a definite limit.
anatofuz
parents:
diff changeset
80 // if sysconf returns some other negative number, we have no idea
anatofuz
parents:
diff changeset
81 // what is going on. Default to something safe.
anatofuz
parents:
diff changeset
82 if (result < 0)
anatofuz
parents:
diff changeset
83 return 0;
anatofuz
parents:
diff changeset
84 return static_cast<unsigned>(result);
anatofuz
parents:
diff changeset
85 #elif defined(_LIBCPP_WIN32API)
anatofuz
parents:
diff changeset
86 SYSTEM_INFO info;
anatofuz
parents:
diff changeset
87 GetSystemInfo(&info);
anatofuz
parents:
diff changeset
88 return info.dwNumberOfProcessors;
anatofuz
parents:
diff changeset
89 #else // defined(CTL_HW) && defined(HW_NCPU)
anatofuz
parents:
diff changeset
90 // TODO: grovel through /proc or check cpuid on x86 and similar
anatofuz
parents:
diff changeset
91 // instructions on other architectures.
anatofuz
parents:
diff changeset
92 # if defined(_LIBCPP_WARNING)
anatofuz
parents:
diff changeset
93 _LIBCPP_WARNING("hardware_concurrency not yet implemented")
anatofuz
parents:
diff changeset
94 # else
anatofuz
parents:
diff changeset
95 # warning hardware_concurrency not yet implemented
anatofuz
parents:
diff changeset
96 # endif
anatofuz
parents:
diff changeset
97 return 0; // Means not computable [thread.thread.static]
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
98 #endif // defined(CTL_HW) && defined(HW_NCPU)
150
anatofuz
parents:
diff changeset
99 }
anatofuz
parents:
diff changeset
100
anatofuz
parents:
diff changeset
101 namespace this_thread
anatofuz
parents:
diff changeset
102 {
anatofuz
parents:
diff changeset
103
anatofuz
parents:
diff changeset
104 void
anatofuz
parents:
diff changeset
105 sleep_for(const chrono::nanoseconds& ns)
anatofuz
parents:
diff changeset
106 {
anatofuz
parents:
diff changeset
107 if (ns > chrono::nanoseconds::zero())
anatofuz
parents:
diff changeset
108 {
anatofuz
parents:
diff changeset
109 __libcpp_thread_sleep_for(ns);
anatofuz
parents:
diff changeset
110 }
anatofuz
parents:
diff changeset
111 }
anatofuz
parents:
diff changeset
112
anatofuz
parents:
diff changeset
113 } // this_thread
anatofuz
parents:
diff changeset
114
anatofuz
parents:
diff changeset
115 __thread_specific_ptr<__thread_struct>&
anatofuz
parents:
diff changeset
116 __thread_local_data()
anatofuz
parents:
diff changeset
117 {
236
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
118 // Even though __thread_specific_ptr's destructor doesn't actually destroy
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
119 // anything (see comments there), we can't call it at all because threads may
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
120 // outlive the static variable and calling its destructor means accessing an
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
121 // object outside of its lifetime, which is UB.
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
122 alignas(__thread_specific_ptr<__thread_struct>) static char __b[sizeof(__thread_specific_ptr<__thread_struct>)];
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
123 static __thread_specific_ptr<__thread_struct>* __p = new (__b) __thread_specific_ptr<__thread_struct>();
c4bab56944e8 LLVM 16
kono
parents: 221
diff changeset
124 return *__p;
150
anatofuz
parents:
diff changeset
125 }
anatofuz
parents:
diff changeset
126
anatofuz
parents:
diff changeset
127 // __thread_struct_imp
anatofuz
parents:
diff changeset
128
anatofuz
parents:
diff changeset
129 template <class T>
anatofuz
parents:
diff changeset
130 class _LIBCPP_HIDDEN __hidden_allocator
anatofuz
parents:
diff changeset
131 {
anatofuz
parents:
diff changeset
132 public:
anatofuz
parents:
diff changeset
133 typedef T value_type;
anatofuz
parents:
diff changeset
134
anatofuz
parents:
diff changeset
135 T* allocate(size_t __n)
anatofuz
parents:
diff changeset
136 {return static_cast<T*>(::operator new(__n * sizeof(T)));}
anatofuz
parents:
diff changeset
137 void deallocate(T* __p, size_t) {::operator delete(static_cast<void*>(__p));}
anatofuz
parents:
diff changeset
138
anatofuz
parents:
diff changeset
139 size_t max_size() const {return size_t(~0) / sizeof(T);}
anatofuz
parents:
diff changeset
140 };
anatofuz
parents:
diff changeset
141
anatofuz
parents:
diff changeset
142 class _LIBCPP_HIDDEN __thread_struct_imp
anatofuz
parents:
diff changeset
143 {
anatofuz
parents:
diff changeset
144 typedef vector<__assoc_sub_state*,
anatofuz
parents:
diff changeset
145 __hidden_allocator<__assoc_sub_state*> > _AsyncStates;
anatofuz
parents:
diff changeset
146 typedef vector<pair<condition_variable*, mutex*>,
anatofuz
parents:
diff changeset
147 __hidden_allocator<pair<condition_variable*, mutex*> > > _Notify;
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149 _AsyncStates async_states_;
anatofuz
parents:
diff changeset
150 _Notify notify_;
anatofuz
parents:
diff changeset
151
anatofuz
parents:
diff changeset
152 __thread_struct_imp(const __thread_struct_imp&);
anatofuz
parents:
diff changeset
153 __thread_struct_imp& operator=(const __thread_struct_imp&);
anatofuz
parents:
diff changeset
154 public:
anatofuz
parents:
diff changeset
155 __thread_struct_imp() {}
anatofuz
parents:
diff changeset
156 ~__thread_struct_imp();
anatofuz
parents:
diff changeset
157
anatofuz
parents:
diff changeset
158 void notify_all_at_thread_exit(condition_variable* cv, mutex* m);
anatofuz
parents:
diff changeset
159 void __make_ready_at_thread_exit(__assoc_sub_state* __s);
anatofuz
parents:
diff changeset
160 };
anatofuz
parents:
diff changeset
161
anatofuz
parents:
diff changeset
162 __thread_struct_imp::~__thread_struct_imp()
anatofuz
parents:
diff changeset
163 {
anatofuz
parents:
diff changeset
164 for (_Notify::iterator i = notify_.begin(), e = notify_.end();
anatofuz
parents:
diff changeset
165 i != e; ++i)
anatofuz
parents:
diff changeset
166 {
anatofuz
parents:
diff changeset
167 i->second->unlock();
anatofuz
parents:
diff changeset
168 i->first->notify_all();
anatofuz
parents:
diff changeset
169 }
anatofuz
parents:
diff changeset
170 for (_AsyncStates::iterator i = async_states_.begin(), e = async_states_.end();
anatofuz
parents:
diff changeset
171 i != e; ++i)
anatofuz
parents:
diff changeset
172 {
anatofuz
parents:
diff changeset
173 (*i)->__make_ready();
anatofuz
parents:
diff changeset
174 (*i)->__release_shared();
anatofuz
parents:
diff changeset
175 }
anatofuz
parents:
diff changeset
176 }
anatofuz
parents:
diff changeset
177
anatofuz
parents:
diff changeset
178 void
anatofuz
parents:
diff changeset
179 __thread_struct_imp::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
anatofuz
parents:
diff changeset
180 {
anatofuz
parents:
diff changeset
181 notify_.push_back(pair<condition_variable*, mutex*>(cv, m));
anatofuz
parents:
diff changeset
182 }
anatofuz
parents:
diff changeset
183
anatofuz
parents:
diff changeset
184 void
anatofuz
parents:
diff changeset
185 __thread_struct_imp::__make_ready_at_thread_exit(__assoc_sub_state* __s)
anatofuz
parents:
diff changeset
186 {
anatofuz
parents:
diff changeset
187 async_states_.push_back(__s);
anatofuz
parents:
diff changeset
188 __s->__add_shared();
anatofuz
parents:
diff changeset
189 }
anatofuz
parents:
diff changeset
190
anatofuz
parents:
diff changeset
191 // __thread_struct
anatofuz
parents:
diff changeset
192
anatofuz
parents:
diff changeset
193 __thread_struct::__thread_struct()
anatofuz
parents:
diff changeset
194 : __p_(new __thread_struct_imp)
anatofuz
parents:
diff changeset
195 {
anatofuz
parents:
diff changeset
196 }
anatofuz
parents:
diff changeset
197
anatofuz
parents:
diff changeset
198 __thread_struct::~__thread_struct()
anatofuz
parents:
diff changeset
199 {
anatofuz
parents:
diff changeset
200 delete __p_;
anatofuz
parents:
diff changeset
201 }
anatofuz
parents:
diff changeset
202
anatofuz
parents:
diff changeset
203 void
anatofuz
parents:
diff changeset
204 __thread_struct::notify_all_at_thread_exit(condition_variable* cv, mutex* m)
anatofuz
parents:
diff changeset
205 {
anatofuz
parents:
diff changeset
206 __p_->notify_all_at_thread_exit(cv, m);
anatofuz
parents:
diff changeset
207 }
anatofuz
parents:
diff changeset
208
anatofuz
parents:
diff changeset
209 void
anatofuz
parents:
diff changeset
210 __thread_struct::__make_ready_at_thread_exit(__assoc_sub_state* __s)
anatofuz
parents:
diff changeset
211 {
anatofuz
parents:
diff changeset
212 __p_->__make_ready_at_thread_exit(__s);
anatofuz
parents:
diff changeset
213 }
anatofuz
parents:
diff changeset
214
anatofuz
parents:
diff changeset
215 _LIBCPP_END_NAMESPACE_STD
anatofuz
parents:
diff changeset
216
anatofuz
parents:
diff changeset
217 #endif // !_LIBCPP_HAS_NO_THREADS