diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 3cf84b5..3533a5a 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -34,10 +34,10 @@ "type": "pdf", "state": { "file": "Concurrent Systems/slides/class 3.pdf", - "page": 7, - "left": -27, - "top": 250, - "zoom": 0.5754156769596199 + "page": 8, + "left": -26, + "top": 147, + "zoom": 0.57541567695962 }, "icon": "lucide-file-text", "title": "class 3" diff --git a/Concurrent Systems/notes/3.md b/Concurrent Systems/notes/3.md index 2ed1b0c..de04bcc 100644 --- a/Concurrent Systems/notes/3.md +++ b/Concurrent Systems/notes/3.md @@ -144,4 +144,5 @@ unlock(i) := ``` Se il ticket number è minore si ottiene l'accesso, se il ticket number è uguale, allora si vede il process ID minore. -It is possible that while reading, other processes are writing their turn! So it's possible that I read something unpredictable! \ No newline at end of file +> It is possible that while reading, other processes are writing their turn! So it's possible that I read something unpredictable! We need to consider it in the proofs. +