From 5dffa6402e2fb65184f7231030554f47c418132a Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 12 Mar 2025 12:14:27 +0100 Subject: [PATCH] vault backup: 2025-03-12 12:14:27 --- Concurrent Systems/notes/4 - Semaphores.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Concurrent Systems/notes/4 - Semaphores.md b/Concurrent Systems/notes/4 - Semaphores.md index 9c6e924..8d2fc16 100644 --- a/Concurrent Systems/notes/4 - Semaphores.md +++ b/Concurrent Systems/notes/4 - Semaphores.md @@ -158,9 +158,9 @@ okay, so the difference seems to be just the fact that there are no while loops Let's imagine to have quick producers and a slow consumer: producer A: - writes at BUF[0], so IN becomes 1 - -producer B: - writes at BUF[1], so IN becomes 2 +- ... +- writes at BUF[n], so IN becomes 0 consumer A: - starts reading BUF[0], now OUT is 1