Delphi ошибка stack overflow

The default maximum stack size for a thread is 1 MB. The three local variables of Button1Click total 131,070 + 65,535 * 4 + 65,535 * 8 = 917,490 bytes. When you call getProcessedData, you pass the parameter by value, which means that the function makes a local copy of the parameter on the stack. That adds SizeOf(TRawInts) = 262,140 bytes to bring the stack to at least 1,179,630 bytes, or about 1.1 MB. There’s your stack overflow.

You can reduce the stack use by passing the TRawInts array by reference instead. Then the function won’t make its own copy. Zdravko’s answer suggests using var, but since the function has no need to modify the passed-in array, you should use const instead.

function getProcessedData(const rawInts: TRawInts): TProcessedData;

Naively, we might expect the tempData and Result variables in getProcessedData to occupy additional stack space, but in reality, they probably won’t. First, large return types typically result in the compiler changing the function signature, so it would act more like your function were declared with a var parameter instead of a return value:

procedure getProcessedData(rawInts: TRawInts; var Result: TProcessedData);

Then the call is transformed accordingly:

getProcessedData(rawInts, processedData);

Thus, Result doesn’t take up any more stack space because it’s really just an alias for the variable in the caller’s frame.

Furthermore, sometimes the compiler recognizes that an assignment at the end of your function, like Result := tempData, means that tempData doesn’t really need any space of its own. Instead, the compiler may treat your function as though you had been writing directly into Result all along:

begin
  scaleFactor := 0.01;

  for i := 0 to 65534 do
    Result[i] := rawInts[i] * scaleFactor;
end;

However, it’s best not to count on the compiler to make those sorts of memory-saving changes. Instead, it’s better not to lean so heavily on the stack in the first place. To do that, you can use dynamic arrays. Those will move the large amounts of memory out of the stack and into the heap, which is the part of memory used for dynamic allocation. Start by changing the definitions of your array types:

type
  TRawData = array of Byte;
  TRawInts = array of Integer;
  TProcessedData = array of Double;

Then, in your functions that return those types, use SetLength to assign the length of each array. For example, the function we’ve seen already might go like this:

function getProcessedData(const rawInts: TRawInts): TProcessedData;
var
  i: Integer;
  scaleFactor: Double;
begin
  Assert(Length(rawInts) = 65535);
  SetLength(Result, Length(rawInts));

  scaleFactor := 0.01;

  for i := 0 to High(rawInts) do
    Result[i] := rawInts[i] * scaleFactor;
end;

← →
scout
 
(2003-05-03 20:31)
[0]

Ну беда!!! При запуске проекта вылетает сообщение:

Project lala.exe raised exception class EStackOverflow with message «Stack Overflow». Process stopped.

Что это такое и как с этим бороться?

← →
Anatoly Podgoretsky
 
(2003-05-03 20:49)
[1]

Бережнее относиться к стеку, не бездонный.

← →
default
 
(2003-05-03 21:36)
[2]

← →
Aldor
 
(2003-05-03 22:04)
[3]

Означает переполнение стека. Надо смотреть код. Стек заполняется, например, при объявлении локальных переменных и вызовах процедур. Наиболее частая причина переполнения стека — слишком глубокая рекурсия, возможно без условия выхода.

Иногда ошибку можно найти, используя отладочное окно Call Stack

(View -> Debug Windows -> Call Stack). Удачи!

← →
scout
 
(2003-05-04 21:45)
[4]

> Наиболее частая причина переполнения стека — слишком глубокая рекурсия, возможно без условия выхода.

Ну ты и загнул попроще нельзя.

← →
Arch-vile
 
(2003-05-04 23:19)
[5]

>
> Наиболее частая причина переполнения стека — слишком глубокая >рекурсия, возможно без условия выхода.

>Ну ты и загнул попроще нельзя.

рекурсия — обратный вызов процедуры, т.е. когда она сама себя вызывает. Например

procedure xxx(i:integer);

begin

xxx(i);

end;

вот тебе и обратный вызов, рекурсия. может быть через 2-3 функции-процедуры:

procedure xxx(i:integer);

begin

yyy(i);

end;

← →
Arch-vile
 
(2003-05-04 23:21)
[6]

ну типа того, может быть сложнее, и не обязательно
i в качестве переменной

← →
k-man
 
(2003-05-05 18:35)
[7]

К вопросу понимания стека…

Попытаюсь предположить почему при глубокой рекурсии переполнятся стек.

Насколько я знаю 1)стек не бездонный.

2)в него при вызове процедур ложатся все (
не только они но все же по-моему они здесь стек и забивают)
К вопросу понимания стека…

Попытаюсь предположить почему при глубокой рекурсии переполнятся стек.

Насколько я знаю 1)стек не бездонный.

2)в него при вызове процедур ложатся все передаваемые аргументы(не только они но все же по-моему они здесь стек и забивают).

Может быть поэтому при глубокой рекурсии стек переполняется.

Так как эти параметров, точек возврата и т.д. становится слишком много..

Хотя это лишь предположение…. Вполне возможно ошибочное..

← →
Aldor
 
(2003-05-05 20:16)
[8]

← →
k-man
 
(2003-05-05 22:00)
[9]

А вот что интересно: От чего зависит размер стека?

И можно ли его как-то контролировать? Лично я сомневаюсь…

← →
Palladin
 
(2003-05-06 14:17)
[10]

> k-man © (05.05.03 22:00)



от установки

{$M}

← →
Alek Aaz
 
(2003-05-07 03:54)
[11]

ИМХО. Если в алгоритме есть логическая ошибка {$M} не поможет. Программа засрет все что можно.

← →
Palladin
 
(2003-05-07 08:47)
[12]

естественно

← →
Aldor
 
(2003-05-07 09:36)
[13]

Как? У ваc еще нет нового процессора Intel Pentium V, выполняющего бесконечный цикл за 6 секунд? :)))

← →
k-man
 
(2003-05-07 12:38)
[14]

> Как? У ваc еще нет нового процессора Intel Pentium V, выполняющего

> бесконечный цикл за 6 секунд? :)))



Слышал что это из рекламы суперкомпа Cray.

← →
Aldor
 
(2003-05-07 21:51)
[15]

2k-man

Не важно, это просто шутка

← →
Aldor
 
(2003-05-07 21:51)
[16]

2k-man

Неважно, это просто шутка

← →
k-man
 
(2003-05-07 22:34)
[17]

Неплохая шутка-)

Срабатывает обработчик, в нем вызывается Next, это вызывает срабатывание обработчика… и так до бесконечности, пока не забивается стек.

Как костыль — можно завести булеву переменную для блокировки обработчика: в начале обработчика проверять флаг, если его значение false — выставлять в true и выполнять остальную часть, в противном случае (если true) — выходить. Тогда при попытке повторно зайти в обработчик его выполнение тут же прекратится. Переменная должна быть объявлена не в самом обработчике, а выше (в модуле, в классе).

Другой костыль — в начале обработчика, выставлять вашему набору данных AfterScroll := nil, а в конце — возвращать обратно AfterScroll := ....

В обоих вариантах код обработчика стоит завернуть в try-finally и разблокировку выполнять в блоке finally. В противном случае, при возникновении исключения, вы останетесь без обработчика.

А вообще лучше разобраться, что у вас там с вычисляемым полем.