Как stack и heap используются при выполнении потоков?

При выполнении потоков JVM использует stack и heap совместно, но с разными ролями.

Общий принцип

Stack — это “как выполняется код”, heap — это “где живут объекты”.

Использование stack

В stack каждого потока JVM хранит:

1. Кадры вызова методов

2. Локальные переменные

3. Ссылки на объекты в heap

4. Адреса возврата

Stack:

1. Приватен для потока

2. Не требует синхронизации

3. Очищается автоматически

Использование heap

В heap:

1. Хранятся все объекты (new)

2. Объекты могут быть доступны нескольким потокам

3. Именно здесь возникают race condition

Пример:

class Counter {
    int value;
}

Counter counter = new Counter();

1. Ссылка counter лежит в stack потока

2. Сам объект Counter — в heap

3. Если ссылку передать другому потоку, объект станет shared

Почему синхронизация нужна именно для heap

Проблемы возникают, когда:

1. Несколько потоков читают и пишут один и тот же объект

2. Нет happens-before отношений

3. Изменения становятся невидимыми или перезаписываются

Поэтому используются:

1. synchronized

2. volatile

3. Классы из java.util.concurrent

Влияние на проектирование

Хорошая практика:

1. Делать объекты неизменяемыми

2. Минимизировать shared state

3. Максимум логики держать в локальных переменных

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

Stack и heap дополняют друг друга: stack изолирует выполнение, heap позволяет обмен данными.
Проблемы многопоточности всегда связаны с heap, а не со stack.