vault backup: 2025-03-18 17:35:04

Concurrent Systems/notes/6 - Atomicity.md

@@ -73,7 +73,8 @@ $\to'|_X$
 $\to|_X$
 $\to_X$
 
-Osservazione: $\to'|_X$ è come dire $\to_{\hat{S}|X}$, infatti l'ordinamento topologico 
+Osservazione: $\to'|_X$ è come dire $\to_{\hat{S}|X}$. L'ordinamento topologico è letteralmente la sequenza di eventi in S
+
 Si ha che $\to|_X \space \subseteq \space \to'|_X$ perché l'ordinamento topologico è letteralmente la sequenza di eventi in $\hat{S}$
 
 $\hat{S}$ is clearly sequential. Moreover:
@@ -83,8 +84,8 @@ $\hat{S}$ is clearly sequential. Moreover:
 			- $\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)
+				- definisce una relazione di ordinamento $\to|_{\hat{S}_X}$ 
+			- naturlamente, possiamo considerare $\to_X \space = \space <_{\hat{S}_X}$ e $\to|_{\hat{S}_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