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

Каждый поток в JVM — это независимая «линия выполнения», и ей нужен свой собственный контекст.

Определение

Отдельный stack на поток — это механизм изоляции выполнения: каждый поток хранит свои stack frames независимо от других.

Что именно лежит в стеке потока

Стек хранит данные, которые относятся к конкретному потоку:

1. Цепочку вызовов методов

2. Параметры и локальные переменные

3. Временные значения вычислений

4. Точки возврата (куда вернуться после вызова)

Все это уникально для потока, потому что потоки выполняют разный код и в разное время.

Что было бы, если бы stack был общий

Если представить общий стек на все потоки, возникли бы проблемы:

1. Поток A положил frame метода foo()

2. Поток B положил поверх frame метода bar()

3. Поток A продолжает выполнение, но стек уже «испорчен» чужими кадрами

4. Возвраты из методов и локальные переменные начинают путаться

Итог:

1. Непредсказуемое поведение

2. Краш JVM

3. Полная невозможность гарантировать корректность

Почему это важно для потокобезопасности

Раздельные стеки дают естественную безопасность:

1. Локальные переменные одного потока недоступны другому напрямую

2. Вызовы методов не пересекаются

3. GC Roots для потока включают его стек, поэтому достижимость считается корректно

Практический пример

В двух потоках может быть одинаковое имя переменной x, но это разные переменные в разных стеках:

void work() {
    int x = 10; // локальная переменная конкретного потока
}

Каждый поток получит свой x.

Краткий вывод

У каждого потока свой stack, потому что стек — это контекст выполнения, который нельзя безопасно разделять.
Это обеспечивает изоляцию, корректные вызовы методов и базовую потокобезопасность локальных данных.