summaryrefslogtreecommitdiff
path: root/libcr_ipc/tests/test_rwmutex.c
blob: 77e8c7c8dc6696d60acd8b925f11384d958b6d4f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
/* libcr_ipc/tests/test_rwmutex.c - Tests for <libcr_ipc/rwmutex.h>
 *
 * Copyright (C) 2025  Luke T. Shumaker <lukeshu@lukeshu.com>
 * SPDX-License-Identifier: AGPL-3.0-or-later
 */

#include <string.h>

#include <libcr/coroutine.h>
#include <libcr_ipc/rwmutex.h>

#include "test.h"

cr_rwmutex_t mu = {};
char out[10] = {0};
size_t len = 0;

COROUTINE cr1_reader(void *_mu) {
	cr_rwmutex_t *mu = _mu;
	cr_begin();

	cr_rwmutex_rlock(mu);
	out[len++] = 'r';
	cr_yield();
	cr_rwmutex_runlock(mu);

	cr_end();
}

COROUTINE cr1_writer(void *_mu) {
	cr_rwmutex_t *mu = _mu;
	cr_begin();

	cr_rwmutex_lock(mu);
	out[len++] = 'w';
	cr_yield();
	cr_rwmutex_unlock(mu);

	cr_end();
}

COROUTINE cr2_waiter(void *_ch) {
	char ch = *(char *)_ch;
	cr_begin();

	cr_rwmutex_rlock(&mu);
	out[len++] = ch;
	cr_rwmutex_runlock(&mu);

	cr_end();
}

COROUTINE cr2_init(void *) {
	cr_begin();

	char ch;
	cr_rwmutex_lock(&mu);
	ch = 'a'; coroutine_add("wait-a", cr2_waiter, &ch);
	ch = 'b'; coroutine_add("wait-b", cr2_waiter, &ch);
	cr_yield();
	ch = 'c'; coroutine_add("wait-c", cr2_waiter, &ch);
	cr_rwmutex_unlock(&mu);

	cr_end();
}

int main() {
	printf("== test 1 =========================================\n");
	coroutine_add("r1", cr1_reader, &mu);
	coroutine_add("r2", cr1_reader, &mu);
	coroutine_add("w", cr1_writer, &mu);
	coroutine_add("r3", cr1_reader, &mu);
	coroutine_add("r4", cr1_reader, &mu);
	coroutine_main();
	test_assert(len == 5);
	test_assert(strcmp(out, "rrwrr") == 0);

	printf("== test 2 =========================================\n");
	mu = (cr_rwmutex_t){};
	len = 0;
	memset(out, 0, sizeof(out));
	coroutine_add("init", cr2_init, NULL);
	coroutine_main();
	test_assert(len == 3);
	test_assert(strcmp(out, "abc") == 0);

	return 0;
}