Как работает «Сравнить и установить» в AtomicInteger ⇐ JAVA

[Anonymous]

AtomicInteger работает с двумя концепциями: CAS и изменчивая переменная.

Использование изменчивой переменной гарантирует, что текущее значение будет видно всем потоки, и он не будет кэшироваться.

Но меня смущает концепция CAS (сравнить И установить), которая объясняется ниже:

public final int getAndIncrement() {
for (;;) {
int current = get();
int next = current + 1;
if (compareAndSet(current, next))
return current;
}
}


Мой вопрос в том, чтоif(compareAndSet(current, next) возвращает false? Значение не обновится?
В этом случае, что произойдет, когда поток выполняет следующий случай:

private AtomicInteger count = new AtomicInteger();
count.incrementAndGet();


Подробнее здесь: https://stackoverflow.com/questions/326 ... eger-works