diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 5a72d5c..400cbbb 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -11,14 +11,12 @@ "id": "6550032d28b9171c", "type": "leaf", "state": { - "type": "markdown", + "type": "pdf", "state": { - "file": "Concurrent Systems/notes/4c - Dining Philosophers.md", - "mode": "source", - "source": false + "file": "Concurrent Systems/slides/class 5.pdf" }, - "icon": "lucide-file", - "title": "4c - Dining Philosophers" + "icon": "lucide-file-text", + "title": "class 5" } } ] @@ -191,8 +189,9 @@ }, "active": "6550032d28b9171c", "lastOpenFiles": [ - "Concurrent Systems/notes/4 - Semaphores.md", + "Concurrent Systems/notes/5 - Software Transactional Memory.md", "Concurrent Systems/notes/4c - Dining Philosophers.md", + "Concurrent Systems/notes/4 - Semaphores.md", "\u0002.md", "Concurrent Systems/notes/1b - Peterson algorithm.md", "Concurrent Systems/notes/2b - Round Robin algorithm.md", @@ -210,7 +209,6 @@ "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/6 - Atomicity.md", - "Concurrent Systems/notes/5 - Software Transactional Memory.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", "Concurrent Systems/notes/1 - CS Basics.md", "Concurrent Systems/notes/6a - Alternatives to Atomicity.md", diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md index 87a6eea..a330f30 100644 --- a/Concurrent Systems/notes/5 - Software Transactional Memory.md +++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md @@ -1,4 +1,4 @@ - z- Group together parts of the code that must look like atomic, in a way that is transparent, scalable and easy-to-use for the programmer +Group together parts of the code that must look like atomic, in a way that is transparent, scalable and easy-to-use for the programmer - Differently from monitors, the part of the code to group is not part of the definition of the objects, but is application dependent - Differently from transactions in databases, the code can be any code, not just queries on the DB