happens-before, volatile, атомарные классы и CAS.
volatile даёт видимость, но не атомарность i++.LongAdder под высокой конкуренцией.Практика. Показать проблему видимости без volatile и исправить тремя способами.
Практика. Разобрать реализацию ленивого синглтона с double-checked locking и объяснить, что гарантирует volatile.
Войдите, чтобы пройти тест: сданный тест отмечает тему пройденной на карте и в ИПР.
AtomicInteger выполняет операции вроде инкремента атомарно без блокировок — на аппаратной инструкции CAS (сравнение с обменом).
Полный разборvolatile даёт видимость (запись сразу видна другим потокам) и запрет переупорядочивания вокруг обращения, но не атомарность: count++ на volatile-поле всё равно теряет обновления.
Полный разборnew Singleton() — три шага: выделить память, выполнить конструктор, присвоить ссылку. Без volatile присвоение может опередить конструктор, и второй поток на первой проверке (вне synchronized) получит недостроенный объект.
Полный разборПроблема видимости: без синхронизации нет гарантии, что поток увидит изменение, сделанное другим, — нужен volatile или синхронизация.
Полный разборvolatile — видимость и порядок для одной переменной без блокировки. synchronized — видимость плюс взаимное исключение: блок целиком выполняется одним потоком, поэтому составные действия становятся атомарными.
Полный разборCAS сравнивает только текущее значение, а не историю: A → B → A выглядит как «ничего не менялось». В lock-free структурах со ссылками это ломает данные (узел удалили и переиспользовали).
Полный разборЗачем нужна модель памяти, видимость и переупорядочивание, отношение happens-before, семантика volatile и final, гонки данных.
Разница видимости и атомарности, atomic-классы, compare-and-swap и ABA, контеншн и LongAdder.
После собеседования sotto разбирает разговор: оценка, каждый вопрос — хорошо, частично или слабо, чего не хватило в ответе и над чем поработать к следующему разу. Первые 30 минут бесплатно.