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

vault backup: 2025-03-10 10:45:13

Browse source
This commit is contained in:
Marco Realacci 2025-03-10 10:45:13 +01:00
parent 4f3268bda9
commit 92174244e8
2 changed files with 18 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.obsidian/workspace.json vendored
View file

@ -34,9 +34,9 @@
"type": "pdf", "type": "pdf",
"state": { "state": {
"file": "Concurrent Systems/slides/class 3.pdf", "file": "Concurrent Systems/slides/class 3.pdf",
"page": 15, "page": 16,
"left": -26, "left": -26,
"top": 106, "top": 396,
"zoom": 0.57541567695962 "zoom": 0.57541567695962
}, },
"icon": "lucide-file-text", "icon": "lucide-file-text",
@ -218,9 +218,9 @@
}, },
"active": "6edd4157a160e462", "active": "6edd4157a160e462",
"lastOpenFiles": [ "lastOpenFiles": [
"Pasted image 20250310103703.png",
"Concurrent Systems/slides/class 3.pdf", "Concurrent Systems/slides/class 3.pdf",
"Concurrent Systems/notes/3.md", "Concurrent Systems/notes/3.md",
"Pasted image 20250310103703.png",
"Concurrent Systems/notes/1 - CS Basics.md", "Concurrent Systems/notes/1 - CS Basics.md",
"Concurrent Systems/notes/1 - CS Basics2.md", "Concurrent Systems/notes/1 - CS Basics2.md",
"Concurrent Systems/notes/2b - Round Robin algorithm.md", "Concurrent Systems/notes/2b - Round Robin algorithm.md",
@ -248,7 +248,6 @@
"Concurrent Systems/slides/class 1.pdf", "Concurrent Systems/slides/class 1.pdf",
"Concurrent Systems/notes/images/Pasted image 20250303093116.png", "Concurrent Systems/notes/images/Pasted image 20250303093116.png",
"Concurrent Systems/notes/images/Pasted image 20250303100953.png", "Concurrent Systems/notes/images/Pasted image 20250303100953.png",
"Concurrent Systems/notes/images/Pasted image 20250303100721.png",
"Foundation of data science/notes/1 CV Basics.md", "Foundation of data science/notes/1 CV Basics.md",
"Foundation of data science/notes/7 Autoencoders.md", "Foundation of data science/notes/7 Autoencoders.md",
"Foundation of data science/notes/6 PCA.md", "Foundation of data science/notes/6 PCA.md",

16
Concurrent Systems/notes/3.md
View file

@ -255,4 +255,18 @@ unlock(i) :=
![[Pasted image 20250310103703.png]] ![[Pasted image 20250310103703.png]]
so by this, the very worst possible case is that my lock experiences that. so by this, the very worst possible case is that my lock experiences that.
It looks like I can experience at most $2n-1$ other critical sections, but it is even better, let's see: It looks like I can experience at most $2n-1$ other critical sections, but it is even better, let's see:
...
#### Improvement of Aravind’s algorithm
```
unlock(i) :=
∀j≠i.if DATE[j] > DATE[i] then
DATE[j] <- DATE[j]-1
DATE[i] <- n STAGE[i] <- 0
FLAG[i] <- down
```
Since the LOCK is like before, the revised protocol satisfies MUTEX. Furthermore, you can prove that it satisfies bounded bypass with bound n-1 -> EXERCISE!