vault backup: 2025-03-21 16:33:43

This commit is contained in:
Marco Realacci 2025-03-21 16:33:43 +01:00
parent f71f5b4428
commit 96c12c2fb2

View file

@ -101,7 +101,7 @@ B.consume() :=
B.produce(v) := B.produce(v) :=
FREE.down() FREE.down()
SP.down() SP.down()
while not EMPTY[in] do while not EMPTY[IN] do
IN <- (IN+1) mod k IN <- (IN+1) mod k
i <- IN i <- IN
EMPTY[IN] <- ff EMPTY[IN] <- ff