marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-02 22:40:03

Browse source
This commit is contained in:
Marco Realacci 2025-04-02 22:40:03 +02:00
parent e9e8b60e22
commit 19c6bfbfba
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/9 - Consensus.md
View file

@ -69,7 +69,7 @@ while true
if invoc_i ≠ ⊥ then # prosegue se ci sono invocazioni if invoc_i ≠ ⊥ then # prosegue se ci sono invocazioni
k++ k++
exec_i <- CONS[k].propose(invoc_i) exec_i <- CONS[k].propose(invoc_i)
⟨z_i , res⟩ <- 𝛿(z_i, 𝜋1(exec_i)) ⟨z_i, res⟩ <- 𝛿(z_i, 𝜋1(exec_i))
if 𝜋2(exec_i) = i then if 𝜋2(exec_i) = i then
invoc_i <- ⊥ invoc_i <- ⊥
result_i <- res result_i <- res