From 04a3e0452df3853b1d5cb9cb02eb0eca177b01f7 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 00:02:45 +0100 Subject: [PATCH] vault backup: 2025-03-18 00:02:45 --- Concurrent Systems/notes/5 - Software Transactional Memory.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md index 55e1b36..47bc50c 100644 --- a/Concurrent Systems/notes/5 - Software Transactional Memory.md +++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md @@ -146,6 +146,8 @@ X.read_T(i) := ∀ Y ∉ read_set(T) do t_depend_T[Y] <- max{t_depend_T[Y], lc(XX).depend[Y]} # aggiorno la dipendenza da Y della transazione + # perché solo per quelli NON nel read_set? + # perch´ return lc(XX).val