Предоставляет ли Linux недоступную область памяти под нижним концом стека, которая имеет гарантированный минимальный размер? И если такой гарантированный минимальный размер существует, то какой?
Или, другими словами, когда я должен начать беспокоиться о том, что alloca() или около того дает мне указатели на действительную нестековую память?
Как сказано на справочной странице alloca:
Нет индикации ошибки, если кадр стека не может быть расширен. (Однако после неудачного выделения программа, скорее всего, получит сигнал SIGSEGV, если попытается получить доступ к нераспределенному пространству.)
Таким образом, нет никакого указания вообще, и это также говорит:
Если выделение вызывает переполнение стека, поведение программы не определено.
Проблема переполнения стека является общей проблемой с рекурсией и не относится к alloca или, скажем, к массивам переменной длины. Как правило, вам нужно либо найти способ ограничить глубину рекурсии, выполнить рефакторинг для итеративного решения, либо использовать собственный динамический стек (вероятно, не относится к этому случаю).
Обновить
Как обнаружил OP, Linux действительно предоставляет после указания факта с помощью защитной страницы после переполнения стека путем генерации сигнала SIGBUS, который относится к первой части вопроса.
Спасибо @ElliottFrisch за то, что заставил меня погуглить это с правильным именем... упс.
Похоже, ответ "в новых ядрах: одна страница, в старых ядрах: такой защиты нет".
