blob: e542f0b3e5cc0f1a458d330f0fcbed69fef69f9b (
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
|
#define TEST_MACROS
#include <init/lib/esemaphore.h>
#include <init/stdlib.h>
#include <init/tests/main.h>
#include <shared/flags.h>
#include <shared/syscalls.h>
static void odd(struct evil_sem *sem1, struct evil_sem *sem2) {
printf("1");
esem_signal(sem1);
esem_wait(sem2);
printf("3");
esem_signal(sem1);
esem_wait(sem2);
printf("5");
esem_signal(sem1);
}
static void even(struct evil_sem *sem1, struct evil_sem *sem2) {
esem_wait(sem1);
printf("2");
esem_signal(sem2);
esem_wait(sem1);
printf("4");
esem_signal(sem2);
esem_wait(sem1);
printf("6");
esem_signal(sem2);
}
void test_semaphore(void) {
struct evil_sem *sem1, *sem2;
// TODO pipe-based test
sem1 = esem_new(0);
sem2 = esem_new(0);
assert(sem1 && sem2);
if (!_syscall_fork(0, NULL)) {
odd(sem1, sem2);
_syscall_exit(69);
} else {
even(sem1, sem2);
assert(_syscall_await() == 69);
}
esem_free(sem1);
esem_free(sem2);
printf("\n");
sem1 = esem_new(0);
sem2 = esem_new(0);
assert(sem1 && sem2);
if (!_syscall_fork(0, NULL)) {
even(sem1, sem2);
_syscall_exit(69);
} else {
odd(sem1, sem2);
assert(_syscall_await() == 69);
_syscall_await();
}
esem_free(sem1);
esem_free(sem2);
printf("\n");
}
|
