marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-03-26 16:56:30

Browse source
This commit is contained in:
Marco Realacci 2025-03-26 16:56:30 +01:00
parent 7708891e12
commit e7a0fdc7f2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/7- MUTEX-free concurrency.md
View file

@ -121,7 +121,7 @@ push(v) :=
pop() := pop() :=
k <- NEXT-1 k <- NEXT-1
for i = k down to 1 for i = k down to 1
tmp <- REG[1].swap(⊥) tmp <- REG[i].swap(⊥)
if tmp != ⊥ then if tmp != ⊥ then
return tmp return tmp
return ⊥ return ⊥