В чем разница между Atomic и Synchronized?

Разница между Atomic и Synchronized в Java для многопоточности

В контексте многопоточности в Java (особенно при разработке Android приложений) Atomic и Synchronized представляют два фундаментально разных подхода к обеспечению безопасности доступа к данным из нескольких потоков.

Synchronized: Блокировка на уровне объекта или метода

Synchronized — это механизм встроенной блокировки ( intrinsic lock или monitor lock) на уровне языка. Он использует ключевое слово synchronized для методов или блоков кода.

• Механизм: Когда поток входит в synchronized метод или блок, он захватывает монитор объекта (для synchronized методов) или указанного объекта (для synchronized блоков). Все другие потоки, пытающиеся войти в synchronized область с тем же монитором, блокируются до его освобождения.
• Синтаксис и пример:

public class Counter {
    private int count = 0;

    // synchronized метод
    public synchronized void increment() {
        count++;
    }

    // synchronized блок
    public void decrement() {
        synchronized(this) {
            count--;
        }
    }
}

• Где хранится состояние: Блокировка напрямую связана с состоянием объекта (count), защита которого является целью.
• Уровень гарантий: Гарантирует полную атомарность и видимость изменений (через правила памяти happens-before) для всего кода внутри synchronized области. Однако может приводить к избыточному блокированию.
• Основные риски: Deadlock (когда два потока ждут блокировки друг друга), performance overhead (захват и освобождение блокировки, ожидание) и coarse-grained locking (блокировка всего метода даже для небольшой операции).

Atomic: Атомарные операции на уровне переменных с CAS

Atomic классы (например, AtomicInteger, AtomicLong, AtomicReference) из пакета java.util.concurrent.atomic реализуют механизм Compare-And-Swap (CAS).

• Механизм: Операции выполняются с использованием неблокирующих алгоритмов. Вместо захвата монитора поток пытается обновить значение, используя низкоуровневые атомарные инструкции процессора (часто через sun.misc.Unsafe). Ключевая операция compareAndSet(expectedValue, newValue) проверяет, что текущее значение равно expectedValue, и только тогда устанавливает newValue. Если проверка fails (значение уже изменилось другим потоком), операция повторяется (часто в цикле).
• Синтаксис и пример:

public class Counter {
    private AtomicInteger count = new AtomicInteger(0);

    public void increment() {
        count.incrementAndGet(); // Внутри использует CAS
    }

    public void decrement() {
        count.decrementAndGet();
    }
}

• Где хранится состояние: Атомарное состояние хранится внутри специального класса (AtomicInteger), который предоставляет атомарные API для работы с ним.
• Уровень гарантий: Гарантирует атомарность конкретной операции (инкремент, декремент, сложение) над одной переменной. Гарантии видимости также обеспечиваются (используют volatile семантику внутри).
• Основные преимущества: Высокая производительность в условиях высокой конкуренции (нет блокировок, потоки не "sleep", а активно пытаются выполнить CAS), избегание deadlock.

Ключевые различия в сравнительной таблице

Когда что использовать?

• Используйте Atomic классы, когда вам нужна атомарная операция над одной переменной (инкремент, обновление ссылки) в условиях высокой конкуренции потоков. Это классический выбор для счетчиков, флагов, простых состояний.
• Используйте synchronized, когда вам необходимо обеспечить атомарность составной операции (например, "check-then-act", обновление нескольких связанных полей объекта), или когда логика критической секции сложна и не сводится к одному CAS. Также synchronized может быть более простым и читаемым выбором для объектов с низкой конкуренцией.

В современных Android приложениях часто предпочитают более высокоуровневые инструменты из java.util.concurrent (например, ConcurrentHashMap, Locks), но понимание базовых принципов Atomic и Synchronized критически важно для написания корректного и эффективного многопоточного кода.