Mercurial > libjeffpc > experimental
annotate tests/test_rwlock-wlock-held-nesting.c @ 945:d83ac58d2500
synch: add rwlock tests
Signed-off-by: Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
author | Josef 'Jeff' Sipek <jeffpc@josefsipek.net> |
---|---|
date | Sun, 11 Aug 2019 12:18:09 -0400 |
parents | tests/test_mutex-lock-held-nesting.c@c9aba8a5ab26 |
children |
rev | line source |
---|---|
646
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
1 /* |
945
d83ac58d2500
synch: add rwlock tests
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
646
diff
changeset
|
2 * Copyright (c) 2018-2019 Josef 'Jeff' Sipek <jeffpc@josefsipek.net> |
646
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
3 * |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
4 * Permission is hereby granted, free of charge, to any person obtaining a copy |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
5 * of this software and associated documentation files (the "Software"), to deal |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
6 * in the Software without restriction, including without limitation the rights |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
7 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
8 * copies of the Software, and to permit persons to whom the Software is |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
9 * furnished to do so, subject to the following conditions: |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
10 * |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
11 * The above copyright notice and this permission notice shall be included in |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
12 * all copies or substantial portions of the Software. |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
13 * |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
14 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
15 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
16 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
17 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
19 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
20 * SOFTWARE. |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
21 */ |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
22 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
23 #include <jeffpc/synch.h> |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
24 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
25 #include "test.c" |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
26 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
27 #define NLOCKS (JEFFPC_LOCK_STACK_DEPTH + 1) |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
28 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
29 void test(void) |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
30 { |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
31 struct lock_class lc[NLOCKS]; |
945
d83ac58d2500
synch: add rwlock tests
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
646
diff
changeset
|
32 struct rwlock lock[NLOCKS]; |
646
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
33 size_t i; |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
34 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
35 for (i = 0; i < NLOCKS; i++) { |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
36 char *name; |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
37 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
38 /* initialize the lock class */ |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
39 asprintf(&name, "class %zu", i); |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
40 memset(&lc[i], 0, sizeof(struct lock_class)); |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
41 lc[i].name = name; |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
42 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
43 /* initialize the lock */ |
945
d83ac58d2500
synch: add rwlock tests
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
646
diff
changeset
|
44 RWINIT(&lock[i], &lc[i]); |
646
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
45 } |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
46 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
47 /* lock enough to fill up the stack */ |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
48 for (i = 0; i < (NLOCKS - 1); i++) |
945
d83ac58d2500
synch: add rwlock tests
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
646
diff
changeset
|
49 RWLOCK(&lock[i], true); |
646
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
50 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
51 /* lock another lock to overflow the stack */ |
945
d83ac58d2500
synch: add rwlock tests
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
646
diff
changeset
|
52 RWLOCK(&lock[NLOCKS - 1], true); |
646
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
53 |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
54 /* TODO: check lockdep state */ |
c9aba8a5ab26
tests: check for various simple lock API errors
Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
parents:
diff
changeset
|
55 } |