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

Concurrent Systems/notes/Lezione2.md

@@ -14,8 +14,13 @@ lock(i) :=
 	if Y != ⊥ then FAIL
 	else Y <- i
 	if X = i then return
-	else fail
+	else FAIL
 
  unlock(i) :=
 	 Y <- ⊥
-	 return
+	 return
+```
+
+Problems:
+- we don't want the FAIL
+- it is possible to have an execution where nobody accesses its CS, if repeated forever it entails a deadlock