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

This commit is contained in:
Marco Realacci 2025-04-02 22:50:03 +02:00
parent d4b707ebeb
commit 67c62dc262

View file

@ -20,6 +20,20 @@
"icon": "lucide-file",
"title": "4 - Semaphores"
}
},
{
"id": "ae1e669229aa09dc",
"type": "leaf",
"state": {
"type": "markdown",
"state": {
"file": "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"mode": "source",
"source": false
},
"icon": "lucide-file",
"title": "3a - Hardware primitives & Lamport Bakery algorithm"
}
}
]
}
@ -192,9 +206,10 @@
},
"active": "7c5b0ca6f7687800",
"lastOpenFiles": [
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/notes/4 - Semaphores.md",
"Concurrent Systems/notes/1 - CS Basics.md",
"Concurrent Systems/notes/9 - Consensus.md",
"Concurrent Systems/notes/4 - Semaphores.md",
"Concurrent Systems/notes/6 - Atomicity.md",
"Concurrent Systems/notes/5 - Software Transactional Memory.md",
"Concurrent Systems/notes/4b - Monitors.md",
@ -202,7 +217,6 @@
"HCIW/slides/Tangible User Interfaces.pdf",
"Concurrent Systems/notes/images/Pasted image 20250401083747.png",
"Concurrent Systems/notes/images/Pasted image 20250401092557.png",
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
"Concurrent Systems/notes/4c - Dining Philosophers.md",
"Concurrent Systems/notes/1b - Peterson algorithm.md",