CAS (Compare-And-Swap) — это атомарная операция, используемая в многопоточном программировании для реализации неблокирующих алгоритмов и структур данных. Главная идея CAS заключается в том, чтобы сравнить текущее значение переменной с ожидаемым, и если они совпадают, заменить это значение на новое. Всё это происходит атомарно, без возможности вмешательства других потоков.

Принцип работы:

Сначала считывается текущее значение переменной.
Выполняется сравнение с ожидаемым значением.
Если значения совпадают, переменная обновляется на новое значение.
Если нет — операция не выполняется, и можно повторить попытку.

Это позволяет реализовать эффективные неблокирующие алгоритмы, избегая использования тяжелых блокировок (synchronized), что повышает производительность в многопоточных средах.

Пример на Java с использованием AtomicInteger:

import java.util.concurrent.atomic.AtomicInteger;

public class CASExample {
    private AtomicInteger value = new AtomicInteger(0);

    public void increment() {
        int oldValue;
        int newValue;
        do {
            oldValue = value.get();
            newValue = oldValue + 1;
        } while (!value.compareAndSet(oldValue, newValue));
    }
}

Здесь метод compareAndSet реализует CAS: если текущее значение равно oldValue, оно заменяется на newValue.

Можете ли объяснить принцип работы CAS и в чем заключается его главная идея?