From ae70cdf57a6a759541f0346cc9b0928616338b0b Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 26 Mar 2025 11:37:36 +0100 Subject: [PATCH] vault backup: 2025-03-26 11:37:36 --- Concurrent Systems/notes/5 - Software Transactional Memory.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/5 - Software Transactional Memory.md b/Concurrent Systems/notes/5 - Software Transactional Memory.md index 4cabc7f..45e7603 100644 --- a/Concurrent Systems/notes/5 - Software Transactional Memory.md +++ b/Concurrent Systems/notes/5 - Software Transactional Memory.md @@ -64,7 +64,7 @@ begin_T() := birthdate(T) <- CLOCK + 1 X.read_T() := - if l?(XX) != ⊥ then + if lc(XX) != ⊥ then return lc(XX).val lc(XX) <- XX if lc(XX).date >= birthdate(T) then