vault backup: 2025-03-24 08:54:23

.obsidian/workspace.json

@@ -45,19 +45,19 @@
         "dimension": 58.45272206303726,
         "children": [
           {
-            "id": "6c846cff8fe1d071",
+            "id": "51b960422a015cfc",
             "type": "leaf",
             "state": {
               "type": "pdf",
               "state": {
-                "file": "Concurrent Systems/slides/class 6.pdf",
-                "page": 9,
-                "left": -30,
-                "top": 442,
-                "zoom": 0.5201900237529692
+                "file": "Concurrent Systems/slides/class 7.pdf",
+                "page": 1,
+                "left": -23,
+                "top": 56,
+                "zoom": 0.680522565320665
               },
               "icon": "lucide-file-text",
-              "title": "class 6"
+              "title": "class 7"
             }
           }
         ]
@@ -117,7 +117,8 @@
       }
     ],
     "direction": "horizontal",
-    "width": 307.5
+    "width": 307.5,
+    "collapsed": true
   },
   "right": {
     "id": "bc4b945ded1926e3",
@@ -234,8 +235,9 @@
   },
   "active": "149ad8d7dea2048d",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/Pasted image 20250324082534.png",
+    "Concurrent Systems/slides/class 7.pdf",
     "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+    "Concurrent Systems/notes/Pasted image 20250324082534.png",
     "Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
     "Concurrent Systems/slides/class 6.pdf",
     "Concurrent Systems/notes/Pasted image 20250324082545.png",
@@ -265,7 +267,6 @@
     "HCIW/slides/4 HUI2016-6-forcefeedback.pdf",
     "HCIW/slides/3b Haptic slides.pdf",
     "HCIW/slides/3Haptic interaction.pdf",
-    "HCIW/slides/2 Beacon based interfaces.pdf",
     "HCIW/notes/2 - Interface and Interaction for IoT.md",
     "HCIW/notes/3 - Beacons.md",
     "Concurrent Systems/notes/images/Pasted image 20250312121828.png",

Concurrent Systems/notes/7- MUTEX-free concurrency.md

@@ -0,0 +1,10 @@
+Critical sections (locks) have drawbacks:
+- if not put at the right level of granularity, they unnecessarily reduce concurrency
+- delays of one process may affect the whole system
+
+**MUTEX-freedom:** the only atomicity is the one provided by the primitives themselves (no wrapping of code into CSs)
+	the liveness properties used so far cannot be used anymore, since they rely on CSs.
+(example: if we have only atomic R/W registers, these are the only atomic things that we have. But we may also have atomic primitives like *test&set*, *compare&swap* ecc.).
+
+1. **Obstruction freedom:**
+