| xf.li | bdd93d5 | 2023-05-12 07:10:14 -0700 | [diff] [blame] | 1 | /* Copyright (C) 2003-2016 Free Software Foundation, Inc. | 
 | 2 |    This file is part of the GNU C Library. | 
 | 3 |    Contributed by Ulrich Drepper <drepper@redhat.com>, 2003. | 
 | 4 |  | 
 | 5 |    The GNU C Library is free software; you can redistribute it and/or | 
 | 6 |    modify it under the terms of the GNU Lesser General Public | 
 | 7 |    License as published by the Free Software Foundation; either | 
 | 8 |    version 2.1 of the License, or (at your option) any later version. | 
 | 9 |  | 
 | 10 |    The GNU C Library is distributed in the hope that it will be useful, | 
 | 11 |    but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 | 12 |    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU | 
 | 13 |    Lesser General Public License for more details. | 
 | 14 |  | 
 | 15 |    You should have received a copy of the GNU Lesser General Public | 
 | 16 |    License along with the GNU C Library; if not, see | 
 | 17 |    <http://www.gnu.org/licenses/>.  */ | 
 | 18 |  | 
 | 19 | /* This test checks behavior not required by POSIX.  */ | 
 | 20 | #include <errno.h> | 
 | 21 | #include <pthread.h> | 
 | 22 | #include <stdbool.h> | 
 | 23 | #include <stdio.h> | 
 | 24 | #include <stdlib.h> | 
 | 25 |  | 
 | 26 |  | 
 | 27 | static pthread_mutex_t *m; | 
 | 28 | static pthread_barrier_t b; | 
 | 29 | static pthread_cond_t c; | 
 | 30 | static bool done; | 
 | 31 |  | 
 | 32 |  | 
 | 33 | static void | 
 | 34 | cl (void *arg) | 
 | 35 | { | 
 | 36 |   if (pthread_mutex_unlock (m) != 0) | 
 | 37 |     { | 
 | 38 |       puts ("cl: mutex_unlocked failed"); | 
 | 39 |       exit (1); | 
 | 40 |     } | 
 | 41 | } | 
 | 42 |  | 
 | 43 |  | 
 | 44 | static void * | 
 | 45 | tf (void *arg) | 
 | 46 | { | 
 | 47 |   if (pthread_mutex_lock (m) != 0) | 
 | 48 |     { | 
 | 49 |       puts ("tf: mutex_lock failed"); | 
 | 50 |       return (void *) 1l; | 
 | 51 |     } | 
 | 52 |  | 
 | 53 |   int e = pthread_barrier_wait (&b); | 
 | 54 |   if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) | 
 | 55 |     { | 
 | 56 |       puts ("barrier_wait failed"); | 
 | 57 |       return (void *) 1l; | 
 | 58 |     } | 
 | 59 |  | 
 | 60 |   if (arg == NULL) | 
 | 61 |     do | 
 | 62 |       if (pthread_cond_wait (&c, m) != 0) | 
 | 63 | 	{ | 
 | 64 | 	  puts ("tf: cond_wait failed"); | 
 | 65 | 	  return (void *) 1l; | 
 | 66 | 	} | 
 | 67 |     while (! done); | 
 | 68 |   else | 
 | 69 |     do | 
 | 70 |       { | 
 | 71 | 	pthread_cleanup_push (cl, NULL); | 
 | 72 |  | 
 | 73 | 	if (pthread_cond_wait (&c, m) != 0) | 
 | 74 | 	  { | 
 | 75 | 	    puts ("tf: cond_wait failed"); | 
 | 76 | 	    return (void *) 1l; | 
 | 77 | 	  } | 
 | 78 |  | 
 | 79 | 	pthread_cleanup_pop (0); | 
 | 80 |       } | 
 | 81 |     while (! done); | 
 | 82 |  | 
 | 83 |   if (pthread_mutex_unlock (m) != 0) | 
 | 84 |     { | 
 | 85 |       puts ("tf: mutex_unlock failed"); | 
 | 86 |       return (void *) 1l; | 
 | 87 |     } | 
 | 88 |  | 
 | 89 |   return NULL; | 
 | 90 | } | 
 | 91 |  | 
 | 92 |  | 
 | 93 | static int | 
 | 94 | check_type (const char *mas, pthread_mutexattr_t *ma) | 
 | 95 | { | 
 | 96 |   int e; | 
 | 97 |  | 
 | 98 |   e = pthread_mutex_init (m, ma); | 
 | 99 |   if (e != 0) | 
 | 100 |     { | 
 | 101 | #ifdef ENABLE_PI | 
 | 102 |       if (e == ENOTSUP) | 
 | 103 | 	{ | 
 | 104 | 	  puts ("PI mutexes unsupported"); | 
 | 105 | 	  return 0; | 
 | 106 | 	} | 
 | 107 | #endif | 
 | 108 |       printf ("1st mutex_init failed for %s\n", mas); | 
 | 109 |       return 1; | 
 | 110 |     } | 
 | 111 |  | 
 | 112 |   if (pthread_mutex_destroy (m) != 0) | 
 | 113 |     { | 
 | 114 |       printf ("immediate mutex_destroy failed for %s\n", mas); | 
 | 115 |       return 1; | 
 | 116 |     } | 
 | 117 |  | 
 | 118 |   if (pthread_mutex_init (m, ma) != 0) | 
 | 119 |     { | 
 | 120 |       printf ("2nd mutex_init failed for %s\n", mas); | 
 | 121 |       return 1; | 
 | 122 |     } | 
 | 123 |  | 
 | 124 |   if (pthread_mutex_lock (m) != 0) | 
 | 125 |     { | 
 | 126 |       printf ("1st mutex_lock failed for %s\n", mas); | 
 | 127 |       return 1; | 
 | 128 |     } | 
 | 129 |  | 
 | 130 |   /* Elided mutexes don't fail destroy. If elision is not explicitly disabled | 
 | 131 |      we don't know, so can also not check this.  */ | 
 | 132 | #ifndef ENABLE_LOCK_ELISION | 
 | 133 |   e = pthread_mutex_destroy (m); | 
 | 134 |   if (e == 0) | 
 | 135 |     { | 
 | 136 |       printf ("mutex_destroy of self-locked mutex succeeded for %s\n", mas); | 
 | 137 |       return 1; | 
 | 138 |     } | 
 | 139 |   if (e != EBUSY) | 
 | 140 |     { | 
 | 141 |       printf ("mutex_destroy of self-locked mutex did not return EBUSY %s\n", | 
 | 142 | 	      mas); | 
 | 143 |       return 1; | 
 | 144 |     } | 
 | 145 | #endif | 
 | 146 |  | 
 | 147 |   if (pthread_mutex_unlock (m) != 0) | 
 | 148 |     { | 
 | 149 |       printf ("1st mutex_unlock failed for %s\n", mas); | 
 | 150 |       return 1; | 
 | 151 |     } | 
 | 152 |  | 
 | 153 |   if (pthread_mutex_trylock (m) != 0) | 
 | 154 |     { | 
 | 155 |       printf ("mutex_trylock failed for %s\n", mas); | 
 | 156 |       return 1; | 
 | 157 |     } | 
 | 158 |  | 
 | 159 |   /* Elided mutexes don't fail destroy.  */ | 
 | 160 | #ifndef ENABLE_LOCK_ELISION | 
 | 161 |   e = pthread_mutex_destroy (m); | 
 | 162 |   if (e == 0) | 
 | 163 |     { | 
 | 164 |       printf ("mutex_destroy of self-trylocked mutex succeeded for %s\n", mas); | 
 | 165 |       return 1; | 
 | 166 |     } | 
 | 167 |   if (e != EBUSY) | 
 | 168 |     { | 
 | 169 |       printf ("\ | 
 | 170 | mutex_destroy of self-trylocked mutex did not return EBUSY %s\n", | 
 | 171 | 	      mas); | 
 | 172 |       return 1; | 
 | 173 |     } | 
 | 174 | #endif | 
 | 175 |  | 
 | 176 |   if (pthread_mutex_unlock (m) != 0) | 
 | 177 |     { | 
 | 178 |       printf ("2nd mutex_unlock failed for %s\n", mas); | 
 | 179 |       return 1; | 
 | 180 |     } | 
 | 181 |  | 
 | 182 |   pthread_t th; | 
 | 183 |   if (pthread_create (&th, NULL, tf, NULL) != 0) | 
 | 184 |     { | 
 | 185 |       puts ("1st create failed"); | 
 | 186 |       return 1; | 
 | 187 |     } | 
 | 188 |   done = false; | 
 | 189 |  | 
 | 190 |   e = pthread_barrier_wait (&b); | 
 | 191 |   if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) | 
 | 192 |     { | 
 | 193 |       puts ("1st barrier_wait failed"); | 
 | 194 |       return 1; | 
 | 195 |     } | 
 | 196 |  | 
 | 197 |   if (pthread_mutex_lock (m) != 0) | 
 | 198 |     { | 
 | 199 |       printf ("2nd mutex_lock failed for %s\n", mas); | 
 | 200 |       return 1; | 
 | 201 |     } | 
 | 202 |  | 
 | 203 |   if (pthread_mutex_unlock (m) != 0) | 
 | 204 |     { | 
 | 205 |       printf ("3rd mutex_unlock failed for %s\n", mas); | 
 | 206 |       return 1; | 
 | 207 |     } | 
 | 208 |  | 
 | 209 |   /* Elided mutexes don't fail destroy.  */ | 
 | 210 | #ifndef ENABLE_LOCK_ELISION | 
 | 211 |   e = pthread_mutex_destroy (m); | 
 | 212 |   if (e == 0) | 
 | 213 |     { | 
 | 214 |       printf ("mutex_destroy of condvar-used mutex succeeded for %s\n", mas); | 
 | 215 |       return 1; | 
 | 216 |     } | 
 | 217 |   if (e != EBUSY) | 
 | 218 |     { | 
 | 219 |       printf ("\ | 
 | 220 | mutex_destroy of condvar-used mutex did not return EBUSY for %s\n", mas); | 
 | 221 |       return 1; | 
 | 222 |     } | 
 | 223 | #endif | 
 | 224 |  | 
 | 225 |   done = true; | 
 | 226 |   if (pthread_cond_signal (&c) != 0) | 
 | 227 |     { | 
 | 228 |       puts ("cond_signal failed"); | 
 | 229 |       return 1; | 
 | 230 |     } | 
 | 231 |  | 
 | 232 |   void *r; | 
 | 233 |   if (pthread_join (th, &r) != 0) | 
 | 234 |     { | 
 | 235 |       puts ("join failed"); | 
 | 236 |       return 1; | 
 | 237 |     } | 
 | 238 |   if (r != NULL) | 
 | 239 |     { | 
 | 240 |       puts ("thread didn't return NULL"); | 
 | 241 |       return 1; | 
 | 242 |     } | 
 | 243 |  | 
 | 244 |   if (pthread_mutex_destroy (m) != 0) | 
 | 245 |     { | 
 | 246 |       printf ("mutex_destroy after condvar-use failed for %s\n", mas); | 
 | 247 |       return 1; | 
 | 248 |     } | 
 | 249 |  | 
 | 250 |   if (pthread_mutex_init (m, ma) != 0) | 
 | 251 |     { | 
 | 252 |       printf ("3rd mutex_init failed for %s\n", mas); | 
 | 253 |       return 1; | 
 | 254 |     } | 
 | 255 |  | 
 | 256 |   if (pthread_create (&th, NULL, tf, (void *) 1) != 0) | 
 | 257 |     { | 
 | 258 |       puts ("2nd create failed"); | 
 | 259 |       return 1; | 
 | 260 |     } | 
 | 261 |   done = false; | 
 | 262 |  | 
 | 263 |   e = pthread_barrier_wait (&b); | 
 | 264 |   if (e != 0 && e != PTHREAD_BARRIER_SERIAL_THREAD) | 
 | 265 |     { | 
 | 266 |       puts ("2nd barrier_wait failed"); | 
 | 267 |       return 1; | 
 | 268 |     } | 
 | 269 |  | 
 | 270 |   if (pthread_mutex_lock (m) != 0) | 
 | 271 |     { | 
 | 272 |       printf ("3rd mutex_lock failed for %s\n", mas); | 
 | 273 |       return 1; | 
 | 274 |     } | 
 | 275 |  | 
 | 276 |   if (pthread_mutex_unlock (m) != 0) | 
 | 277 |     { | 
 | 278 |       printf ("4th mutex_unlock failed for %s\n", mas); | 
 | 279 |       return 1; | 
 | 280 |     } | 
 | 281 |  | 
 | 282 |   /* Elided mutexes don't fail destroy.  */ | 
 | 283 | #ifndef ENABLE_LOCK_ELISION | 
 | 284 |   e = pthread_mutex_destroy (m); | 
 | 285 |   if (e == 0) | 
 | 286 |     { | 
 | 287 |       printf ("2nd mutex_destroy of condvar-used mutex succeeded for %s\n", | 
 | 288 | 	      mas); | 
 | 289 |       return 1; | 
 | 290 |     } | 
 | 291 |   if (e != EBUSY) | 
 | 292 |     { | 
 | 293 |       printf ("\ | 
 | 294 | 2nd mutex_destroy of condvar-used mutex did not return EBUSY for %s\n", | 
 | 295 | 	      mas); | 
 | 296 |       return 1; | 
 | 297 |     } | 
 | 298 | #endif | 
 | 299 |  | 
 | 300 |   if (pthread_cancel (th) != 0) | 
 | 301 |     { | 
 | 302 |       puts ("cond_cancel failed"); | 
 | 303 |       return 1; | 
 | 304 |     } | 
 | 305 |  | 
 | 306 |   if (pthread_join (th, &r) != 0) | 
 | 307 |     { | 
 | 308 |       puts ("join failed"); | 
 | 309 |       return 1; | 
 | 310 |     } | 
 | 311 |   if (r != PTHREAD_CANCELED) | 
 | 312 |     { | 
 | 313 |       puts ("thread not canceled"); | 
 | 314 |       return 1; | 
 | 315 |     } | 
 | 316 |  | 
 | 317 |   if (pthread_mutex_destroy (m) != 0) | 
 | 318 |     { | 
 | 319 |       printf ("mutex_destroy after condvar-canceled failed for %s\n", mas); | 
 | 320 |       return 1; | 
 | 321 |     } | 
 | 322 |  | 
 | 323 |   return 0; | 
 | 324 | } | 
 | 325 |  | 
 | 326 |  | 
 | 327 | static int | 
 | 328 | do_test (void) | 
 | 329 | { | 
 | 330 |   pthread_mutex_t mm; | 
 | 331 |   m = &mm; | 
 | 332 |  | 
 | 333 |   if (pthread_barrier_init (&b, NULL, 2) != 0) | 
 | 334 |     { | 
 | 335 |       puts ("barrier_init failed"); | 
 | 336 |       return 1; | 
 | 337 |     } | 
 | 338 |  | 
 | 339 |   if (pthread_cond_init (&c, NULL) != 0) | 
 | 340 |     { | 
 | 341 |       puts ("cond_init failed"); | 
 | 342 |       return 1; | 
 | 343 |     } | 
 | 344 |  | 
 | 345 |   puts ("check normal mutex"); | 
 | 346 |   int res = check_type ("normal", NULL); | 
 | 347 |  | 
 | 348 |   pthread_mutexattr_t ma; | 
 | 349 |   if (pthread_mutexattr_init (&ma) != 0) | 
 | 350 |     { | 
 | 351 |       puts ("1st mutexattr_init failed"); | 
 | 352 |       return 1; | 
 | 353 |     } | 
 | 354 |   if (pthread_mutexattr_settype (&ma, PTHREAD_MUTEX_RECURSIVE) != 0) | 
 | 355 |     { | 
 | 356 |       puts ("1st mutexattr_settype failed"); | 
 | 357 |       return 1; | 
 | 358 |     } | 
 | 359 | #ifdef ENABLE_PI | 
 | 360 |   if (pthread_mutexattr_setprotocol (&ma, PTHREAD_PRIO_INHERIT)) | 
 | 361 |     { | 
 | 362 |       puts ("1st pthread_mutexattr_setprotocol failed"); | 
 | 363 |       return 1; | 
 | 364 |     } | 
 | 365 | #endif | 
 | 366 |   puts ("check recursive mutex"); | 
 | 367 |   res |= check_type ("recursive", &ma); | 
 | 368 |   if (pthread_mutexattr_destroy (&ma) != 0) | 
 | 369 |     { | 
 | 370 |       puts ("1st mutexattr_destroy failed"); | 
 | 371 |       return 1; | 
 | 372 |     } | 
 | 373 |  | 
 | 374 |   if (pthread_mutexattr_init (&ma) != 0) | 
 | 375 |     { | 
 | 376 |       puts ("2nd mutexattr_init failed"); | 
 | 377 |       return 1; | 
 | 378 |     } | 
 | 379 |   if (pthread_mutexattr_settype (&ma, PTHREAD_MUTEX_ERRORCHECK) != 0) | 
 | 380 |     { | 
 | 381 |       puts ("2nd mutexattr_settype failed"); | 
 | 382 |       return 1; | 
 | 383 |     } | 
 | 384 | #ifdef ENABLE_PI | 
 | 385 |   if (pthread_mutexattr_setprotocol (&ma, PTHREAD_PRIO_INHERIT)) | 
 | 386 |     { | 
 | 387 |       puts ("2nd pthread_mutexattr_setprotocol failed"); | 
 | 388 |       return 1; | 
 | 389 |     } | 
 | 390 | #endif | 
 | 391 |   puts ("check error-checking mutex"); | 
 | 392 |   res |= check_type ("error-checking", &ma); | 
 | 393 |   if (pthread_mutexattr_destroy (&ma) != 0) | 
 | 394 |     { | 
 | 395 |       puts ("2nd mutexattr_destroy failed"); | 
 | 396 |       return 1; | 
 | 397 |     } | 
 | 398 |  | 
 | 399 |   return res; | 
 | 400 | } | 
 | 401 |  | 
 | 402 | #define TEST_FUNCTION do_test () | 
 | 403 | #include "../test-skeleton.c" |