vault backup: 2025-03-25 12:57:48

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
 ```