Почему у каждого потока свой stack?

Question

У каждого потока свой stack, потому что каждый поток выполняет свой набор вызовов методов.
В стеке хранятся локальные переменные и состояние выполнения, которое нельзя разделять между потоками.
Если бы стек был общий, потоки мешали бы друг другу и ломали бы выполнение методов.
Раздельный стек обеспечивает изоляцию и безопасность выполнения.

YeaHub · Accepted Answer

Каждый поток в JVM — это независимая «линия выполнения», и ей нужен свой собственный контекст.ОпределениеОтдельный stack на поток — это механизм изоляции выполнения: каждый поток хранит свои stack frames независимо от других.Что именно лежит в стеке потокаСтек хранит данные, которые относятся к конкретному потоку:Цепочку вызовов методовПараметры и локальные переменныеВременные значения вычисленийТочки возврата (куда вернуться после вызова)Все это уникально для потока, потому что потоки выполняют разный код и в разное время.Что было бы, если бы stack был общийЕсли представить общий стек на все потоки, возникли бы проблемы:Поток A положил frame метода foo()Поток B положил поверх frame метода bar()Поток A продолжает выполнение, но стек уже «испорчен» чужими кадрамиВозвраты из методов и локальные переменные начинают путатьсяИтог:Непредсказуемое поведениеКраш JVMПолная невозможность гарантировать корректностьПочему это важно для потокобезопасностиРаздельные стеки дают естественную безопасность:Локальные переменные одного потока недоступны другому напрямуюВызовы методов не пересекаютсяGC Roots для потока включают его стек, поэтому достижимость считается корректноПрактический примерВ двух потоках может быть одинаковое имя переменной x, но это разные переменные в разных стеках:void work() {
    int x = 10; // локальная переменная конкретного потока
}
Каждый поток получит свой x.Краткий выводУ каждого потока свой stack, потому что стек — это контекст выполнения, который нельзя безопасно разделять.Это обеспечивает изоляцию, корректные вызовы методов и базовую потокобезопасность локальных данных.