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>&lt;atomic&gt; 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>&lt;atomic&gt; 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>