From e5993a5f2f05b5e7f794168ce02c386002bd085b Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Tue, 18 Mar 2025 09:24:12 +0100
Subject: [PATCH] vault backup: 2025-03-18 09:24:12

---
 .obsidian/workspace.json                  | 18 +++++++++---------
 Concurrent Systems/notes/6 - Atomicity.md |  6 ++++++
 2 files changed, 15 insertions(+), 9 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 5ddbfb9..4f6063a 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -36,10 +36,10 @@
               "type": "pdf",
               "state": {
                 "file": "Concurrent Systems/slides/class 6.pdf",
-                "page": 3,
-                "left": -24,
-                "top": 72,
-                "zoom": 0.6448931116389548
+                "page": 4,
+                "left": -23,
+                "top": 17,
+                "zoom": 0.6448931116389549
               },
               "icon": "lucide-file-text",
               "title": "class 6"
@@ -77,7 +77,7 @@
             "state": {
               "type": "search",
               "state": {
-                "query": "peter",
+                "query": "tag:#𝑆X",
                 "matchingCase": false,
                 "explainSearch": false,
                 "collapseAll": false,
@@ -98,7 +98,8 @@
               "title": "Segnalibri"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       }
     ],
     "direction": "horizontal",
@@ -220,10 +221,10 @@
   },
   "active": "51157f32453cba69",
   "lastOpenFiles": [
-    "Pasted image 20250318090909.png",
-    "Pasted image 20250318090733.png",
     "Concurrent Systems/slides/class 6.pdf",
     "Concurrent Systems/notes/6 - Atomicity.md",
+    "Pasted image 20250318090909.png",
+    "Pasted image 20250318090733.png",
     "Concurrent Systems/slides/class 5.pdf",
     "Concurrent Systems/notes/5 - Software Transactional Memory.md",
     "Concurrent Systems/notes/4c - Dining Philosophers.md",
@@ -256,7 +257,6 @@
     "HCIW/exercises/Exercise.md",
     "Concurrent Systems/notes/images/Pasted image 20250304082459.png",
     "Concurrent Systems/notes/images/Pasted image 20250304093223.png",
-    "Concurrent Systems/notes/images/Pasted image 20250304090219.png",
     "Foundation of data science/notes/1 CV Basics.md",
     "Foundation of data science/notes/7 Autoencoders.md",
     "Foundation of data science/notes/6 PCA.md",
diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md
index 4585095..14a7eb7 100644
--- a/Concurrent Systems/notes/6 - Atomicity.md	
+++ b/Concurrent Systems/notes/6 - Atomicity.md	
@@ -25,3 +25,9 @@ Given an history $\hat{K}$, we can define a binary relation on events $⟶_{K}$
 
 ![[Pasted image 20250318090909.png]]But there is another linearization possible! I can also push a before if I pull it before c!
 
+#### Compositionality theorem
+$\hat{H}$ is linearizable if $\hat{H}|_{X}$ is linearizable, for all X in H
+(it is good to linearize complex traces)
+
+For all X, let $\hat{S}_{X}$ be a linearization of $\hat{H}_{X}$
+	- $\hat{S}_{X} def$
\ No newline at end of file