переполнения стека, когда глубина рекурсии неизвестна

[FeelUs]

можно ли (если да, то как) узнать, что при вызове след. функции или при входе в след. блок произойдет переполнение стека?
//кроме как суммировать sizeof всех переменных (и адресов возврата, что записываются в сек перед вызовом ф-ции)
или как-нибудь перехватить это исключением?

[RXL]

А если переписать алгоритм на итеративный?

[FeelUs]

не, а если не переписывать

[RuNTiME]

FeelUs, Проверять значение регистра ESP. В нем содержится текущее смещение в стеке.

[FeelUs]

О, точно, спасибо, а как его получить, и с чем сравнивать?

[RuNTiME]

FeelUs,
Ну например можно так получить:

Код: (C++)

unsigned int esp_val;

_asm {
    mov esp_val, esp
};

Только я бы на твоем месте не возился с размером стека, т.к. его размер определяется реализацией операционной системы и может меняться от версии к версии. Лучше перепиши алгоритм...

[FeelUs]

т.е. размер стека определяется не на этапе компиляции а на этапе выполнения?

[Finch]

На этапе линковки можно задать параметр, который будет определять минимальный размер стека для программы. А реальный размер стека определяется ОС.

[FeelUs]

а вообще операционная система ведь проверяет, не обратилась ли программа к нетой области памяти, не переполнился ли у нее стек, зачем она заставляет программу делать тоже самое ещё раз?
//наверно, она предполагает, что программа не должна делать проверку еще раз и при этом у нее не должны случаться такие ситуации...
неужели она не может, если заметила подобное поведение у программы, не аварийно закрывать ее, а как-нибудь сообщить об этом в программу?
//я конечно понимаю, что все это довольно сложно, и врядли такое есть в винде, но может это есть в других ОС? :

а кстати что за параметр (в MSVC2008)?
или чему он равен по умолчанию?

[Finch]

FeelUs, Что то ты сумбурно пишешь. Такое ощущение, что разговариваешь сам с собой.

Добавлено через 3 минуты и 54 секунды:
Вот параметр для установки минимального требуемого размера стека для программы.
http://msdn.microsoft.com/en-us/library/8cxs58a6(v=vs.80).aspx

[FeelUs]

прям порассуждать нельзя

[RuNTiME]

FeelUs, Если бы операционные системы отслеживали стек, то одной из самых коварных уязвимостей типа "Переполнение стека (переполнение буфера размещенного в стеке)" просто не существовало. Но чтобы реализовать проверку на переполнение стека потребовалось бы проверять каждую попытку программы выделить память в стеке. А это происходит настолько часто, что любая даже самая простейшая проверка превратит современный компьютер в доисторический калькулятор... И по этому память в стеке выделяется и освобождается всего одной командой процессора:

Код: (ASM)

mov eax, 4 ;поместили в регистр eax число 4
push eax ;выделили в стеке 4 байта
pop eax ;освободили в стеке 4 байта

[Finch]

RuNTiME, Частично не верно ОС отслеживает переполнение стека в целом. Т.е Вышел ли указатель вершины стека за пределы пула стека. А что творится внутри пула стека ОС никак не волнует. Это дело лежит полностью на совести программиста.

[FeelUs]

правильно, при выполнении push eax; не переполнился ли стек проверяет процессор , и если переполнение произошло, происходит прерывание (или что-то вроде того) и управление передается ОС
(т.е. это поддерживается аппаратно)
иначе как ОС понимает, что произошло переполнение стека или обращение к нетой ячейке памяти чтобы закрыть программу

[RuNTiME]

Finch, FeelUs, точно - точно, подзабыл  нюансы работы ОС с памятью. Вспомнил тут про Structured Exception Handling. С его помощью можно ловить те самые исключения, которые генерирует ОС на прерывание переполнения. Почитать об этом можно тут: http://www.insidepro.com/kk/014/014r.shtml

[PredatorAlpha]

Переполнение отслеживается на уровне страниц. Система никак это не проверяет, пока не "стрельнет".
http://wm-help.net/books-online/book/59464/59464-9.html
Немного старо, но принцип тот же.

[RXL]

Не знаю, что там в винде, а насчет Линукса мы еще семь лет назад разбирали: в конце стековой области процесса имеется специальная страница, при записи в которую происходит исключение и ядро выделяет еще одну страницу. Максимальный размер стека регулируется лимитами.

[PredatorAlpha]

Не знаю, что там в винде, а насчет Линукса мы еще семь лет назад разбирали: в конце стековой области процесса имеется специальная страница, при записи в которую происходит исключение и ядро выделяет еще одну страницу. Максимальный размер стека регулируется лимитами.

А если кто-то решит передать большой объект по значению? Размером, этак, в 8К. Копировать его компилятор будет, естественно, с младших адресов...

[RXL]

PredatorAlpha, если очень интересно - загляни в исходники ядра Линукс. Я это делал давно (тогда - 7 лет назад) и всю полноту картины не помню. А еще проще - написать тест по твоим условиям. Думаю, он сработает.