vault backup: 2025-03-04 08:44:45

2025-03-04 08:44:45 +01:00 · 2025-03-04 08:44:45 +01:00 · 1cdd7d5981
commit 1cdd7d5981
parent 9f90efacac
1 changed files with 9 additions and 2 deletions
--- a/Systems/notes/Lezione2.md
+++ b/Systems/notes/Lezione2.md
@ -40,5 +40,12 @@ lock(i) :=
 	else FLAG[i] <- down
 	∀j.wait FLAG[j] = down
 	if Y = i then return
-	else wait Y = 1
-	goto *
+	else wait Y = ⊥
+	goto *
+
+unlock(i) :=
+	Y <- ⊥
+	FLAG[i] <- down
+	return
+```
+