A simple and correct shared-queue algorithm using compare-and-swapJanice M. Stone1990ACM/IEEE SC 1990