vault backup: 2025-03-17 23:47:45

Concurrent Systems/notes/5 - Software Transactional Memory.md

@@ -139,6 +139,8 @@ X.read_T(i) :=
 	if ∃ Y ∈ read_set(T) s.t. t_dependT[Y] < lc(XX).depend[Y] then
 		# significa che il valore di X che ho letto è stato influenzato
 		# da una modifica di Y avvenuta dopo che T (questa trans.) ha letto Y
+		# per cui significa che X è stato scritto dopo che T ha letto Y
+		# da una trans. che ha scritto sia X che Y
 		ABORT
 
 	∀ Y ∉ read_set(T) do