From 0fbc8dc711b7fc22b87500fc1cf7762f0ad9f0f6 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 17:55:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 17:55:04 --- Concurrent Systems/notes/6 - Atomicity.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 160cfc2..ee9512c 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -77,7 +77,7 @@ Considero $\to'|_X$ come $\to'$ filtrato per gli eventi su X. **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 $\to|_X$ come $\to$ filtrato per gli eventi di X. +Considero $\to|_X$ come $\to$ filtrato per gli eventi di X. Da non confondere con $\to_X$ che invece è l'ordinamento su $\hat{S}_X$. Ricordiamoci che $\to$ è l'unione di $\to_X, \to_Y, \to_Z...$, E DI $\to_H$. Si ha che $\to|_X \space \subseteq \space \to'|_X$