Как известно, существует ряд Atomic-оболочек для примитивов. Главный принцип - они не использую привычную синхронизацию (synchronized), а реализуют "Compare and Set operation".
Например, возьмём AtomicLong. Чтобы увеличить текущее значение, есть метод getAndAdd.
Заглянем в сорцы:
private volatile long value;
public final long get() {
return value;
}
public final long getAndAdd(long delta) {
while (true) {
long current = get();
long next = current + delta;
if (compareAndSet(current, next))
return current;
}
}
Вопрос: где тут атомарность операции? Что мешает другому потоку зайти внутрь while или вообще, поменяв значение value, передать в next совсем не то, чтобы просечено в current?
Тем более, что value объявлено как volatile, что говорит о том, что это значение общее для всех потенциальных потоков.
compareAndSet
передается текущее значениеvalue
. Если другой поток зайдет и успеет провести свой инкремент, тоcompareAndSet
просто вернетfalse
и цикл повторится. А сама операция CAS атомарна. На всякий случай напомню: локальные переменные у каждого потока, конечно, будут свои.