Можем ли мы выделить память стека во время выполнения?
Когда функция рекурсивно вызывает себя и сохраняет предыдущее состояние в стеке, можем ли мы вызвать память, выделенную во время выполнения? Эта память стека вызовов не выделяется во время компиляции, поэтому можно ли с уверенностью заключить, что мы можем выделить память стека во время выполнения?
Меня немного смущают материалы в Интернете, в которых говорится, что распределение памяти во время выполнения — это другое название динамического распределения памяти, что, на мой взгляд, является чрезмерным упрощением.
Размер кадра стека обычно задается во время компиляции с помощью параметров функций и локальных переменных. Некоторые компиляторы предоставляют функцию alloca, которая позволяет динамически распределять память в стеке. Распределение кадров стека выполняется во время выполнения вашей ОС.
Как объясняет Аллан, это зависит от ОС. При вызове функции память для кадра стека функции резервируется. Например, Linux по умолчанию резервирует стек 4 МБ, а Windows — стек 1 МБ. Ячейка памяти, где начинается резервирование, сохраняется, поэтому при выполнении возврата функции можно вернуться туда. Вашим локальным переменным предоставляется хранилище из этого блока. Какая часть известности стека используется, зависит от количества используемых локальных переменных. В рекурсивном случае следующий кадр стека функций начнется после памяти для локальных переменных для текущего (и красной зоны в x86_64).
Я бы сказал, что вызов функции будет использовать ранее выделенное пространство стека. На странице руководства для alloca() написано «выделяет размерные байты пространства в кадре стека», но это находится в (предварительно выделенном) кадре стека.
См. Компоновка стекового фрейма на x86-64
Ответы 1
Память стека всегда выделяется во время выполнения, но в языке C конкретно не упоминается, как и где выполняется выделение. И, следовательно, C не позволяет нам напрямую манипулировать стеком, и это хорошо.
Некоторые нестандартные функции, такие как alloca, могут позволять выделение стека. Также весьма вероятно, что массивы переменной длины (VLA) размещаются в стеке. В любом случае библиотека или компилятор обрабатывают выделение/освобождение, как и в случае с любой стековой памятью.
«Выделение памяти во время выполнения» и даже «динамическое выделение памяти» не являются формальными терминами, поэтому они могут означать что угодно. Хотя динамическое распределение памяти является общепринятым де-факто стандартным названием для выделенного хранилища/свободного хранилища/распределения кучи... или как-то еще это можно назвать. Формальный термин, используемый в стандарте C, — выделенная память.
Это функция платформы, поэтому отметьте свой вопрос той операционной системой, которую вы используете. В Linux вы можете использовать
pthread_attr_setstack, чтобы установить размер стека потока перед его созданием во время выполнения.ulimitи во время выполненияsetrlimit()используется для установки размера стека (вплоть до жесткого предела) перед созданием процесса. Я не думаю, что возможно изменить размер существующего процесса/потока.