From 26dc784103914b9d6ba36e0a96fa4b3af977626f Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Thu, 4 Aug 2022 21:43:38 +0200
Subject: user/tests: split the tests by parts of codebase

---
 src/user/app/tests/libc/esemaphore.c | 94 ++++++++++++++++++++++++++++++++++++
 1 file changed, 94 insertions(+)
 create mode 100644 src/user/app/tests/libc/esemaphore.c

(limited to 'src/user/app/tests/libc/esemaphore.c')

diff --git a/src/user/app/tests/libc/esemaphore.c b/src/user/app/tests/libc/esemaphore.c
new file mode 100644
index 0000000..c78dd56
--- /dev/null
+++ b/src/user/app/tests/libc/esemaphore.c
@@ -0,0 +1,94 @@
+#include "../tests.h"
+#include <camellia/flags.h>
+#include <camellia/syscalls.h>
+#include <stdio.h>
+#include <string.h>
+#include <unistd.h>
+#include <user/lib/esemaphore.h>
+
+static void odd(handle_t out, struct evil_sem *sem1, struct evil_sem *sem2) {
+	_syscall_write(out, "1", 1, -1, 0);
+	esem_signal(sem1);
+
+	esem_wait(sem2);
+	_syscall_write(out, "3", 1, -1, 0);
+	esem_signal(sem1);
+
+	esem_wait(sem2);
+	_syscall_write(out, "5", 1, -1, 0);
+	esem_signal(sem1);
+}
+
+static void even(handle_t out, struct evil_sem *sem1, struct evil_sem *sem2) {
+	esem_wait(sem1);
+	_syscall_write(out, "2", 1, -1, 0);
+	esem_signal(sem2);
+
+	esem_wait(sem1);
+	_syscall_write(out, "4", 1, -1, 0);
+	esem_signal(sem2);
+
+	esem_wait(sem1);
+	_syscall_write(out, "6", 1, -1, 0);
+	esem_signal(sem2);
+}
+
+static void test_semaphore(void) {
+	struct evil_sem *sem1, *sem2;
+	handle_t pipe[2];
+	test(_syscall_pipe(pipe, 0) >= 0);
+
+	if (!fork()) {
+		sem1 = esem_new(0);
+		sem2 = esem_new(0);
+		test(sem1 && sem2);
+		if (!fork()) {
+			odd(pipe[1], sem1, sem2);
+			exit(69);
+		} else {
+			even(pipe[1], sem1, sem2);
+			test(_syscall_await() == 69);
+		}
+		esem_free(sem1);
+		esem_free(sem2);
+
+		_syscall_write(pipe[1], "|", 1, -1, 0);
+
+		sem1 = esem_new(0);
+		sem2 = esem_new(0);
+		test(sem1 && sem2);
+		if (!fork()) {
+			even(pipe[1], sem1, sem2);
+			exit(69);
+		} else {
+			odd(pipe[1], sem1, sem2);
+			test(_syscall_await() == 69);
+			_syscall_await();
+		}
+		esem_free(sem1);
+		esem_free(sem2);
+
+		exit(0);
+	} else {
+		close(pipe[1]);
+
+		char buf[16];
+		size_t pos = 0;
+		for (;;) {
+			int ret = _syscall_read(pipe[0], buf + pos, sizeof(buf) - pos, 0);
+			if (ret < 0) break;
+			pos += ret;
+		}
+		buf[pos] = '\0'; // idc about the "potential" overflow
+		if (strcmp(buf, "123456|123456")) {
+			printf("%s\n", buf);
+			test_fail();
+		}
+
+		_syscall_await();
+	}
+}
+
+void r_libc_esemaphore(void) {
+	run_test(test_semaphore);
+}
-- 
cgit v1.2.3