From 87641c05270b90c59129906e1a6b7abdc71a70af Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 26 Mar 2025 12:13:52 +0100 Subject: [PATCH] vault backup: 2025-03-26 12:13:51 --- Concurrent Systems/notes/6a - Alternatives to Atomicity.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/6a - Alternatives to Atomicity.md b/Concurrent Systems/notes/6a - Alternatives to Atomicity.md index 2502a8e..fc84858 100644 --- a/Concurrent Systems/notes/6a - Alternatives to Atomicity.md +++ b/Concurrent Systems/notes/6a - Alternatives to Atomicity.md @@ -34,7 +34,7 @@ Hence, we have two histories that are sequentially consistent but whose composit **Def:** a complete history $\hat{H}$ is **serializable** if there exists a sequential history $\hat{S}$ s.t. 1. $\forall X : \hat{S}|_X \in semantics(X)$ -2. $S = \{e \in H : e \in t \ in committedTrans(\hat{H})\}$ +2. $S = \{e \in H : e \in t \in committedTrans(\hat{H})\}$ 3. $\to_{trans} \subseteq \to_{S}$ where $\to_{trans}$ is defined like $\to_{proc}$ in sequential consistency. It is a more general notion than linearizability, **but it is not compositional** (consider the previous example but with transactions instead of processes). \ No newline at end of file