1 | /* Copyright (C) 2005-2022 Free Software Foundation, Inc. |
2 | This file is part of the GNU C Library. |
3 | |
4 | The GNU C Library is free software; you can redistribute it and/or |
5 | modify it under the terms of the GNU Lesser General Public |
6 | License as published by the Free Software Foundation; either |
7 | version 2.1 of the License, or (at your option) any later version. |
8 | |
9 | The GNU C Library is distributed in the hope that it will be useful, |
10 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
11 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
12 | Lesser General Public License for more details. |
13 | |
14 | You should have received a copy of the GNU Lesser General Public |
15 | License along with the GNU C Library; if not, see |
16 | <https://www.gnu.org/licenses/>. */ |
17 | |
18 | #include <errno.h> |
19 | #include <pthread.h> |
20 | #include <stdio.h> |
21 | #include <stdlib.h> |
22 | |
23 | |
24 | static pthread_mutex_t m1; |
25 | static pthread_mutex_t m2; |
26 | static pthread_barrier_t b; |
27 | |
28 | |
29 | #ifndef LOCK |
30 | # define LOCK(m) pthread_mutex_lock (m) |
31 | #endif |
32 | |
33 | |
34 | static void * |
35 | tf (void *arg) |
36 | { |
37 | long int round = (long int) arg; |
38 | |
39 | if (pthread_setcancelstate (PTHREAD_CANCEL_ENABLE, NULL) != 0) |
40 | { |
41 | printf (format: "%ld: setcancelstate failed\n" , round); |
42 | exit (1); |
43 | } |
44 | |
45 | int e = LOCK (&m1); |
46 | if (e != 0) |
47 | { |
48 | printf (format: "%ld: child: mutex_lock m1 failed with error %d\n" , round, e); |
49 | exit (1); |
50 | } |
51 | |
52 | e = LOCK (&m2); |
53 | if (e != 0) |
54 | { |
55 | printf (format: "%ld: child: mutex_lock m2 failed with error %d\n" , round, e); |
56 | exit (1); |
57 | } |
58 | |
59 | e = pthread_barrier_wait (barrier: &b); |
60 | if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) |
61 | { |
62 | printf (format: "%ld: child: 1st barrier_wait failed\n" , round); |
63 | exit (1); |
64 | } |
65 | |
66 | e = pthread_barrier_wait (barrier: &b); |
67 | if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) |
68 | { |
69 | printf (format: "%ld: child: 2nd barrier_wait failed\n" , round); |
70 | exit (1); |
71 | } |
72 | |
73 | pthread_testcancel (); |
74 | |
75 | printf (format: "%ld: testcancel returned\n" , round); |
76 | exit (1); |
77 | } |
78 | |
79 | |
80 | static int |
81 | do_test (void) |
82 | { |
83 | #ifdef PREPARE_TMO |
84 | PREPARE_TMO; |
85 | #endif |
86 | |
87 | pthread_mutexattr_t a; |
88 | if (pthread_mutexattr_init (attr: &a) != 0) |
89 | { |
90 | puts (s: "mutexattr_init failed" ); |
91 | return 1; |
92 | } |
93 | if (pthread_mutexattr_setrobust (attr: &a, robustness: PTHREAD_MUTEX_ROBUST_NP) != 0) |
94 | { |
95 | puts (s: "mutexattr_setrobust failed" ); |
96 | return 1; |
97 | } |
98 | |
99 | #ifdef ENABLE_PI |
100 | if (pthread_mutexattr_setprotocol (attr: &a, protocol: PTHREAD_PRIO_INHERIT) != 0) |
101 | { |
102 | puts (s: "pthread_mutexattr_setprotocol failed" ); |
103 | return 1; |
104 | } |
105 | else |
106 | { |
107 | int e = pthread_mutex_init (mutex: &m1, mutexattr: &a); |
108 | if (e == ENOTSUP) |
109 | { |
110 | puts (s: "PI robust mutexes not supported" ); |
111 | return 0; |
112 | } |
113 | else if (e != 0) |
114 | { |
115 | puts (s: "mutex_init m1 failed" ); |
116 | return 1; |
117 | } |
118 | pthread_mutex_destroy (mutex: &m1); |
119 | } |
120 | #endif |
121 | |
122 | #ifndef NOT_CONSISTENT |
123 | if (pthread_mutex_init (mutex: &m1, mutexattr: &a) != 0) |
124 | { |
125 | puts (s: "mutex_init m1 failed" ); |
126 | return 1; |
127 | } |
128 | |
129 | if (pthread_mutex_init (mutex: &m2, mutexattr: &a) != 0) |
130 | { |
131 | puts (s: "mutex_init m2 failed" ); |
132 | return 1; |
133 | } |
134 | #endif |
135 | |
136 | if (pthread_barrier_init (barrier: &b, NULL, count: 2) != 0) |
137 | { |
138 | puts (s: "barrier_init failed" ); |
139 | return 1; |
140 | } |
141 | |
142 | for (long int round = 1; round < 5; ++round) |
143 | { |
144 | #ifdef NOT_CONSISTENT |
145 | if (pthread_mutex_init (&m1 , &a) != 0) |
146 | { |
147 | puts ("mutex_init m1 failed" ); |
148 | return 1; |
149 | } |
150 | if (pthread_mutex_init (&m2 , &a) != 0) |
151 | { |
152 | puts ("mutex_init m2 failed" ); |
153 | return 1; |
154 | } |
155 | #endif |
156 | |
157 | pthread_t th; |
158 | if (pthread_create (newthread: &th, NULL, start_routine: tf, arg: (void *) round) != 0) |
159 | { |
160 | printf (format: "%ld: create failed\n" , round); |
161 | return 1; |
162 | } |
163 | |
164 | int e = pthread_barrier_wait (barrier: &b); |
165 | if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) |
166 | { |
167 | printf (format: "%ld: parent: 1st barrier_wait failed\n" , round); |
168 | return 1; |
169 | } |
170 | |
171 | if (pthread_cancel (th: th) != 0) |
172 | { |
173 | printf (format: "%ld: cancel failed\n" , round); |
174 | return 1; |
175 | } |
176 | |
177 | e = pthread_barrier_wait (barrier: &b); |
178 | if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) |
179 | { |
180 | printf (format: "%ld: parent: 2nd barrier_wait failed\n" , round); |
181 | return 1; |
182 | } |
183 | |
184 | #ifndef AFTER_JOIN |
185 | if (round & 1) |
186 | #endif |
187 | { |
188 | void *res; |
189 | if (pthread_join (th: th, thread_return: &res) != 0) |
190 | { |
191 | printf (format: "%ld: join failed\n" , round); |
192 | return 1; |
193 | } |
194 | if (res != PTHREAD_CANCELED) |
195 | { |
196 | printf (format: "%ld: thread not canceled\n" , round); |
197 | return 1; |
198 | } |
199 | } |
200 | |
201 | e = LOCK (&m1); |
202 | if (e == 0) |
203 | { |
204 | printf (format: "%ld: parent: mutex_lock m1 succeeded\n" , round); |
205 | return 1; |
206 | } |
207 | if (e != EOWNERDEAD) |
208 | { |
209 | printf (format: "%ld: parent: mutex_lock m1 returned wrong code\n" , round); |
210 | return 1; |
211 | } |
212 | |
213 | e = LOCK (&m2); |
214 | if (e == 0) |
215 | { |
216 | printf (format: "%ld: parent: mutex_lock m2 succeeded\n" , round); |
217 | return 1; |
218 | } |
219 | if (e != EOWNERDEAD) |
220 | { |
221 | printf (format: "%ld: parent: mutex_lock m2 returned wrong code\n" , round); |
222 | return 1; |
223 | } |
224 | |
225 | #ifndef AFTER_JOIN |
226 | if ((round & 1) == 0) |
227 | { |
228 | void *res; |
229 | if (pthread_join (th: th, thread_return: &res) != 0) |
230 | { |
231 | printf (format: "%ld: join failed\n" , round); |
232 | return 1; |
233 | } |
234 | if (res != PTHREAD_CANCELED) |
235 | { |
236 | printf (format: "%ld: thread not canceled\n" , round); |
237 | return 1; |
238 | } |
239 | } |
240 | #endif |
241 | |
242 | #ifndef NOT_CONSISTENT |
243 | e = pthread_mutex_consistent (mutex: &m1); |
244 | if (e != 0) |
245 | { |
246 | printf (format: "%ld: mutex_consistent m1 failed with error %d\n" , round, e); |
247 | return 1; |
248 | } |
249 | |
250 | e = pthread_mutex_consistent (mutex: &m2); |
251 | if (e != 0) |
252 | { |
253 | printf (format: "%ld: mutex_consistent m2 failed with error %d\n" , round, e); |
254 | return 1; |
255 | } |
256 | #endif |
257 | |
258 | e = pthread_mutex_unlock (mutex: &m1); |
259 | if (e != 0) |
260 | { |
261 | printf (format: "%ld: mutex_unlock m1 failed with %d\n" , round, e); |
262 | return 1; |
263 | } |
264 | |
265 | e = pthread_mutex_unlock (mutex: &m2); |
266 | if (e != 0) |
267 | { |
268 | printf (format: "%ld: mutex_unlock m2 failed with %d\n" , round, e); |
269 | return 1; |
270 | } |
271 | |
272 | #ifdef NOT_CONSISTENT |
273 | e = LOCK (&m1); |
274 | if (e == 0) |
275 | { |
276 | printf ("%ld: locking inconsistent mutex m1 succeeded\n" , round); |
277 | return 1; |
278 | } |
279 | if (e != ENOTRECOVERABLE) |
280 | { |
281 | printf ("%ld: locking inconsistent mutex m1 failed with error %d\n" , |
282 | round, e); |
283 | return 1; |
284 | } |
285 | |
286 | if (pthread_mutex_destroy (&m1) != 0) |
287 | { |
288 | puts ("mutex_destroy m1 failed" ); |
289 | return 1; |
290 | } |
291 | |
292 | e = LOCK (&m2); |
293 | if (e == 0) |
294 | { |
295 | printf ("%ld: locking inconsistent mutex m2 succeeded\n" , round); |
296 | return 1; |
297 | } |
298 | if (e != ENOTRECOVERABLE) |
299 | { |
300 | printf ("%ld: locking inconsistent mutex m2 failed with error %d\n" , |
301 | round, e); |
302 | return 1; |
303 | } |
304 | |
305 | if (pthread_mutex_destroy (&m2) != 0) |
306 | { |
307 | puts ("mutex_destroy m2 failed" ); |
308 | return 1; |
309 | } |
310 | #endif |
311 | } |
312 | |
313 | #ifndef NOT_CONSISTENT |
314 | if (pthread_mutex_destroy (mutex: &m1) != 0) |
315 | { |
316 | puts (s: "mutex_destroy m1 failed" ); |
317 | return 1; |
318 | } |
319 | |
320 | if (pthread_mutex_destroy (mutex: &m2) != 0) |
321 | { |
322 | puts (s: "mutex_destroy m2 failed" ); |
323 | return 1; |
324 | } |
325 | #endif |
326 | |
327 | if (pthread_mutexattr_destroy (attr: &a) != 0) |
328 | { |
329 | puts (s: "mutexattr_destroy failed" ); |
330 | return 1; |
331 | } |
332 | |
333 | return 0; |
334 | } |
335 | |
336 | #define TEST_FUNCTION do_test () |
337 | #include "../test-skeleton.c" |
338 | |