From c41cf3484a486503d1197fe648c5b7651d7a5af0 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 17:40:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 17:40:04 --- Concurrent Systems/notes/6 - Atomicity.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 3d3c536..d7abe9f 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -73,9 +73,12 @@ $\to'|_X$ $\to|_X$ $\to_X$ -Osservazione: $\to'|_X$ è come dire $\to_{\hat{S}|X}$. L'ordinamento topologico è letteralmente la sequenza di eventi in S +Considero $\to'|_X$ come $\to'$ filtrato per gli eventi su X. -Si ha che $\to|_X \space \subseteq \space \to'|_X$ perché l'ordinamento topologico è letteralmente la sequenza di eventi in $\hat{S}$ +**Osservazione 1:** $\to'|_X$ è come dire $\to_{\hat{S}|X}$ perché l'ordinamento topologico è letteralmente la sequenza di eventi in S, e se filtro entrambi per gli eventi su X ottengo la stessa cosa... + +Considero +Si ha che $\to|_X \space \subseteq \space \to'|_X$ $\hat{S}$ is clearly sequential. Moreover: 1. $\forall X :\hat{S}|_{X} = \hat{S}_X (\in semantics(X))$, indeed: