Quiescent Consistency: Defining and Verifying Relaxed Linearizability
Data structures in the multicore age