From c8ddcea26da484c77a6c1b4a06bdafbf8e922ea2 Mon Sep 17 00:00:00 2001
From: Bah Thierno-Souleymane <thiernosouleymane.bah.etu@univ-lille.fr>
Date: Tue, 20 Apr 2021 06:03:46 +0200
Subject: [PATCH] fix(sem_down function edited, counter now decremented)
---
src/sem.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/sem.c b/src/sem.c
index 061caf4..87cfe02 100644
--- a/src/sem.c
+++ b/src/sem.c
@@ -33,7 +33,7 @@ void sem_down(sem_t *sem)
assert(sem->magic == SEM_MAGIC);
irq_disable();
- if ((++sem->cpt) < 0)
+ if ((--sem->cpt) < 0)
{
current_ctx->status = CTX_WAIT;
current_ctx->sem_next_ctx = sem->first_ctx;
--
GitLab