volatile — видимость и порядок для одной переменной без блокировки. synchronized — видимость плюс взаимное исключение: блок целиком выполняется одним потоком, поэтому составные действия становятся атомарными.
А ещё Проверить-и-изменить (check-then-act) требует synchronized или атомарных классов
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
volatile применяется к полю. Гарантирует, что запись видна остальным потокам и операции не переставляются вокруг неё. Поток не ждёт: обращение стоит чуть дороже обычного, без блокировки.
synchronized применяется к блоку или методу и захватывает монитор объекта. Пока один поток внутри, остальные с тем же монитором ждут в состоянии BLOCKED. Освобождение монитора и последующий захват задают happens-before: всё, что сделал первый поток, видно следующему.
Пример, где volatile не хватает:
sottovolatile int balance;
void withdraw(int x) {
if (balance >= x) balance -= x; // два потока пройдут проверку одновременно
}Каждое отдельное чтение и запись видны, но проверка и изменение не атомарны вместе. Нужен synchronized или CAS-цикл.
Когда что:
Один верный вариант. Подумайте, потом откройте ответ.
Разница видимости и атомарности, atomic-классы, compare-and-swap и ABA, контеншн и LongAdder.
Взаимное исключение и видимость через монитор, reentrancy, guarded blocks с wait/notify и причины deadlock.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.