vault backup: 2025-03-26 10:52:36

This commit is contained in:
Marco Realacci 2025-03-26 10:52:36 +01:00
parent 7a03fe09d3
commit f2ae780b12

View file

@ -6,7 +6,6 @@
{
"id": "efd2410a71337f52",
"type": "tabs",
"dimension": 53.86819484240688,
"children": [
{
"id": "383fb8ddbc7a9dc8",
@ -23,25 +22,6 @@
}
}
]
},
{
"id": "496ffcebad48669d",
"type": "tabs",
"dimension": 46.13180515759313,
"children": [
{
"id": "879210c00db77468",
"type": "leaf",
"state": {
"type": "pdf",
"state": {
"file": "Concurrent Systems/slides/class 8.pdf"
},
"icon": "lucide-file-text",
"title": "class 8"
}
}
]
}
],
"direction": "vertical"
@ -98,8 +78,7 @@
}
],
"direction": "horizontal",
"width": 307.5,
"collapsed": true
"width": 307.5
},
"right": {
"id": "bc4b945ded1926e3",
@ -213,18 +192,18 @@
},
"active": "383fb8ddbc7a9dc8",
"lastOpenFiles": [
"Concurrent Systems/notes/6a - Alternatives to Atomicity.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/6 - Atomicity.md",
"Concurrent Systems/slides/class 8.pdf",
"Concurrent Systems/notes/1b - Peterson algorithm.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md",
"Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"Concurrent Systems/slides/class 7.pdf",
"Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Pasted image 20250325090735.png",
"Concurrent Systems/notes/images/Pasted image 20250324091452.png",
"Concurrent Systems/notes/6 - Atomicity.md",
"Concurrent Systems/notes/5 - Software Transactional Memory.md",
"Concurrent Systems/notes/4c - Dining Philosophers.md",
"Concurrent Systems/notes/images/Pasted image 20250324082534.png",