From 32ee969e6a1adbed03a0940e15604b2bdb77622b Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 25 Mar 2025 08:43:01 +0100 Subject: [PATCH] vault backup: 2025-03-25 08:43:01 --- .obsidian/workspace.json | 4 ++-- Concurrent Systems/notes/8 - Enhancing Liveness Properties.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index e1d54a9..fe21334 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -229,10 +229,10 @@ "companion:Toggle completion": false } }, - "active": "0d64f519fd7f9420", + "active": "879210c00db77468", "lastOpenFiles": [ - "Concurrent Systems/slides/class 8.pdf", "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", + "Concurrent Systems/slides/class 8.pdf", "Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/images/Pasted image 20250324091452.png", "Concurrent Systems/slides/class 7.pdf", diff --git a/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md b/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md index abd81b2..6e2f97a 100644 --- a/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md +++ b/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md @@ -17,7 +17,7 @@ Can we take the most basic protocol that satisfies the most basic liveness prope REMARK: the moment in which all variables contain the same leader is unknown ``` -REMARK: the moment in which all variables contain the same leader is unknown +NEED_HELP[1..n] : SWMR atomic R/W boolean registers init at false need_help(i) := NEED_HELP[i] <- true