From f12f543c64b9a328073003c01f872dfa45bb6ee2 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 09:19:12 +0100 Subject: [PATCH] vault backup: 2025-03-18 09:19:12 --- Concurrent Systems/notes/6 - Atomicity.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 7aa2f11..4585095 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -23,4 +23,5 @@ Given an history $\hat{K}$, we can define a binary relation on events $⟶_{K}$ ![[Pasted image 20250318090733.png]] -![[Pasted image 20250318090909.png]] \ No newline at end of file +![[Pasted image 20250318090909.png]]But there is another linearization possible! I can also push a before if I pull it before c! +