From ee993e660ea3144b8645ccb230f2ba03e1c8ecd0 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 17:10:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 17:10:04 --- Concurrent Systems/notes/6 - Atomicity.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 77c3499..1a11de8 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -72,7 +72,11 @@ 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}$ - - commenti + - commento per non diventare scemi: + - $\hat{S}_X$ lo storico ottenuto linearizzando $\hat{H}|_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}$ + - $\to_X$ + - $\to|_X$ > [!PDF|red] class 6, p.6> we would have a cycle of length > > we would contraddict op2 ->x op3