tjh.dev
Linux kernel mirror (for testing)
git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel
os
linux
1// SPDX-License-Identifier: GPL-2.0
2#include <liblockdep/mutex.h>
3#include "common.h"
4
5void main(void)
6{
7 pthread_mutex_t a, b, c, d;
8
9 pthread_mutex_init(&a, NULL);
10 pthread_mutex_init(&b, NULL);
11 pthread_mutex_init(&c, NULL);
12 pthread_mutex_init(&d, NULL);
13
14 LOCK_UNLOCK_2(a, b);
15 LOCK_UNLOCK_2(c, d);
16 LOCK_UNLOCK_2(b, d);
17 LOCK_UNLOCK_2(d, a);
18}