Key points are not available for this paper at this time.
As we learn from the literature, flexibility in choosing syn-chroni~ation operations greatly simplifies the task of designing highly concurrent programs.Unfortunately,
Shavit et al. (Sun,) studied this question.