Влияние блока try на скорость, Особенно влияет содержимое блока except Опции

[TarasBer]

По идее влиять не должно. Однако

program TestTry;

{$APPTYPE CONSOLE}

uses
  Windows, Dialogs;

var
  T: integer;
  i: integer;

procedure Delay;
var
  i: integer;
  s: extended;
begin
  try
	s := sin(1);
  except
	ShowMessage('WTF?');
  //  ShowMessage('W T F ?');
	Halt;   
  end;
end;

begin
  T := GetTickCount;
  while T = GetTickCount do;
  T := GetTickCount;
  for i := 0 to 9999999 do Delay;
  i := GetTickCount - T;
  WriteLn(i);
  ReadLn;
end.

Все проверки убрал, отладчик выключил, оптимизацию включил.
В таком виде у меня выводит 2534-2544
Однако, если раскомментировать строчку со вторым сообщением, то он вдруг выводит 2834-2854.
Если добавить туда ещё строчку ShowMessage('W T F ?'), то он выведет 2613
Откуда берётся такая разница?
И как вообще устроен этот блок на самом деле?

[volvo]

Очень интересно... Вообще-то если ошибки не было, то содержимое блока except пропускается:
RSDN: Исключительные ситуации и надежное программирование

Кстати, это все компилируется в Debug-е или в Release? Что, если ВООБЩЕ убрать блок try/except - это даст прирост скорости на твоем компиляторе? Я попробовал у себя добавить десяток строк ShowMessage('всякая фигня') - время выполнения нисколько не увеличилось.

[TarasBer]

Это компилируется на дельфе-семёрке, все проверки выключены, отладка выключена, отладчик тоже, оптимизация включена. Я и ctrl+alt+c нажимал, ничего такого необычного (по данной теме) не обнаружил. С одним показом сообщения и с 3 скорость примерно одна, а с двумя - другая. Я подобрал именно такие два сообщения, которые наиболее замедляют выполнение. Странно даже, что с 3 сообщениями это делается быстрее, чем с 2мя.
Если убрать часть except, будет 2601. Если убрать try, оставив синус, будет 2353, ну это может из-за того, что try совершает заменяет указатель на обработчик исключений, это требует немного времени.

[volvo]

С одним показом сообщения и с 3 скорость примерно одна, а с двумя - другая.

Да нет там показа, вот в чем проблема... Не было исключения - блок except проигнорировался... Если б был показ - то твоя программа тут же завершилась бы, ибо Halt находится там же...

Кстати, проверил этот же код в FPC (заменив ShowMessage на Writeln)... Мало того, что абсолютно одинаковое поведение (время нисколько не увеличивается вне зависимости от числа "выводимых" строк), так еще и время одно и то же. Что там что тут: 410

[TarasBer]

> Да нет там показа, вот в чем проблема...

Я понимаю.
Вопрос в том, что само наличие там этой строчки почему-то влияет на скорость.

[volvo]

А вот это как у тебя работает:

{$APPTYPE CONSOLE}
{.$OPTIMIZATION OFF}

uses
  Windows, Dialogs, SysUtils;

procedure Delay;
var
  s: extended;
begin
  try
    s := sin(1);
  except
    on E: Exception do // Это может оказаться необходимым...
    begin
      ShowMessage('WTF?');
      ShowMessage('W T F ?');
      Halt;
    end;
  end;
end;

var
  T: cardinal;
  i: integer;
begin
  T := GetTickCount;
  while T = GetTickCount do;

  T := GetTickCount;
  for i := 0 to 9999999 do Delay;
  i := GetTickCount - T;
  WriteLn(i);
  ReadLn;
end.

?

[TarasBer]

Для трёх сообщений время не изменилось, для двух - уменьшилось с 2800 до 2600.
Странно, что никогда не вызывающийся код на что-то влияет.

[volvo]

И как вообще устроен этот блок на самом деле?

Вот что показывает Дельфийский дизассемблер (View->DebugWindows->CPU Windows->Disassembly) для кода:

procedure Delay;
var
  s: extended;
begin
  try
    s := sin(1);
  except
    ShowMessage('WTF?');
    Halt;
  end;
end;

Project1.dpr.13: begin
0046C6F8 55               push ebp
0046C6F9 8BEC             mov ebp,esp
0046C6FB 83C4F0           add esp,-$10
0046C6FE 53               push ebx
0046C6FF 56               push esi
0046C700 57               push edi
Project1.dpr.14: try
0046C701 33C0             xor eax,eax
0046C703 55               push ebp
0046C704 682EC74600       push $0046c72e
0046C709 64FF30           push dword ptr fs:[eax]
0046C70C 648920           mov fs:[eax],esp
Project1.dpr.15: s := sin(1);
0046C70F 68FF3F0000       push $00003fff
0046C714 6800000080       push $80000000
0046C719 6A00             push $00
0046C71B E8846BF9FF       call Sin
0046C720 DB7DF0           fstp tbyte ptr [ebp-$10]
0046C723 9B               wait 
0046C724 33C0             xor eax,eax
0046C726 5A               pop edx
0046C727 59               pop ecx
0046C728 59               pop ecx
0046C729 648910           mov fs:[eax],edx
0046C72C EB19             jmp $0046c747
0046C72E E90D80F9FF       jmp @HandleAnyException
Project1.dpr.19: ShowMessage('WTF?');
0046C733 B85CC74600       mov eax,$0046c75c
0046C738 E8B7F8FFFF       call ShowMessage
Project1.dpr.21: Halt;
0046C73D E89E89F9FF       call @Halt0
0046C742 E85184F9FF       call @DoneExcept
Project1.dpr.24: end;
0046C747 5F               pop edi
0046C748 5E               pop esi
0046C749 5B               pop ebx
0046C74A 8BE5             mov esp,ebp
0046C74C 5D               pop ebp
0046C74D C3               ret 

А при добавлении второй строки:

procedure Delay;
var
  s: extended;
begin
  try
    s := sin(1);
  except
    ShowMessage('WTF?');
    ShowMessage('W T F?');
    Halt;
  end;
end;

код транслируется вот так:

Project1.dpr.13: begin
0046C6F8 55               push ebp
0046C6F9 8BEC             mov ebp,esp
0046C6FB 83C4F0           add esp,-$10
0046C6FE 53               push ebx
0046C6FF 56               push esi
0046C700 57               push edi
Project1.dpr.14: try
0046C701 33C0             xor eax,eax
0046C703 55               push ebp
0046C704 682EC74600       push $0046c72e
0046C709 64FF30           push dword ptr fs:[eax]
0046C70C 648920           mov fs:[eax],esp
Project1.dpr.15: s := sin(1);
0046C70F 68FF3F0000       push $00003fff
0046C714 6800000080       push $80000000
0046C719 6A00             push $00
0046C71B E8846BF9FF       call Sin
0046C720 DB7DF0           fstp tbyte ptr [ebp-$10]
0046C723 9B               wait 
0046C724 33C0             xor eax,eax
0046C726 5A               pop edx
0046C727 59               pop ecx
0046C728 59               pop ecx
0046C729 648910           mov fs:[eax],edx
0046C72C EB23             jmp $0046c751
0046C72E E90D80F9FF       jmp @HandleAnyException
Project1.dpr.17: ShowMessage('WTF?');
0046C733 B864C74600       mov eax,$0046c764
0046C738 E8B7F8FFFF       call ShowMessage
Project1.dpr.18: ShowMessage('W T F?');
0046C73D B87CC74600       mov eax,$0046c77c
0046C742 E8ADF8FFFF       call ShowMessage
Project1.dpr.19: Halt;
0046C747 E89489F9FF       call @Halt0
0046C74C E84784F9FF       call @DoneExcept
Project1.dpr.21: end;
0046C751 5F               pop edi
0046C752 5E               pop esi
0046C753 5B               pop ebx
0046C754 8BE5             mov esp,ebp
0046C756 5D               pop ebp
0046C757 C3               ret 

Что здесь может замедлять выполнение?

В семерке есть возможность посмотреть на дизассемблированный код? Если есть, приведи, пожалуйста, эти два фрагмента... Сравнить хочется.

[TarasBer]

Да я первым же делом ктрл+альт+с нажал.
Два часа заливал два рисунка.
Который 2_втф - это без он е:ексепшон, а второй - с ним и с трёмя сообщениями.