From 96c12c2fb20c038853ca201587f8a19d0c92bb30 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Fri, 21 Mar 2025 16:33:43 +0100 Subject: [PATCH] vault backup: 2025-03-21 16:33:43 --- Concurrent Systems/notes/4 - Semaphores.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/4 - Semaphores.md b/Concurrent Systems/notes/4 - Semaphores.md index 46ce51f..7f54489 100644 --- a/Concurrent Systems/notes/4 - Semaphores.md +++ b/Concurrent Systems/notes/4 - Semaphores.md @@ -101,7 +101,7 @@ B.consume() := B.produce(v) := FREE.down() SP.down() - while not EMPTY[in] do + while not EMPTY[IN] do IN <- (IN+1) mod k i <- IN EMPTY[IN] <- ff