Что обеспечивает ключевое слово synchronized?

У каждого объекта в Java есть монитор. synchronized захватывает его: пока один поток внутри блока, другие, пытающиеся войти по тому же монитору, ждут.

Две гарантии, обе важны:

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

На каком объекте блокировка:

• synchronized метод экземпляра — на this;
• static synchronized — на объекте класса;
• блок synchronized (lock) { ... } — на указанном объекте; так можно сузить критическую секцию и использовать приватный объект-замок.

Типичная ошибка — защищать одни данные разными мониторами: два потока синхронизированы, но по разным объектам, и гонка остаётся.

Монитор реентерабелен и освобождается автоматически при любом выходе из блока, включая исключение. Дополнительно у монитора есть wait/notify для ожидания условий.

class Counter {
    private final Object lock = new Object();
    private int value;

    void increment() {
        synchronized (lock) { value++; }  // атомарно и видимо
    }
    int get() {
        synchronized (lock) { return value; }
    }
}