vault backup: 2025-03-31 09:20:43

Concurrent Systems/notes/9 - Consensus.md

@@ -104,13 +104,18 @@ local simulation of Z by p_i
 				# j ha fatto una nuova proposta
 				invoc_i.append(⟨𝜋1(LAST_OP[j]),j⟩)
 				# allora la aggiungo alla mia lista invoc_i
-				if invoci ≠ 𝜀 then
+				# per eventualmente proporlo come valore dopo
+				if invoc_i ≠ 𝜀 then
+					# ci sono nuove invocazioni
+					# allora partecipo al round
 					k++
-					exec_i <- CONS[k].propose(invoci)
-					for r=1 to |execi|
-						⟨zi,res⟩ -> 𝛿(zi,𝜋1(execi[r]))
-						j <- 𝜋2(execi[r])
-						last_sni[j]++
+					exec_i <- CONS[k].propose(invoc_i)
+					# sto proponendo UNA LISTA di operazioni
+					# solo una vincerà
+					for r=1 to |exec_i|
+						⟨z_i,res⟩ -> 𝛿(zi,𝜋1(exec_i[r]))
+						j <- 𝜋2(exec_i[r])
+						last_sn_i[j]++
 						if i=j then 
 							result_i <- res
 ```