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

This commit is contained in:
Marco Realacci 2025-03-31 12:13:39 +02:00
parent 0338e886ea
commit 3065b8e5d7

View file

@ -20,6 +20,18 @@
"icon": "lucide-file", "icon": "lucide-file",
"title": "9 - Consensus" "title": "9 - Consensus"
} }
},
{
"id": "f158d16483dc1627",
"type": "leaf",
"state": {
"type": "pdf",
"state": {
"file": "Concurrent Systems/slides/class 9.pdf"
},
"icon": "lucide-file-text",
"title": "class 9"
}
} }
] ]
} }
@ -192,6 +204,8 @@
}, },
"active": "aa7ed62f1bcd712a", "active": "aa7ed62f1bcd712a",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/slides/class 9.pdf",
"Concurrent Systems/notes/9 - Consensus.md",
"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",
@ -200,8 +214,6 @@
"Concurrent Systems/notes/5 - Software Transactional Memory.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md",
"Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md", "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/2b - Round Robin algorithm.md",
"Concurrent Systems/notes/9 - Consensus.md",
"Concurrent Systems/slides/class 9.pdf",
"Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
"Concurrent Systems/notes/4 - Semaphores.md", "Concurrent Systems/notes/4 - Semaphores.md",
"Concurrent Systems/notes/1b - Peterson algorithm.md", "Concurrent Systems/notes/1b - Peterson algorithm.md",