From 1eef509d014a4a337abbb3aa4ad67427817d651b Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 25 Mar 2025 17:02:22 +0100 Subject: [PATCH] vault backup: 2025-03-25 17:02:22 --- Concurrent Systems/notes/8 - Enhancing Liveness Properties.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md b/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md index 78ebb00..0def713 100644 --- a/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md +++ b/Concurrent Systems/notes/8 - Enhancing Liveness Properties.md @@ -81,7 +81,7 @@ Guessing the time duration for suspecting a process: ### From obstruction-freedom to wait-freedom **Eventually perfect:** failure detector ♢P provides each process $p_i$ a local variable $suspected_i$ such that -1. *(Eventual completeness)* eventually, $suspended_{i}$ contains all the indexes of crashed processes, for all correct $p_i$ +1. *(Eventual completeness)* eventually, $suspected_{i}$ contains all the indexes of crashed processes, for all correct $p_i$ 2. (*Eventual accuracy*) eventually, $suspected_{i}$ contains only indexes of crashed processes, for all correct $p_{i}$. **Definition:** A failure detector FD1 is **stronger** than a failure detector FD2 if there exists an algorithm that builds FD2 from instances of FD1 and atomic R/W registers.