Стек в программах

[Aoizora]

Что можно сказать об использовании стека программами?
Как связан аппаратный стек и стеки потоков?
Знает ли программа при старте, сколько ей нужно стековой памяти?
Если размер сегментов памяти 64к, как стек может занимать до 10 мб, если он расположен в сегменте?
Что происходит при переполнении стека? Почему он не может расти дальше как куча?

[Pavia]

Сообщение от Aoizora

Как связан аппаратный стек и стеки потоков?

Во время смены контекстов регистры перезагружаются, в том числе и отвечающие за аппаратный стек.

Сообщение от Aoizora

Знает ли программа при старте, сколько ей нужно стековой памяти?

Программа знать не может ведь её поведение зависит от пользователя.

Сообщение от Aoizora

Если размер сегментов памяти 64к, как стек может занимать до 10 мб, если он расположен в сегменте?

Значит либо сегменты не 64кб, либо стек не 10 мб.
Если говорить о x86 то там начиная с х386 сегменты по 4ГБ. А в 64-биной ещё больше.

Сообщение от Aoizora

Что происходит при переполнении стека? Почему он не может расти дальше как куча?

Всмысле? Он так и растёт как куча только в другую сторону.
Если стек исчерпал всю доступною ему память то срабатывает защита она кидается исключение. А дальше цепочка обработчиков исключений пробуют восстановить последнее рабочее состояние программы, а если не получилось, то убивают программу.

[Aoizora]

И я снова не понимаю: если аппаратный стек находится в сегменте SS, и сегменты в современных моделях памяти могут быть по 4 Гб и больше, то какой смысл несут фразы типа "компилятор студии выделяет стек размером 1 мб" и "стек на маках 512 кб"?

[Croessmah]

Сообщение от Aoizora

амяти могут быть по 4 Гб и больше, то какой смысл несут фразы типа "компилятор студии выделяет стек размером 1 мб" и "стек на маках 512 кб"?

Память для стека выделяется сразу при запуске процесса.
Если бы под стек выделялось 4 Гб, то Ваш
"Hello world" сразу бы жрал минимум 4 Гб оперативы перманентно.
Стек - гарантированно выделенное пространство.
Если Вы превысили его размер - вон из хаты.

[Black Fregat]

Ключевое слово тут

Сообщение от Aoizora

могут быть

Реально сегмент как раз и будет столько, сколько выделено.
Или вы хотите, чтобы ОС меняла размер сегмента стека "на ходу"?

[waleri]

Сообщение от Aoizora

компилятор студии выделяет стек размером 1 мб

Компилятор студии выделяет стек сколько скажете. 1мб это по умолчанию.
И смотреть надо на SS а на ESP.

[Pavia]

Aoizora

Сообщение от Aoizora

И я снова не понимаю: если аппаратный стек находится в сегменте SS, и сегменты в современных моделях памяти могут быть по 4 Гб и больше, то какой смысл несут фразы типа "компилятор студии выделяет стек размером 1 мб" и "стек на маках 512 кб"?

Сегменты это атавизм. Вместо них используют страницы.
Хотя и сегменты по 4ГБ, но они перекрываютcя. Все сегменты отображаются на линейное арестное пространство размером 4 ГБ.
И эти 4 Гб надо поделить на всё: ОС, динамическая память, стационарная память куча, код, стек, динамические библиотеке. Так ещё каждому процессу нужен свой стек. Да и скажу вам что и куча там не дна, а их несколько.
Вот и встаёт вопрос как разделить память?
Логично что ограничить размер, что-бы другим хватило памяти. Бог велел делиться.

Сообщение от Aoizora

"компилятор студии выделяет стек размером 1 мб"

Да выделяет. Этот размер прописывается в исполняемом файле. При старте процесса ОС считывает эти данные из файла и выделяет столько памяти под стек сколько указано.

[Aoizora]

>Этот размер прописывается в исполняемом файле

Где-то в PE-заголовках?

[p51x]

Нет, в произвольном месте.... Естественно, в заголовках.

[Aoizora]

Да, нашел.

https://msdn.microsoft.com/ru-ru/lib...(v=vs.85).aspx