В чем отличие AtomicInteger от synchronized?

В многопоточном программировании на Java обеспечение безопасного доступа к общим данным — критически важная задача. Два основных подхода — использование атомарных классов (AtomicInteger) и синхронизированных блоков (synchronized) — решают эту проблему принципиально разными способами.

Механизм работы synchronized

Ключевое слово synchronized создает мониторную блокировку (mutex) на объекте. Когда поток входит в синхронизированный блок или метод, он захватывает монитор объекта. Другие потоки, пытающиеся войти в синхронизированную секцию с тем же монитором, блокируются до тех пор, пока первый поток не освободит его. Это гарантирует, что только один поток может выполнять защищенный код в любой момент времени.

public class Counter {
    private int count = 0;
    
    public synchronized void increment() {
        count++; // Операция защищена блокировкой
    }
}

Механизм работы AtomicInteger

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

import java.util.concurrent.atomic.AtomicInteger;

public class AtomicCounter {
    private AtomicInteger count = new AtomicInteger(0);
    
    public void increment() {
        count.incrementAndGet(); // Использует CAS под капотом
    }
}

Ключевые различия и применение

• Производительность: AtomicInteger обычно быстрее в сценариях с высокой конкуренцией потоков, так как избегает дорогостоящих операций блокировки и разблокировки, а также переключения контекста.
• Гранулярность: synchronized защищает целые блоки кода, тогда как AtomicInteger обеспечивает атомарность только для отдельных операций.
• Deadlock: synchronized может привести к взаимным блокировкам, если неправильно спроектировать порядок захвата мониторов. AtomicInteger полностью свободен от этой проблемы.
• Составные операции: Для сложных операций, состоящих из нескольких шагов (например, проверка-затем-действие), synchronized проще и надежнее, так как гарантирует атомарность всей последовательности.

Вывод: Используйте AtomicInteger для простых атомарных операций (инкремент, декремент, сравнение) в высококонкурентных сценариях, где важна производительность. Synchronized лучше подходит для защиты сложных составных операций или когда нужно гарантировать атомарность нескольких связанных действий.