vault backup: 2025-03-25 15:37:22

.obsidian/workspace.json

@@ -8,6 +8,20 @@
         "type": "tabs",
         "dimension": 85.67335243553008,
         "children": [
+          {
+            "id": "383fb8ddbc7a9dc8",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
+                "mode": "source",
+                "source": false
+              },
+              "icon": "lucide-file",
+              "title": "7- MUTEX-free concurrency"
+            }
+          },
           {
             "id": "0d64f519fd7f9420",
             "type": "leaf",
@@ -22,7 +36,8 @@
               "title": "8 - Enhancing Liveness Properties"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       },
       {
         "id": "496ffcebad48669d",
@@ -213,11 +228,11 @@
   },
   "active": "0d64f519fd7f9420",
   "lastOpenFiles": [
-    "Concurrent Systems/slides/class 8.pdf",
+    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
     "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md",
+    "Concurrent Systems/slides/class 8.pdf",
     "Concurrent Systems/slides/class 7.pdf",
     "Concurrent Systems/notes/6a - Alternatives to Atomicity.md",
-    "Concurrent Systems/notes/7- MUTEX-free concurrency.md",
     "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md",
     "Pasted image 20250325090735.png",
     "Concurrent Systems/notes/images/Pasted image 20250324091452.png",