Исходя из обсуждения, которое началось в комментариях к этому вопросу .
Как можно было бы написать Spinlock без операций CAS?
Как говорится в другом вопросе:
Модель упорядочения памяти такова, что запись будет атомарной (если два одновременно работающих потока записывают ячейку памяти одновременно, результат будет один или другой). Платформа не будет поддерживать атомарные операции сравнения и задания.