From cec40de172a9a1e58043389e8d1022974c7d2095 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 08:44:12 +0100 Subject: [PATCH] vault backup: 2025-03-18 08:44:12 --- Concurrent Systems/notes/5 - Software Transactional Memory.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md index 8eb9eac..db87730 100644 --- a/Concurrent Systems/notes/5 - Software Transactional Memory.md +++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md @@ -144,7 +144,8 @@ X.read_T(i) := # 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 + # da una trans. che ha scritto Y (e letto/scritto X) + # è lo stesso check che facevo prima ma non solo per X, ma per tutti i registri che ho letto fino ad ora. ABORT ∀ Y ∉ read_set(T) do