Ответ.

История вопроса:

С появления Java разработчики столкнулись с проблемой конкурентного доступа к общим ресурсам. Для решения были введены высокоуровневые примитивы синхронизации, главным из которых стал ключевой модификатор synchronized.

Проблема:

Без синхронизации в многопоточных приложениях разделяемые ресурсы могут быть повреждены: появляется data race, состояние объекта становится непредсказуемым.

Решение:

synchronized позволяет организовать монитор для метода или блока кода, обеспечивая доступ только одному потоку в момент времени к критической секции. Синхронизация потока может быть реализована на уровне метода или блока.

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

public class Counter {
    private int count = 0;
    public synchronized void increment() {
        count++;
    }
    public int getCount() {
        return count;
    }
}

Блоки также можно синхронизировать:

public void safeIncrement() {
    synchronized(this) {
        count++;
    }
}

Ключевые особенности:

Синхронизация на уровне метода эквивалентна синхронизации на уровне this
Для статических методов синхронизация по классу-объекту
Необходимо минимизировать область критической секции

Вопросы с подвохом.

Чем отличается synchronized-метод от synchronized-блока?

synchronized-метод блокирует весь метод для текущего объекта (this) или класса (если метод static). Блок позволяет синхронизировать только нужный кусок кода и выбрать любой объект для блокировки.

Может ли два разных потока одновременно войти в два разных synchronized-метода одного объекта?

Нет, если методы синхронизированы на одном мониторе (this). Если используют разные мониторы, то да.

Влияет ли модификатор synchronized на видимость переменных между потоками?

Да, вход в synchronized-блок сбрасывает кеши потоков и обновляет значения переменных (happens-before relationship).

Типовые ошибки и анти-паттерны

Синхронизация на слишком "широком" объекте (например, на String или class-объекте)
Долгое выполнение кода внутри синхронизированного блока
Перемешивание доступа к одному ресурсу через synchronized-блоки и несинхронизированные участки

Пример из жизни

Негативный кейс

Разработчик синхронизирует статические методы класса на объекте экземпляра, что не гарантирует корректность при использовании через разные экземпляры.

Плюсы:

Простая реализация

Минусы:

Неожиданные гонки данных между потоками
Трудноуловимые баги

Позитивный кейс

Все методы, пользующиеся общим ресурсом, синхронизируются на одном объекте-мониторе, область критической секции минимальна.