From 07c796a4fcea1afd06170122b2991d869d5b6f0c Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 18 Mar 2025 09:14:12 +0100 Subject: [PATCH] vault backup: 2025-03-18 09:14:12 --- Concurrent Systems/notes/6 - Atomicity.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index e08a37e..7aa2f11 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -15,6 +15,7 @@ A history is **complete** if every inv is eventually followed by a corresponding A complete history $\hat{H}$ is **linearizable** if there exists a sequential history $\hat{S}$ s.t. - $\forall X :\hat{S}|_{X} \in semantics(X)$ - $\forall p:\hat{H}|_{p} = \hat{S}|p$ + - cannot swap actions performed by the same process - If $res[op] <_{H} inv[op']$, then $res[op] <_{S} inv[op']$ - can rearrange events only if they overlap