vault backup: 2025-03-26 17:36:30

This commit is contained in:
Marco Realacci 2025-03-26 17:36:30 +01:00
parent 6f670d65ac
commit 079c28e402

View file

@ -13,12 +13,12 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"mode": "preview", "mode": "preview",
"source": false "source": false
}, },
"icon": "lucide-file", "icon": "lucide-file",
"title": "8 - Enhancing Liveness Properties" "title": "2 - Fast mutex by Lamport"
} }
}, },
{ {
@ -216,8 +216,8 @@
}, },
"active": "383fb8ddbc7a9dc8", "active": "383fb8ddbc7a9dc8",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/notes/2b - Round Robin algorithm.md",
"Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md",
"Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md", "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",