vault backup: 2025-03-25 18:27:22

This commit is contained in:
Marco Realacci 2025-03-25 18:27:22 +01:00
parent a1eb088190
commit 7a03fe09d3

View file

@ -14,12 +14,12 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "file": "Concurrent Systems/notes/6 - Atomicity.md",
"mode": "source", "mode": "source",
"source": false "source": false
}, },
"icon": "lucide-file", "icon": "lucide-file",
"title": "8 - Enhancing Liveness Properties" "title": "6 - Atomicity"
} }
} }
] ]
@ -213,8 +213,8 @@
}, },
"active": "383fb8ddbc7a9dc8", "active": "383fb8ddbc7a9dc8",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/slides/class 8.pdf",
"Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
"Concurrent Systems/slides/class 8.pdf",
"Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
"Concurrent Systems/notes/1b - Peterson algorithm.md", "Concurrent Systems/notes/1b - Peterson algorithm.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/2b - Round Robin algorithm.md",