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

vault backup: 2025-03-31 12:18:39

Browse source
This commit is contained in:
Marco Realacci 2025-03-31 12:18:39 +02:00
parent 3065b8e5d7
commit 540c2c8a54
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.obsidian/workspace.json vendored
View file

@ -33,7 +33,8 @@
"title": "class 9" "title": "class 9"
} }
} }
] ],
"currentTab": 1
} }
], ],
"direction": "vertical" "direction": "vertical"
@ -202,10 +203,10 @@
"companion:Toggle completion": false "companion:Toggle completion": false
} }
}, },
"active": "aa7ed62f1bcd712a", "active": "f158d16483dc1627",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/slides/class 9.pdf",
"Concurrent Systems/notes/9 - Consensus.md", "Concurrent Systems/notes/9 - Consensus.md",
"Concurrent Systems/slides/class 9.pdf",
"Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/7- MUTEX-free concurrency.md",

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

@ -85,7 +85,7 @@ P.S. *invoc_i*, *result_i* e *z_i* sono variabili locali.
Idea: instead of just proposing my proposal, at every moment I propose all the proposals of all the processes. Idea: instead of just proposing my proposal, at every moment I propose all the proposals of all the processes.
```⟨⟩ ```⟨hai trovato un easter egg: 🥚⟩
or(arg) by p_i on Z or(arg) by p_i on Z
result_i <- ⊥ result_i <- ⊥
LAST_OP[i] <- ⟨op(args), last_sn_i[i]+1⟩ LAST_OP[i] <- ⟨op(args), last_sn_i[i]+1⟩