vault backup: 2025-03-24 10:18:11

Concurrent Systems/notes/7- MUTEX-free concurrency.md

@@ -169,10 +169,10 @@ pop() :=
 	while true do
 		⟨i,v,s⟩ <- TOP
 		conclude(i,v,s)
-	if i=k then
-		return FULL
-	newtop <- ⟨i+1,w,STACK[i+1].seq_num+1⟩
+		if i=0 then
+			return EMPTY
+	newtop <- ⟨i-1,STACK[i-1⟩
 	if TOP.compare&set(⟨i,v,s⟩,newtop) then
-		return OK
+		return v
 ```