From e6d2ed4aed2347b87589914f33228f9d470f3e9c Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 17:15:04 +0100 Subject: [PATCH] vault backup: 2025-03-18 17:15:04 --- Concurrent Systems/notes/6 - Atomicity.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index 1a11de8..64f5111 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -74,9 +74,9 @@ $\hat{S}$ is clearly sequential. Moreover: - $<_{\hat{S}_X}=\to_X \subseteq \to'_X = \to_{\hat{S}|X}=<_{\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}$ - - $\to_X$ - - $\to|_X$ + - definisce una relazione di ordinamento $\to|_X$ > [!PDF|red] class 6, p.6> we would have a cycle of length > > we would contraddict op2 ->x op3