From 7708891e12fd8140c982b3edd30982bb06b71d6b Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 26 Mar 2025 16:51:30 +0100 Subject: [PATCH] vault backup: 2025-03-26 16:51:30 --- Concurrent Systems/notes/7- MUTEX-free concurrency.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/7- MUTEX-free concurrency.md b/Concurrent Systems/notes/7- MUTEX-free concurrency.md index bdd7fa1..94e32b2 100644 --- a/Concurrent Systems/notes/7- MUTEX-free concurrency.md +++ b/Concurrent Systems/notes/7- MUTEX-free concurrency.md @@ -88,7 +88,7 @@ get_ts(i) := if LAST[k] = i then NEXT++ return k - k++ + k++ ``` #### Soundness theorem (yes, again)