vault backup: 2025-03-10 10:25:13
This commit is contained in:
parent
1053dc3e19
commit
e987488216
2 changed files with 7 additions and 4 deletions
8
.obsidian/workspace.json
vendored
8
.obsidian/workspace.json
vendored
|
@ -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": 12,
|
"page": 13,
|
||||||
"left": -26,
|
"left": -26,
|
||||||
"top": 15,
|
"top": 352,
|
||||||
"zoom": 0.57541567695962
|
"zoom": 0.57541567695962
|
||||||
},
|
},
|
||||||
"icon": "lucide-file-text",
|
"icon": "lucide-file-text",
|
||||||
|
@ -216,10 +216,10 @@
|
||||||
"companion:Toggle completion": false
|
"companion:Toggle completion": false
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"active": "6edd4157a160e462",
|
"active": "02dff467d5bcbba5",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
"Concurrent Systems/slides/class 3.pdf",
|
|
||||||
"Concurrent Systems/notes/3.md",
|
"Concurrent Systems/notes/3.md",
|
||||||
|
"Concurrent Systems/slides/class 3.pdf",
|
||||||
"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",
|
||||||
|
|
|
@ -224,3 +224,6 @@ unlock(i) :=
|
||||||
FLAG[i] <- down
|
FLAG[i] <- down
|
||||||
```
|
```
|
||||||
|
|
||||||
|
#### MUTEX proof
|
||||||
|
|
||||||
|
#### proof
|
Loading…
Reference in a new issue