From 66fa603146f447a5a43ab3da0004cf170686f3a4 Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Mon, 31 Mar 2025 08:55:43 +0200
Subject: [PATCH] vault backup: 2025-03-31 08:55:43

---
 Concurrent Systems/notes/9 - Consensus.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Concurrent Systems/notes/9 - Consensus.md b/Concurrent Systems/notes/9 - Consensus.md
index d895801..1e99857 100644
--- a/Concurrent Systems/notes/9 - Consensus.md	
+++ b/Concurrent Systems/notes/9 - Consensus.md	
@@ -62,11 +62,14 @@ The local simulation of Z by $p_i$ is
 k <- 0
 z_i <- Z.init()
 while true
-	if invoc_i ≠ ⊥ then # pros
+	if invoc_i ≠ ⊥ then # prosegue se ci sono invocazioni
 		k++
 		exec_i <- CONS[k].propose(invoc_i)
-		⟨zi , res⟩ <- 𝛿(zi , 𝜋1(exec_i))
+		⟨z_i , res⟩ <- 𝛿(z_i, 𝜋1(exec_i))
 		if 𝜋2(exec_i) = i then
 			invoc_i <- ⊥
 			result_i <- res
 ```
+This solution is non-blocking but not wait-free (can run forever).
+P.S. invoc, result e Z sono varia.
+### A wait-free construction