This source file includes following definitions.
- main
1
2 #include <liblockdep/mutex.h>
3 #include "common.h"
4
5 void main(void)
6 {
7 pthread_mutex_t a, b;
8
9 pthread_mutex_init(&a, NULL);
10 pthread_mutex_init(&b, NULL);
11
12 LOCK_UNLOCK_2(a, b);
13 LOCK_UNLOCK_2(b, a);
14
15 pthread_mutex_destroy(&b);
16 pthread_mutex_destroy(&a);
17
18 pthread_mutex_init(&a, NULL);
19 pthread_mutex_init(&b, NULL);
20
21 LOCK_UNLOCK_2(a, b);
22 LOCK_UNLOCK_2(b, a);
23
24 pthread_mutex_destroy(&b);
25 pthread_mutex_destroy(&a);
26 }