Warning: This file is not a C or C++ file. It does not have highlighting.
1 | // -*- C++ -*- |
---|---|
2 | //===----------------------------------------------------------------------===// |
3 | // |
4 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
5 | // See https://llvm.org/LICENSE.txt for license information. |
6 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
7 | // |
8 | //===----------------------------------------------------------------------===// |
9 | |
10 | #ifndef _LIBCPP___CXX03___THREAD_THREAD_H |
11 | #define _LIBCPP___CXX03___THREAD_THREAD_H |
12 | |
13 | #include <__cxx03/__condition_variable/condition_variable.h> |
14 | #include <__cxx03/__config> |
15 | #include <__cxx03/__exception/terminate.h> |
16 | #include <__cxx03/__functional/hash.h> |
17 | #include <__cxx03/__functional/unary_function.h> |
18 | #include <__cxx03/__memory/unique_ptr.h> |
19 | #include <__cxx03/__mutex/mutex.h> |
20 | #include <__cxx03/__system_error/system_error.h> |
21 | #include <__cxx03/__thread/id.h> |
22 | #include <__cxx03/__thread/support.h> |
23 | #include <__cxx03/__utility/forward.h> |
24 | |
25 | #ifndef _LIBCPP_HAS_NO_LOCALIZATION |
26 | # include <__cxx03/locale> |
27 | # include <__cxx03/sstream> |
28 | #endif |
29 | |
30 | #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) |
31 | # pragma GCC system_header |
32 | #endif |
33 | |
34 | _LIBCPP_PUSH_MACROS |
35 | #include <__cxx03/__undef_macros> |
36 | |
37 | _LIBCPP_BEGIN_NAMESPACE_STD |
38 | |
39 | template <class _Tp> |
40 | class __thread_specific_ptr; |
41 | class _LIBCPP_EXPORTED_FROM_ABI __thread_struct; |
42 | class _LIBCPP_HIDDEN __thread_struct_imp; |
43 | class __assoc_sub_state; |
44 | |
45 | _LIBCPP_EXPORTED_FROM_ABI __thread_specific_ptr<__thread_struct>& __thread_local_data(); |
46 | |
47 | class _LIBCPP_EXPORTED_FROM_ABI __thread_struct { |
48 | __thread_struct_imp* __p_; |
49 | |
50 | __thread_struct(const __thread_struct&); |
51 | __thread_struct& operator=(const __thread_struct&); |
52 | |
53 | public: |
54 | __thread_struct(); |
55 | ~__thread_struct(); |
56 | |
57 | void notify_all_at_thread_exit(condition_variable*, mutex*); |
58 | void __make_ready_at_thread_exit(__assoc_sub_state*); |
59 | }; |
60 | |
61 | template <class _Tp> |
62 | class __thread_specific_ptr { |
63 | __libcpp_tls_key __key_; |
64 | |
65 | // Only __thread_local_data() may construct a __thread_specific_ptr |
66 | // and only with _Tp == __thread_struct. |
67 | static_assert(is_same<_Tp, __thread_struct>::value, ""); |
68 | __thread_specific_ptr(); |
69 | friend _LIBCPP_EXPORTED_FROM_ABI __thread_specific_ptr<__thread_struct>& __thread_local_data(); |
70 | |
71 | _LIBCPP_HIDDEN static void _LIBCPP_TLS_DESTRUCTOR_CC __at_thread_exit(void*); |
72 | |
73 | public: |
74 | typedef _Tp* pointer; |
75 | |
76 | __thread_specific_ptr(const __thread_specific_ptr&) = delete; |
77 | __thread_specific_ptr& operator=(const __thread_specific_ptr&) = delete; |
78 | ~__thread_specific_ptr(); |
79 | |
80 | _LIBCPP_HIDE_FROM_ABI pointer get() const { return static_cast<_Tp*>(__libcpp_tls_get(__key_)); } |
81 | _LIBCPP_HIDE_FROM_ABI pointer operator*() const { return *get(); } |
82 | _LIBCPP_HIDE_FROM_ABI pointer operator->() const { return get(); } |
83 | void set_pointer(pointer __p); |
84 | }; |
85 | |
86 | template <class _Tp> |
87 | void _LIBCPP_TLS_DESTRUCTOR_CC __thread_specific_ptr<_Tp>::__at_thread_exit(void* __p) { |
88 | delete static_cast<pointer>(__p); |
89 | } |
90 | |
91 | template <class _Tp> |
92 | __thread_specific_ptr<_Tp>::__thread_specific_ptr() { |
93 | int __ec = __libcpp_tls_create(&__key_, &__thread_specific_ptr::__at_thread_exit); |
94 | if (__ec) |
95 | __throw_system_error(__ec, "__thread_specific_ptr construction failed"); |
96 | } |
97 | |
98 | template <class _Tp> |
99 | __thread_specific_ptr<_Tp>::~__thread_specific_ptr() { |
100 | // __thread_specific_ptr is only created with a static storage duration |
101 | // so this destructor is only invoked during program termination. Invoking |
102 | // pthread_key_delete(__key_) may prevent other threads from deleting their |
103 | // thread local data. For this reason we leak the key. |
104 | } |
105 | |
106 | template <class _Tp> |
107 | void __thread_specific_ptr<_Tp>::set_pointer(pointer __p) { |
108 | _LIBCPP_ASSERT_INTERNAL(get() == nullptr, "Attempting to overwrite thread local data"); |
109 | std::__libcpp_tls_set(__key_, __p); |
110 | } |
111 | |
112 | template <> |
113 | struct _LIBCPP_TEMPLATE_VIS hash<__thread_id> : public __unary_function<__thread_id, size_t> { |
114 | _LIBCPP_HIDE_FROM_ABI size_t operator()(__thread_id __v) const _NOEXCEPT { |
115 | return hash<__libcpp_thread_id>()(__v.__id_); |
116 | } |
117 | }; |
118 | |
119 | #ifndef _LIBCPP_HAS_NO_LOCALIZATION |
120 | template <class _CharT, class _Traits> |
121 | _LIBCPP_HIDE_FROM_ABI basic_ostream<_CharT, _Traits>& |
122 | operator<<(basic_ostream<_CharT, _Traits>& __os, __thread_id __id) { |
123 | // [thread.thread.id]/9 |
124 | // Effects: Inserts the text representation for charT of id into out. |
125 | // |
126 | // [thread.thread.id]/2 |
127 | // The text representation for the character type charT of an |
128 | // object of type thread::id is an unspecified sequence of charT |
129 | // such that, for two objects of type thread::id x and y, if |
130 | // x == y is true, the thread::id objects have the same text |
131 | // representation, and if x != y is true, the thread::id objects |
132 | // have distinct text representations. |
133 | // |
134 | // Since various flags in the output stream can affect how the |
135 | // thread id is represented (e.g. numpunct or showbase), we |
136 | // use a temporary stream instead and just output the thread |
137 | // id representation as a string. |
138 | |
139 | basic_ostringstream<_CharT, _Traits> __sstr; |
140 | __sstr.imbue(locale::classic()); |
141 | __sstr << __id.__id_; |
142 | return __os << __sstr.str(); |
143 | } |
144 | #endif // _LIBCPP_HAS_NO_LOCALIZATION |
145 | |
146 | class _LIBCPP_EXPORTED_FROM_ABI thread { |
147 | __libcpp_thread_t __t_; |
148 | |
149 | thread(const thread&); |
150 | thread& operator=(const thread&); |
151 | |
152 | public: |
153 | typedef __thread_id id; |
154 | typedef __libcpp_thread_t native_handle_type; |
155 | |
156 | _LIBCPP_HIDE_FROM_ABI thread() _NOEXCEPT : __t_(_LIBCPP_NULL_THREAD) {} |
157 | template <class _Fp> |
158 | _LIBCPP_METHOD_TEMPLATE_IMPLICIT_INSTANTIATION_VIS explicit thread(_Fp __f); |
159 | ~thread(); |
160 | |
161 | _LIBCPP_HIDE_FROM_ABI thread(thread&& __t) _NOEXCEPT : __t_(__t.__t_) { __t.__t_ = _LIBCPP_NULL_THREAD; } |
162 | |
163 | _LIBCPP_HIDE_FROM_ABI thread& operator=(thread&& __t) _NOEXCEPT { |
164 | if (!__libcpp_thread_isnull(&__t_)) |
165 | terminate(); |
166 | __t_ = __t.__t_; |
167 | __t.__t_ = _LIBCPP_NULL_THREAD; |
168 | return *this; |
169 | } |
170 | |
171 | _LIBCPP_HIDE_FROM_ABI void swap(thread& __t) _NOEXCEPT { std::swap(__t_, __t.__t_); } |
172 | |
173 | _LIBCPP_HIDE_FROM_ABI bool joinable() const _NOEXCEPT { return !__libcpp_thread_isnull(&__t_); } |
174 | void join(); |
175 | void detach(); |
176 | _LIBCPP_HIDE_FROM_ABI id get_id() const _NOEXCEPT { return __libcpp_thread_get_id(&__t_); } |
177 | _LIBCPP_HIDE_FROM_ABI native_handle_type native_handle() _NOEXCEPT { return __t_; } |
178 | |
179 | static unsigned hardware_concurrency() _NOEXCEPT; |
180 | }; |
181 | |
182 | template <class _Fp> |
183 | struct __thread_invoke_pair { |
184 | // This type is used to pass memory for thread local storage and a functor |
185 | // to a newly created thread because std::pair doesn't work with |
186 | // std::unique_ptr in C++03. |
187 | _LIBCPP_HIDE_FROM_ABI __thread_invoke_pair(_Fp& __f) : __tsp_(new __thread_struct), __fn_(__f) {} |
188 | unique_ptr<__thread_struct> __tsp_; |
189 | _Fp __fn_; |
190 | }; |
191 | |
192 | template <class _Fp> |
193 | _LIBCPP_HIDE_FROM_ABI void* __thread_proxy_cxx03(void* __vp) { |
194 | unique_ptr<_Fp> __p(static_cast<_Fp*>(__vp)); |
195 | __thread_local_data().set_pointer(__p->__tsp_.release()); |
196 | (__p->__fn_)(); |
197 | return nullptr; |
198 | } |
199 | |
200 | template <class _Fp> |
201 | thread::thread(_Fp __f) { |
202 | typedef __thread_invoke_pair<_Fp> _InvokePair; |
203 | typedef unique_ptr<_InvokePair> _PairPtr; |
204 | _PairPtr __pp(new _InvokePair(__f)); |
205 | int __ec = std::__libcpp_thread_create(&__t_, &__thread_proxy_cxx03<_InvokePair>, __pp.get()); |
206 | if (__ec == 0) |
207 | __pp.release(); |
208 | else |
209 | __throw_system_error(__ec, "thread constructor failed"); |
210 | } |
211 | |
212 | inline _LIBCPP_HIDE_FROM_ABI void swap(thread& __x, thread& __y) _NOEXCEPT { __x.swap(__y); } |
213 | |
214 | _LIBCPP_END_NAMESPACE_STD |
215 | |
216 | _LIBCPP_POP_MACROS |
217 | |
218 | #endif // _LIBCPP___CXX03___THREAD_THREAD_H |
219 |
Warning: This file is not a C or C++ file. It does not have highlighting.