A Wait-Free Stack

Artikeln presenterar en ny algoritm för att skapa en "wait-free" stack, vilken anses vara den första i sitt slag för en generell stack. Tidigare forskning har fokuserat på begränsade "wait-free" eller "lock-free" implementationer. Kärnan i implementationen är en snabb "pop"-operation som markerar noder för lat borttagning istället för att direkt modifiera stackens topp. En "cleanup"-operation hanterar den lata borttagningen och säkerställer att stackens storlek hålls under kontroll. Alla operationer i algoritmen är "wait-free" och "linearizable".