Mercurial > hg > CbC > CbC_llvm
comparison libcxx/www/atomic_design_b.html @ 150:1d019706d866
LLVM10
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 15:10:13 +0900 |
parents | |
children | 2e18cbf3894f |
comparison
equal
deleted
inserted
replaced
147:c2174574ed3a | 150:1d019706d866 |
---|---|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" | |
2 "http://www.w3.org/TR/html4/strict.dtd"> | |
3 <!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ --> | |
4 <html> | |
5 <head> | |
6 <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> | |
7 <title><atomic> design</title> | |
8 <link type="text/css" rel="stylesheet" href="menu.css"> | |
9 <link type="text/css" rel="stylesheet" href="content.css"> | |
10 </head> | |
11 | |
12 <body> | |
13 <div id="menu"> | |
14 <div> | |
15 <a href="https://llvm.org/">LLVM Home</a> | |
16 </div> | |
17 | |
18 <div class="submenu"> | |
19 <label>libc++ Info</label> | |
20 <a href="/index.html">About</a> | |
21 </div> | |
22 | |
23 <div class="submenu"> | |
24 <label>Quick Links</label> | |
25 <a href="https://lists.llvm.org/mailman/listinfo/cfe-dev">cfe-dev</a> | |
26 <a href="https://lists.llvm.org/mailman/listinfo/cfe-commits">cfe-commits</a> | |
27 <a href="https://bugs.llvm.org/">Bug Reports</a> | |
28 <a href="https://github.com/llvm/llvm-project/tree/master/libcxx/">Browse Sources</a> | |
29 </div> | |
30 </div> | |
31 | |
32 <div id="content"> | |
33 <!--*********************************************************************--> | |
34 <h1><atomic> design</h1> | |
35 <!--*********************************************************************--> | |
36 | |
37 <p> | |
38 This is a variation of design A which puts the burden on the library to arrange | |
39 for the correct manipulation of the run time memory ordering arguments, and only | |
40 calls the compiler for well-defined memory orderings. I think of this design as | |
41 the worst of A and C, instead of the best of A and C. But I offer it as an | |
42 option in the spirit of completeness. | |
43 </p> | |
44 | |
45 <blockquote><pre> | |
46 <font color="#C80000">// type must be trivially copyable</font> | |
47 bool __atomic_is_lock_free(const type* atomic_obj); | |
48 | |
49 <font color="#C80000">// type must be trivially copyable</font> | |
50 type __atomic_load_relaxed(const volatile type* atomic_obj); | |
51 type __atomic_load_consume(const volatile type* atomic_obj); | |
52 type __atomic_load_acquire(const volatile type* atomic_obj); | |
53 type __atomic_load_seq_cst(const volatile type* atomic_obj); | |
54 | |
55 <font color="#C80000">// type must be trivially copyable</font> | |
56 type __atomic_store_relaxed(volatile type* atomic_obj, type desired); | |
57 type __atomic_store_release(volatile type* atomic_obj, type desired); | |
58 type __atomic_store_seq_cst(volatile type* atomic_obj, type desired); | |
59 | |
60 <font color="#C80000">// type must be trivially copyable</font> | |
61 type __atomic_exchange_relaxed(volatile type* atomic_obj, type desired); | |
62 type __atomic_exchange_consume(volatile type* atomic_obj, type desired); | |
63 type __atomic_exchange_acquire(volatile type* atomic_obj, type desired); | |
64 type __atomic_exchange_release(volatile type* atomic_obj, type desired); | |
65 type __atomic_exchange_acq_rel(volatile type* atomic_obj, type desired); | |
66 type __atomic_exchange_seq_cst(volatile type* atomic_obj, type desired); | |
67 | |
68 <font color="#C80000">// type must be trivially copyable</font> | |
69 bool __atomic_compare_exchange_strong_relaxed_relaxed(volatile type* atomic_obj, | |
70 type* expected, | |
71 type desired); | |
72 bool __atomic_compare_exchange_strong_consume_relaxed(volatile type* atomic_obj, | |
73 type* expected, | |
74 type desired); | |
75 bool __atomic_compare_exchange_strong_consume_consume(volatile type* atomic_obj, | |
76 type* expected, | |
77 type desired); | |
78 bool __atomic_compare_exchange_strong_acquire_relaxed(volatile type* atomic_obj, | |
79 type* expected, | |
80 type desired); | |
81 bool __atomic_compare_exchange_strong_acquire_consume(volatile type* atomic_obj, | |
82 type* expected, | |
83 type desired); | |
84 bool __atomic_compare_exchange_strong_acquire_acquire(volatile type* atomic_obj, | |
85 type* expected, | |
86 type desired); | |
87 bool __atomic_compare_exchange_strong_release_relaxed(volatile type* atomic_obj, | |
88 type* expected, | |
89 type desired); | |
90 bool __atomic_compare_exchange_strong_release_consume(volatile type* atomic_obj, | |
91 type* expected, | |
92 type desired); | |
93 bool __atomic_compare_exchange_strong_release_acquire(volatile type* atomic_obj, | |
94 type* expected, | |
95 type desired); | |
96 bool __atomic_compare_exchange_strong_acq_rel_relaxed(volatile type* atomic_obj, | |
97 type* expected, | |
98 type desired); | |
99 bool __atomic_compare_exchange_strong_acq_rel_consume(volatile type* atomic_obj, | |
100 type* expected, | |
101 type desired); | |
102 bool __atomic_compare_exchange_strong_acq_rel_acquire(volatile type* atomic_obj, | |
103 type* expected, | |
104 type desired); | |
105 bool __atomic_compare_exchange_strong_seq_cst_relaxed(volatile type* atomic_obj, | |
106 type* expected, | |
107 type desired); | |
108 bool __atomic_compare_exchange_strong_seq_cst_consume(volatile type* atomic_obj, | |
109 type* expected, | |
110 type desired); | |
111 bool __atomic_compare_exchange_strong_seq_cst_acquire(volatile type* atomic_obj, | |
112 type* expected, | |
113 type desired); | |
114 bool __atomic_compare_exchange_strong_seq_cst_seq_cst(volatile type* atomic_obj, | |
115 type* expected, | |
116 type desired); | |
117 | |
118 <font color="#C80000">// type must be trivially copyable</font> | |
119 bool __atomic_compare_exchange_weak_relaxed_relaxed(volatile type* atomic_obj, | |
120 type* expected, | |
121 type desired); | |
122 bool __atomic_compare_exchange_weak_consume_relaxed(volatile type* atomic_obj, | |
123 type* expected, | |
124 type desired); | |
125 bool __atomic_compare_exchange_weak_consume_consume(volatile type* atomic_obj, | |
126 type* expected, | |
127 type desired); | |
128 bool __atomic_compare_exchange_weak_acquire_relaxed(volatile type* atomic_obj, | |
129 type* expected, | |
130 type desired); | |
131 bool __atomic_compare_exchange_weak_acquire_consume(volatile type* atomic_obj, | |
132 type* expected, | |
133 type desired); | |
134 bool __atomic_compare_exchange_weak_acquire_acquire(volatile type* atomic_obj, | |
135 type* expected, | |
136 type desired); | |
137 bool __atomic_compare_exchange_weak_release_relaxed(volatile type* atomic_obj, | |
138 type* expected, | |
139 type desired); | |
140 bool __atomic_compare_exchange_weak_release_consume(volatile type* atomic_obj, | |
141 type* expected, | |
142 type desired); | |
143 bool __atomic_compare_exchange_weak_release_acquire(volatile type* atomic_obj, | |
144 type* expected, | |
145 type desired); | |
146 bool __atomic_compare_exchange_weak_acq_rel_relaxed(volatile type* atomic_obj, | |
147 type* expected, | |
148 type desired); | |
149 bool __atomic_compare_exchange_weak_acq_rel_consume(volatile type* atomic_obj, | |
150 type* expected, | |
151 type desired); | |
152 bool __atomic_compare_exchange_weak_acq_rel_acquire(volatile type* atomic_obj, | |
153 type* expected, | |
154 type desired); | |
155 bool __atomic_compare_exchange_weak_seq_cst_relaxed(volatile type* atomic_obj, | |
156 type* expected, | |
157 type desired); | |
158 bool __atomic_compare_exchange_weak_seq_cst_consume(volatile type* atomic_obj, | |
159 type* expected, | |
160 type desired); | |
161 bool __atomic_compare_exchange_weak_seq_cst_acquire(volatile type* atomic_obj, | |
162 type* expected, | |
163 type desired); | |
164 bool __atomic_compare_exchange_weak_seq_cst_seq_cst(volatile type* atomic_obj, | |
165 type* expected, | |
166 type desired); | |
167 | |
168 <font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font> | |
169 <font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font> | |
170 <font color="#C80000">// char16_t, char32_t, wchar_t</font> | |
171 type __atomic_fetch_add_relaxed(volatile type* atomic_obj, type operand); | |
172 type __atomic_fetch_add_consume(volatile type* atomic_obj, type operand); | |
173 type __atomic_fetch_add_acquire(volatile type* atomic_obj, type operand); | |
174 type __atomic_fetch_add_release(volatile type* atomic_obj, type operand); | |
175 type __atomic_fetch_add_acq_rel(volatile type* atomic_obj, type operand); | |
176 type __atomic_fetch_add_seq_cst(volatile type* atomic_obj, type operand); | |
177 | |
178 <font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font> | |
179 <font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font> | |
180 <font color="#C80000">// char16_t, char32_t, wchar_t</font> | |
181 type __atomic_fetch_sub_relaxed(volatile type* atomic_obj, type operand); | |
182 type __atomic_fetch_sub_consume(volatile type* atomic_obj, type operand); | |
183 type __atomic_fetch_sub_acquire(volatile type* atomic_obj, type operand); | |
184 type __atomic_fetch_sub_release(volatile type* atomic_obj, type operand); | |
185 type __atomic_fetch_sub_acq_rel(volatile type* atomic_obj, type operand); | |
186 type __atomic_fetch_sub_seq_cst(volatile type* atomic_obj, type operand); | |
187 | |
188 <font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font> | |
189 <font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font> | |
190 <font color="#C80000">// char16_t, char32_t, wchar_t</font> | |
191 type __atomic_fetch_and_relaxed(volatile type* atomic_obj, type operand); | |
192 type __atomic_fetch_and_consume(volatile type* atomic_obj, type operand); | |
193 type __atomic_fetch_and_acquire(volatile type* atomic_obj, type operand); | |
194 type __atomic_fetch_and_release(volatile type* atomic_obj, type operand); | |
195 type __atomic_fetch_and_acq_rel(volatile type* atomic_obj, type operand); | |
196 type __atomic_fetch_and_seq_cst(volatile type* atomic_obj, type operand); | |
197 | |
198 <font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font> | |
199 <font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font> | |
200 <font color="#C80000">// char16_t, char32_t, wchar_t</font> | |
201 type __atomic_fetch_or_relaxed(volatile type* atomic_obj, type operand); | |
202 type __atomic_fetch_or_consume(volatile type* atomic_obj, type operand); | |
203 type __atomic_fetch_or_acquire(volatile type* atomic_obj, type operand); | |
204 type __atomic_fetch_or_release(volatile type* atomic_obj, type operand); | |
205 type __atomic_fetch_or_acq_rel(volatile type* atomic_obj, type operand); | |
206 type __atomic_fetch_or_seq_cst(volatile type* atomic_obj, type operand); | |
207 | |
208 <font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font> | |
209 <font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font> | |
210 <font color="#C80000">// char16_t, char32_t, wchar_t</font> | |
211 type __atomic_fetch_xor_relaxed(volatile type* atomic_obj, type operand); | |
212 type __atomic_fetch_xor_consume(volatile type* atomic_obj, type operand); | |
213 type __atomic_fetch_xor_acquire(volatile type* atomic_obj, type operand); | |
214 type __atomic_fetch_xor_release(volatile type* atomic_obj, type operand); | |
215 type __atomic_fetch_xor_acq_rel(volatile type* atomic_obj, type operand); | |
216 type __atomic_fetch_xor_seq_cst(volatile type* atomic_obj, type operand); | |
217 | |
218 void* __atomic_fetch_add_relaxed(void* volatile* atomic_obj, ptrdiff_t operand); | |
219 void* __atomic_fetch_add_consume(void* volatile* atomic_obj, ptrdiff_t operand); | |
220 void* __atomic_fetch_add_acquire(void* volatile* atomic_obj, ptrdiff_t operand); | |
221 void* __atomic_fetch_add_release(void* volatile* atomic_obj, ptrdiff_t operand); | |
222 void* __atomic_fetch_add_acq_rel(void* volatile* atomic_obj, ptrdiff_t operand); | |
223 void* __atomic_fetch_add_seq_cst(void* volatile* atomic_obj, ptrdiff_t operand); | |
224 | |
225 void* __atomic_fetch_sub_relaxed(void* volatile* atomic_obj, ptrdiff_t operand); | |
226 void* __atomic_fetch_sub_consume(void* volatile* atomic_obj, ptrdiff_t operand); | |
227 void* __atomic_fetch_sub_acquire(void* volatile* atomic_obj, ptrdiff_t operand); | |
228 void* __atomic_fetch_sub_release(void* volatile* atomic_obj, ptrdiff_t operand); | |
229 void* __atomic_fetch_sub_acq_rel(void* volatile* atomic_obj, ptrdiff_t operand); | |
230 void* __atomic_fetch_sub_seq_cst(void* volatile* atomic_obj, ptrdiff_t operand); | |
231 | |
232 void __atomic_thread_fence_relaxed(); | |
233 void __atomic_thread_fence_consume(); | |
234 void __atomic_thread_fence_acquire(); | |
235 void __atomic_thread_fence_release(); | |
236 void __atomic_thread_fence_acq_rel(); | |
237 void __atomic_thread_fence_seq_cst(); | |
238 | |
239 void __atomic_signal_fence_relaxed(); | |
240 void __atomic_signal_fence_consume(); | |
241 void __atomic_signal_fence_acquire(); | |
242 void __atomic_signal_fence_release(); | |
243 void __atomic_signal_fence_acq_rel(); | |
244 void __atomic_signal_fence_seq_cst(); | |
245 </pre></blockquote> | |
246 | |
247 </div> | |
248 </body> | |
249 </html> |