diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index e82b6b3..f5395f5 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -6,19 +6,54 @@ { "id": "efd2410a71337f52", "type": "tabs", + "dimension": 42.76504297994269, "children": [ { - "id": "628d0fc8afd0b4fc", + "id": "43416c0d533d9ab4", "type": "leaf", "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/6 - Atomicity.md", + "file": "Concurrent Systems/notes/7- MUTEX-free concurrency.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "6 - Atomicity" + "title": "7- MUTEX-free concurrency" + } + }, + { + "id": "0d64f519fd7f9420", + "type": "leaf", + "state": { + "type": "markdown", + "state": { + "file": "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", + "mode": "source", + "source": false + }, + "icon": "lucide-file", + "title": "8 - Enhancing Liveness Properties" + } + } + ], + "currentTab": 1 + }, + { + "id": "496ffcebad48669d", + "type": "tabs", + "dimension": 57.23495702005731, + "children": [ + { + "id": "879210c00db77468", + "type": "leaf", + "state": { + "type": "pdf", + "state": { + "file": "Concurrent Systems/slides/class 8.pdf" + }, + "icon": "lucide-file-text", + "title": "class 8" } } ] @@ -78,7 +113,8 @@ } ], "direction": "horizontal", - "width": 307.5 + "width": 307.5, + "collapsed": true }, "right": { "id": "bc4b945ded1926e3", @@ -193,20 +229,21 @@ "companion:Toggle completion": false } }, - "active": "628d0fc8afd0b4fc", + "active": "0d64f519fd7f9420", "lastOpenFiles": [ + "Concurrent Systems/notes/7- MUTEX-free concurrency.md", + "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", "Concurrent Systems/slides/class 8.pdf", + "Concurrent Systems/notes/images/Pasted image 20250324091452.png", + "Concurrent Systems/slides/class 7.pdf", "Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/5 - Software Transactional Memory.md", "Concurrent Systems/notes/4c - Dining Philosophers.md", "Concurrent Systems/notes/6a - Alternatives to Atomicity.md", "Concurrent Systems/notes/images/Pasted image 20250324082534.png", "Concurrent Systems/notes/images/Pasted image 20250324082545.png", - "Concurrent Systems/notes/7- MUTEX-free concurrency.md", - "Pasted image 20250324091452.png", "Concurrent Systems/notes/images/Pasted image 20250324092633.png", "Concurrent Systems/notes/1 - CS Basics.md", - "Concurrent Systems/slides/class 7.pdf", "Concurrent Systems/notes/images/Pasted image 20250324100652.png", "Concurrent Systems/slides/class 6.pdf", "Concurrent Systems/notes/4b - Monitors.md", @@ -239,7 +276,6 @@ "Foundation of data science/notes/6 PCA.md", "Foundation of data science/notes/5 Neural Networks.md", "Foundation of data science/notes/8 Variational Autoencoders.md", - "Foundation of data science/notes/3 Logistic Regression.md", "Senza nome.canvas" ] } \ No newline at end of file diff --git a/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md b/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md new file mode 100644 index 0000000..aa34482 --- /dev/null +++ b/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md @@ -0,0 +1,2 @@ +Can we take the most basic protocol that satisfies the most basic liveness property (obstruction freedom) and "upgrade" it to bounded wait freedom? + diff --git a/Pasted image 20250324091452.png b/Concurrent Systems/notes/images/Pasted image 20250324091452.png similarity index 100% rename from Pasted image 20250324091452.png rename to Concurrent Systems/notes/images/Pasted image 20250324091452.png diff --git a/Concurrent Systems/slides/class 8.pdf b/Concurrent Systems/slides/class 8.pdf new file mode 100644 index 0000000..2b193fe Binary files /dev/null and b/Concurrent Systems/slides/class 8.pdf differ