Stop-the-world — пауза, когда все потоки приложения стоят. Останавливаются они в safepoint — точках кода, где JVM точно знает, какие ячейки стека и регистры содержат ссылки, и может безопасно двигать объекты и исправлять ссылки.
А ещё Долгий счётный цикл без опросов задерживает остановку всех потоков
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Зачем останавливать. Перемещая объект, сборщик должен обновить все ссылки на него. Если поток в этот момент держит адрес в регистре, он обратится к старому месту. В safepoint JVM располагает картой ссылок (oop map) для каждого кадра и может всё исправить.
Как поток доходит до safepoint. JIT вставляет опрос (чтение страницы памяти или флага) в обратные переходы циклов и при возврате из методов. JVM включает флаг — потоки доходят до ближайшего опроса и останавливаются. Поток в нативном коде или заблокированный считается уже в safepoint.
Time-to-safepoint. Пауза начинается, когда остановлен первый поток, а работа — когда последний. Счётный цикл по int, который JIT счёл «коротким», может не иметь опросов — и вся JVM ждёт его. В логах это видно как разница между временем до остановки и временем пауз (-Xlog:safepoint).
Эволюция сборщиков — перенос работы из паузы в конкурентные фазы: Parallel делает всё в паузе, G1 — маркировку конкурентно, ZGC и Shenandoah — и перемещение. Современные JVM также останавливают потоки по одному (thread-local handshakes) там, где не нужна глобальная пауза.
Один верный вариант. Подумайте, потом откройте ответ.
Mark-sweep-compact и копирование, stop-the-world и safepoints, конкурентная маркировка, G1 и ZGC и выбор по throughput/latency.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto