Exercizing the hazard-pointer Treiber stack