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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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 }