Неблокирующий CAS в Java действительно не блокирует?

Question

я собирался через статью о неблокируемому CAS и наткнулся на этот код:

public class SimulatedCAS { 
    private int value; 

    public synchronized int getValue() { 
    return value; 
    } 

    public synchronized int compareAndSwap(int expectedValue, int newValue) { 
    int oldValue = value; 
    if (value == expectedValue) 
     value = newValue; 
    return oldValue; 
    } 
} 

Как эта операция CAS неблокирующая, если он использует синхронизацию?

Если мы имеем в виду, что клиент этого SimulatedCAS не должен реализовывать собственную синхронизацию, то разве мы просто не переместили блокировку вместо ее устранения?

Answer 1

Обратите внимание, что это моделируется CAS (как следует из названия); в словах Брайана Гетца (листинг исходит от его «Java Параллелизм на практике» книга):

SimulatedCAS в листинге 15.1 иллюстрирует семантику (но не реализации или исполнения) КАН.

Фактическая реализация CAS нуждается в поддержке процессора, классы от java.util.concurrent.atomic пакета вызова native методы.