Время выполнения

[Goodwin98]

Заинтересовался недавно оптимизацией программ под конкретный процессор. Просто интересно сможет ли кто-нибудь ,не сильно тревожа гугл (yandex,rambler,yahoo,aport,msn,eni gma etc) сказать, почему первый кусок кода выполняется на большинстве процессоров (не на всех) более чем в 2 раза быстрее, чем второй.

1.
   mov ecx,1000 
@@: 
   sbb eax,ecx 
   sbb edx,ecx 
   sub ecx,1
   jnz @B

2.
   mov ecx,1000 
@@: 
   sbb eax,ecx 
   sbb edx,ecx 
   dec ecx
   jnz @B

Программу, которой я мерил кол-во тактов я прикрепил.

[MalCer]

Меня самого терзает этот вопрос! А мне кажется 2 участок кода будет работать быстрее, т.к. команда sub работает медленнее, чем dec(ИМХО)

[DEADHUNT]

команда dec reg32 есть в двух вариантах: 1-байтовый(в long mode это уже REX prefix) и 2-байтовый

[alexBlack]

Это не sub выполняется быстрее. Просто она сбрасывает флаг переноса и следующая (начало цикла) команда sbb выполняется быстрее. Замените первую команду на sub и время будет почти одинаковым.

var T1, T2:Cardinal;
begin
   asm
      RDTSC
      mov T1, eax
      xor edx, edx

      mov ecx,1000
   @@B:
      sub eax,ecx     // <--
      sbb edx,ecx
      dec ecx
      //sub ecx, 1
      jnz @@B

      RDTSC
      mov T2, eax
   end;
   writeln(T2-T1:6);
   readln;
end.

[MalCer]

время будет почти одинаковым

А как определить это время?

[alexBlack]

Сообщение от MalCer

А как определить это время?

В смысле ? Разве из кода непонятно ? Если Вы о единицах измерения, то они нас не интересуют. В данном случае важно отношение.

[MalCer]

Не не не! Как это значит: из кода понятно? А мне, например, не понятно! Приведу пример: применение оператора dec значительнее быстрее в скорости работы программы, по сранению с loop. Мне интересно как это определили? Ну не на глаз же !

[alexBlack]

Вот для этого и пишется тест:

      RDTSC            // Помещает в EDX:EAX значение внутреннего счетчика процессора
      mov T1, eax    // Запомнили младшую часть (старшая вряд ли изменится)

      dec ecx          // тестовая команда

      RDTSC            // новое значение счтечика
      mov T2, eax

      writeln(T2-T1:6);  // Выводим разницу в значениях

Запоминаем полученное значение. Затем заменяем тестовую команду на другую, с которой хотим сравнить (в нашем случае sub ecx, 1) и получаем новое значение. Делаем выводы.

А т.к. время выполнения малО, вместо выполнения одной команды делаем цикл. Важно чтобы в обеих случаях остальные части цикла не влияли на время выполнения (в чем и была проблема).

[MalCer]

Во! Теперь всё понял

[Goodwin98]

Ладно раскусили А если немного поменяем 2 вариант (для тех у кого P IV ,c ядром Northwood)...

   mov ecx,1000 
@@: 
   sbb eax,ecx 
   cmp ecx,1
   sbb edx,ecx 
   dec ecx
   jnz @B