marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-03-27 15:23:43

Browse source
This commit is contained in:
Marco Realacci 2025-03-27 15:23:44 +01:00
parent 06131ce1f0
commit 41b6b7d051
2 changed files with 61 additions and 55 deletions
Download patch file Download diff file Expand all files Collapse all files

114
.obsidian/workspace.json vendored
View file

@ -4,17 +4,31 @@
"type": "split", "type": "split",
"children": [ "children": [
{ {
"id": "efd2410a71337f52", "id": "f51c1efa0452f785",
"type": "tabs", "type": "tabs",
"children": [ "children": [
{ {
"id": "383fb8ddbc7a9dc8", "id": "681355c2483f6307",
"type": "leaf",
"state": {
"type": "markdown",
"state": {
"file": "Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
"mode": "source",
"source": false
},
"icon": "lucide-file",
"title": "3b - Aravind's algorithm and improvements"
}
},
{
"id": "926fa7285c533c59",
"type": "leaf", "type": "leaf",
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md", "file": "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"mode": "preview", "mode": "source",
"source": false "source": false
}, },
"icon": "lucide-file", "icon": "lucide-file",
@ -22,30 +36,20 @@
} }
}, },
{ {
"id": "6e3afe627f01d355", "id": "7f703980f7154aff",
"type": "leaf", "type": "leaf",
"state": { "state": {
"type": "pdf", "type": "diff-view",
"state": { "state": {
"file": "Concurrent Systems/slides/class 5.pdf" "file": "conflict-files-obsidian-git.md",
"staged": false
}, },
"icon": "lucide-file-text", "icon": "git-pull-request",
"title": "class 5" "title": "Diff View (conflict-files-obsidian-git)"
}
},
{
"id": "070e50bf8e547731",
"type": "leaf",
"state": {
"type": "pdf",
"state": {
"file": "Concurrent Systems/slides/class 6.pdf"
},
"icon": "lucide-file-text",
"title": "class 6"
} }
} }
] ],
"currentTab": 2
} }
], ],
"direction": "vertical" "direction": "vertical"
@ -77,7 +81,7 @@
"state": { "state": {
"type": "search", "type": "search",
"state": { "state": {
"query": "", "query": "exercise",
"matchingCase": false, "matchingCase": false,
"explainSearch": false, "explainSearch": false,
"collapseAll": false, "collapseAll": false,
@ -197,11 +201,11 @@
} }
], ],
"direction": "horizontal", "direction": "horizontal",
"width": 364.5, "width": 364.5
"collapsed": true
}, },
"left-ribbon": { "left-ribbon": {
"hiddenItems": { "hiddenItems": {
"smart-second-brain:Open S2B Chat": false,
"switcher:Open quick switcher": false, "switcher:Open quick switcher": false,
"graph:Open graph view": false, "graph:Open graph view": false,
"canvas:Create new canvas": false, "canvas:Create new canvas": false,
@ -209,48 +213,50 @@
"templates:Insert template": false, "templates:Insert template": false,
"command-palette:Open command palette": false, "command-palette:Open command palette": false,
"obsidian-ocr:Search OCR": false, "obsidian-ocr:Search OCR": false,
"pdf-plus:PDF++: Toggle auto-copy": false,
"pdf-plus:PDF++: Toggle auto-focus": false,
"pdf-plus:PDF++: Toggle auto-paste": false,
"obsidian-git:Open Git source control": false, "obsidian-git:Open Git source control": false,
"smart-second-brain:Open S2B Chat": false,
"companion:Toggle completion": false "companion:Toggle completion": false
} }
}, },
"active": "383fb8ddbc7a9dc8", "active": "7f703980f7154aff",
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/notes/4c - Dining Philosophers.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md",
"Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
"Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"Concurrent Systems/notes/7- MUTEX-free concurrency.md",
"Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
"Concurrent Systems/slides/class 6.pdf",
"Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/6 - Atomicity.md",
"Concurrent Systems/notes/5 - Software Transactional Memory.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md",
"Concurrent Systems/slides/class 5.pdf", "Concurrent Systems/notes/2b - Round Robin algorithm.md",
"Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
"Concurrent Systems/slides/class 8.pdf", "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"Concurrent Systems/notes/1b - Peterson algorithm.md",
"Concurrent Systems/slides/class 7.pdf",
"Pasted image 20250325090735.png",
"Concurrent Systems/notes/images/Pasted image 20250324091452.png",
"Concurrent Systems/notes/images/Pasted image 20250324082534.png",
"Concurrent Systems/notes/images/Pasted image 20250324082545.png",
"Concurrent Systems/notes/images/Pasted image 20250324092633.png",
"Concurrent Systems/notes/1 - CS Basics.md",
"Concurrent Systems/notes/images/Pasted image 20250324100652.png",
"Concurrent Systems/notes/4b - Monitors.md", "Concurrent Systems/notes/4b - Monitors.md",
"Concurrent Systems/slides/class 4.pdf", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
"Concurrent Systems/slides/class 3.pdf",
"Concurrent Systems/notes/4 - Semaphores.md",
"Concurrent Systems/slides/class 2.pdf",
"Concurrent Systems/notes/Untitled.pdf",
"conflict-files-obsidian-git.md", "conflict-files-obsidian-git.md",
"Concurrent Systems/notes/images/Pasted image 20250318090909.png", "Pasted image 20250325090735.png",
"Concurrent Systems/slides/class 8.pdf",
"Concurrent Systems/slides/class 7.pdf",
"Concurrent Systems/notes/images/Pasted image 20250324100652.png",
"Concurrent Systems/notes/images/Pasted image 20250324092633.png",
"Concurrent Systems/notes/images/Pasted image 20250324091452.png",
"Concurrent Systems/notes/images/Pasted image 20250324082545.png",
"Concurrent Systems/notes/images/Pasted image 20250324082534.png",
"Concurrent Systems/notes/7- MUTEX-free concurrency.md",
"Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
"Concurrent Systems/notes/1b - Peterson algorithm.md",
"Concurrent Systems/notes/3b - Aravind's algorithm and improvements.md",
"3b - Aravind's algorithm and improvements.pdf",
"Concurrent Systems/slides/class 6.pdf",
"Concurrent Systems/notes/images/Pasted image 20250318090733.png", "Concurrent Systems/notes/images/Pasted image 20250318090733.png",
"Pasted image 20250318090909.png", "Concurrent Systems/notes/images/Pasted image 20250318090909.png",
"Pasted image 20250318090733.png", "Concurrent Systems/slides/class 5.pdf",
"Concurrent Systems/notes/4 - Semaphores.md",
"Concurrent Systems/notes/1 - CS Basics.md",
"Concurrent Systems/notes/images/Pasted image 20250317105355.png",
"Concurrent Systems/slides/class 4.pdf",
"Concurrent Systems/notes/images/Pasted image 20250317100456.png",
"HCIW/slides/4 HUI2016-6-forcefeedback.pdf", "HCIW/slides/4 HUI2016-6-forcefeedback.pdf",
"HCIW/slides/3b Haptic slides.pdf", "HCIW/slides/3b Haptic slides.pdf",
"HCIW/slides/3Haptic interaction.pdf",
"HCIW/slides/2 Beacon based interfaces.pdf",
"HCIW/notes/2 - Interface and Interaction for IoT.md", "HCIW/notes/2 - Interface and Interaction for IoT.md",
"HCIW/notes/3 - Beacons.md", "HCIW/notes/3 - Beacons.md",
"Concurrent Systems/notes/1 - CS Basics2.md", "Concurrent Systems/notes/1 - CS Basics2.md",

2
Concurrent Systems/notes/4c - Dining Philosophers.md
View file

@ -20,7 +20,7 @@ Philosopher(i) :=
chopstick[(i+1)%N].up() chopstick[(i+1)%N].up()
chopstick[i].up() chopstick[i].up()
``` ```
No two neighbors can eat simultaneously, but we can have a deadlock if all philosophers grab their right chopstick simultaneously. No two neighbours can eat simultaneously, but we can have a deadlock if all philosophers grab their right chopstick simultaneously.
#### Solution 1 #### Solution 1
Give a number to all forks and always try with the smaller. Give a number to all forks and always try with the smaller.