Treiber stack algorithm