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

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

Browse source
This commit is contained in:
Marco Realacci 2025-03-31 09:40:43 +02:00
parent e1886f36e3
commit 4b83b6daee
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -160,4 +160,8 @@ If the specifications of Z’s operations are non-deterministic, then 𝛿 does
How to force every process to run the very same sequence of operations on their local simulations?
Three possible ways!
1. Brute forc
1. **Brute force solution:** for every pair ⟨s , op(args)⟩, fix a priori one element of 𝛿(⟨s , op(args)⟩) to be chosen
- literally cancelling non-determinism, but this is not something we want...
2. additional consensus objects, one for every element of every list
3. reuse the same consensus object: for all k, `CONS[k]` not only chooses the list of invocations, but also the final state of every invocation
- the proposals should also pre-calculate the next state and propose one