From bf1a229fa523af79c05f470bc0d606aa48747d74 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 17:20:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 17:20:04 --- .obsidian/workspace.json | 4 ++-- Concurrent Systems/notes/6 - Atomicity.md | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index a8644e3..b306be6 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -214,10 +214,10 @@ "companion:Toggle completion": false } }, - "active": "51157f32453cba69", + "active": "88f2e3a5b973712d", "lastOpenFiles": [ - "Concurrent Systems/slides/class 6.pdf", "Concurrent Systems/notes/6 - Atomicity.md", + "Concurrent Systems/slides/class 6.pdf", "Concurrent Systems/notes/images/Pasted image 20250318090733.png", "Concurrent Systems/notes/images/Pasted image 20250318090909.png", "Concurrent Systems/slides/class 5.pdf", diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 64f5111..b34c210 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -71,12 +71,13 @@ we would have the topological order: $op1\to'op2\to'...$ $\hat{S}$ is clearly sequential. Moreover: 1. $\forall X :\hat{S}|_{X} = \hat{S}_X (\in semantics(X))$, indeed: - - $<_{\hat{S}_X}=\to_X \subseteq \to'_X = \to_{\hat{S}|X}=<_{\hat{S}|X}$ + - $<_{\hat{S}_X} \space = \space\to_X\space \subseteq\space \to'_X\space = \space\to_{\hat{S}|X}\space=\space<_{\hat{S}|X}$ - commento per non diventare scemi: - $\hat{S}_X$ lo storico ottenuto linearizzando $\hat{H}|_X$ - definisce una relazione di ordinamento $\to_X$ - $\hat{S}|_X$ lo storico che ottengo filtrando per le operazioni su X, partendo da $\hat{S}$, che a sua volta viene ottenuto linearizzando $\hat{H}$ - definisce una relazione di ordinamento $\to|_X$ + - naturlamente, possiamo considerare $\to_X \space = \space <_{\hat{S}_X}$ e $\to|_X \space = \space <_{\hat{S}|_X}$ (se l'ordinamento รจ uguale, allora anche le coppie in relazione tra loro sono le stesse) > [!PDF|red] class 6, p.6> we would have a cycle of length > > we would contraddict op2 ->x op3