vault backup: 2025-03-12 12:14:27

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