From 9e805c5447ac1a315df352cfac040be16ada56e8 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 25 Mar 2025 12:57:48 +0100 Subject: [PATCH] vault backup: 2025-03-25 12:57:48 --- Concurrent Systems/notes/7- MUTEX-free concurrency.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/7- MUTEX-free concurrency.md b/Concurrent Systems/notes/7- MUTEX-free concurrency.md index 1e60845..c35fd38 100644 --- a/Concurrent Systems/notes/7- MUTEX-free concurrency.md +++ b/Concurrent Systems/notes/7- MUTEX-free concurrency.md @@ -158,6 +158,7 @@ push(w) := conclude(i,v,s) if i=k then return FULL + else newtop <- ⟨i+1,w,STACK[i+1].seq_num+1⟩ if TOP.compare&set(⟨i,v,s⟩,newtop) then return OK @@ -172,7 +173,7 @@ pop() := conclude(i,v,s) if i=0 then return EMPTY - newtop <- ⟨i-1,STACK[i-1⟩ + newtop <- ⟨i-1,STACK[i-1]⟩ if TOP.compare&set(⟨i,v,s⟩,newtop) then return v ```