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

Concurrent Systems/notes/9 - Consensus.md

@@ -74,3 +74,13 @@ This solution is non-blocking but not wait-free (can run forever).
 P.S. *invoc_i*, *result_i* e *z_i* sono variabili locali.
 
 ### A wait-free construction
+- `LAST_OP[1..n]:` array of SWMR atomic R/W registers containing pairs init at ⟨⊥,0⟩ ∀i
+- `last_sn_i[1..n]:` local array of the last op by $p_i$ executed by $p_i$ init at 0 ∀i,j
+
+Idea: instead of just proposing my proposal, at every moment I propose all the proposals of all the processes.
+
+```⟨⟩
+or(arg) by p_i on Z
+	result_i <- ⊥
+	LAST_OP[i] <- ⟨op(args), last_sn_i[i]+1⟩
+```