Можно ли как-то ускорить паскалевские циклы?

[Utkin]

За счет чего тормозят циклы в Паскале?

Не тормозят они. Подход к решению задачи различен. Ну и проверки всякие можно попробовать повыкидывать (например выход за границы массива).

[Smitt&Wesson]

Сообщение от Чудо-программист

За счет чего тормозят циклы в Паскале?

За счёт того что в Паскале проблемы с оптимизацией на уровне релиза компиля. Не знаю как дела обстоят с Дельфином, но с ТурбоПаскалем, так оно и есть.

[ResourceSpace]

Померяй эти:

1. Оригинал

   J:=0;
   While J<=ScreenMaxY Do
         Begin
         I:=0;
         While I<=ScreenMaxX Do
               Begin
               Screen[J, I]:=Screen1^[J, I];
               Inc(I);
               End;
         Inc(J);
         End;

2. Развёртка 4x

   J:=0;
   ScreenMaxX_d4:=(ScreenMaxX Div 4)*4; // требуется только для случаев когда ScreenMaxX может быть не кратен 4
   While J<=ScreenMaxY Do
         Begin
         I:=0;
         While I<ScreenMaxX_d4 Do
               Begin
               Screen[J, I]:=Screen1^[J, I];
               Screen[J, I+1]:=Screen1^[J, I+1];
               Screen[J, I+2]:=Screen1^[J, I+2];
               Screen[J, I+3]:=Screen1^[J, I+3];
               Inc(I, 4);
               End;
         While I<=ScreenMaxX Do // требуется только для случаев когда ScreenMaxX может быть не кратен 4
               Begin
               Screen[J, I]:=Screen1^[J, I];
               Inc(I);
               End;
         Inc(J);
         End;

3. Без внутреннего

   L:=ScreenMaxX+1;
   N:=L*(ScreenMaxY+1)-1;
   For K:=0 To N Do
         Begin
         J:=K Div L;
         I:=K Mod L;
         Screen[J, I]:=Screen1^[J, I];
         End;

[Аватар]

for однозначно оптимальнее while при всех прочих равных условиях

[ResourceSpace]

С чего вдруг? Обоснуйте?
Большинство компиляторов сделает одинаковый Asm-код из For первого поста и While написанного мною.

[Poma][a]

С чего вдруг? Обоснуйте?

Ну.. При while условие проверяется каждый раз. В for - нет

[eoln]

Сообщение от Poma][a

Ну.. При while условие проверяется каждый раз. В for - нет

Это на уровне логики высокого языка не происходит.
На уровне низкого проверка происходит каждый раз, просто переменная с которой сравнивается в цикле не изменяется. На асме в конечном счёте все сводится к сравнению и перепрыгиванию

Большинство компиляторов сделает одинаковый Asm-код из For ... и While

Это да. Фор считается "придуманным", а вайл "рассово-правильным"

[Krasiosoft]

Сообщение от Poma][a

Ну.. При while условие проверяется каждый раз. В for - нет

Delphi 7, без оптимизации:

for i:=0 to 9 do
begin
end;


00460C5B   33C0             XOR EAX,EAX                   // i:=0 (часть 1)
00460C5D   8945 F8          MOV DWORD PTR SS:[EBP-8],EAX  // i:=0 (часть 2)
00460C60   FF45 F8          INC DWORD PTR SS:[EBP-8]      // inc(i)
00460C63   837D F8 0A       CMP DWORD PTR SS:[EBP-8],0A   // если i<>10 переходим на 00460C60  (часть 1)
00460C67  ^75 F7            JNZ SHORT Project1.00460C60   // если i<>10 переходим на 00460C60  (часть 2)

i:=0;
while i<10 do
begin
  inc(i);
end;

00460C7C   33C0             XOR EAX,EAX                    // i:=0 (часть 1)
00460C7E   8945 F8          MOV DWORD PTR SS:[EBP-8],EAX   // i:=0 (часть 2)
00460C81   837D F8 0A       CMP DWORD PTR SS:[EBP-8],0A    // если i>=10 переходим на 00460C90 (часть 1)
00460C85   7D 09            JGE SHORT Project1.00460C90    // если i>=10 переходим на 00460C90 (часть 2)
00460C87   FF45 F8          INC DWORD PTR SS:[EBP-8]       // inc(i) 
00460C8A   837D F8 0A       CMP DWORD PTR SS:[EBP-8],0A    // если i<10 переходим на 00460C87 (часть 1)
00460C8E  ^7C F7            JL SHORT Project1.00460C87     // если i<10 переходим на 00460C87 (часть 2)
00460C90   ...

[Poma][a]

Это на уровне логики высокого языка не происходит.

Да ладно.
тыц (идею украл у Сержа)

[eoln]

Сообщение от Poma][a

Да ладно.

0.jpg
Ну вот же сравнение до 9. И прыжок при 9 итерации. Как и говорил, границы заранее вычислены, но проверки каждый раз.
Да, цикл фор тут быстрее отработает, но только потому, что примеры неравнозначны.