В Perl, некоторое время цикл обычно быстрее, чем для цикла?

Я сделал маленький эксперимент, как будет показан ниже, и похоже, что некоторое время цикл быстрее, чем для цикла в Perl. Но так как эксперимент был довольно сыр, и предмет мог бы быть намного более сложным, чем это кажется, я хотел бы услышать то, что необходимо сказать об этом. Спасибо как всегда за любые комментарии/предложения :)

В следующих двух маленьких сценариях я попробовал в то время как и за циклы отдельно для вычисления факториала 100 000. Тот, который имеет цикл с условием продолжения, занял 57 минут 17 секунд для окончания, в то время как для эквивалентного цикла занял 1 час 7 минут 54 секунды.

Сценарий, который имеет цикл с условием продолжения:

use strict;
use warnings;
use bigint;

my $now = time;

my $n = shift;
my $s = 1;

while(1){
$s *= $n;
$n--;
last if $n==2;
}

print $s*$n;
$now = time - $now;
printf("\n\nTotal running time: %02d:%02d:%02d\n\n", int($now / 3600),
            int(($now % 3600) / 60), int($now % 60));

Сценарий, который имеет для цикла:

use strict;
use warnings;
use bigint;

my $now = time;

my $n =shift;
my $s=1;

for (my $i=2; $i<=$n;$i++) {
$s = $s*$i;
}

print $s;
$now = time - $now;
printf("\n\nTotal running time: %02d:%02d:%02d\n\n", int($now / 3600),
            int(($now % 3600) / 60), int($now % 60));
6
задан Jonathan Leffler 20 March 2010 в 04:59
поделиться

3 ответа

Циклы не эквивалентны, и вы в первую очередь перебираете bigint, и он не имеет ничего общего с для против , а как таковой.

В цикле while используется запись « $ s * = $ i », но в цикле for используется « $ s = $ s * $ i ». Достаточно просто показать, что они не идентичны. Кроме того, подсчитывается один цикл; другой отсчитывает. Это влияет на размер умножаемых чисел. Это эффект второго порядка, но им нельзя пренебречь.

[ Обновление: исправлено, чтобы отображать только одну версию кода с интервалом менее секунды. Есть основания полагать, что печать следует исключить из расчетов времени; это делает вещи еще более беспорядочными, так что я не стал беспокоиться. Я исправил ошибку в предыдущей версии: цикл 4 был таким же, как цикл 3 - теперь это не так.Я также настроил форматирование вывода (хотя обработка субсекунд может быть улучшена - упражнение для читателя), и есть улучшенный «отчет о прогрессе». ]

Результаты синхронизации на Mac Mini (Snow Leopard 10.6.2) были:

Count up   $s *= $i:      00:00:12.663337
Count up   $s  = $s * $i: 00:00:20.686111
Count down $s *= $i:      00:00:14.201797
Count down $s  = $s * $i: 00:00:23.269874

Сценарий:

use Time::HiRes qw(gettimeofday);
use strict;
use warnings;
use bigint;
use constant factorial_of => 13000;

sub delta_t
{
    my($tag, $t1, $t2) = @_;
    my($d) = int($t2 - $t1);
    my($f) = ($t2 - $t1) - $d;
    my($s) = sprintf("%.6f", $f);
    $s =~ s/^0//;
    printf "%-25s %02d:%02d:%02d%s\n",
           $tag, int($d/3600), int(($d % 3600) / 60), int($d % 60), $s;
}

my $t1 = gettimeofday;

{
    my $n = factorial_of;
    my $s = 1;
    for (my $i = 2; $i <= $n; $i++)
    {
        $s *= $i;
    }
    print "$s\n: Loop 1\n";
}

my $t2 = gettimeofday;
delta_t('Count up   $s *= $i:',      $t1, $t2);

{
    my $n = factorial_of;
    my $s = 1;
    for (my $i = 2; $i <= $n; $i++)
    {
        $s = $s * $i;
    }
    print "$s\n: Loop 2\n";
}

my $t3 = gettimeofday;
delta_t('Count up   $s *= $i:',      $t1, $t2);
delta_t('Count up   $s  = $s * $i:', $t2, $t3);

{
    my $n = factorial_of;
    my $s = 1;
    for (my $i = $n; $i > 1; $i--)
    {
        $s *= $i;
    }
    print "$s\n: Loop 3\n";
}

my $t4 = gettimeofday;
delta_t('Count up   $s *= $i:',      $t1, $t2);
delta_t('Count up   $s  = $s * $i:', $t2, $t3);
delta_t('Count down $s *= $i:',      $t3, $t4);

{
    my $n = factorial_of;
    my $s = 1;
    for (my $i = $n; $i > 1; $i--)
    {
        $s = $s * $i;
    }
    print "$s\n: Loop 4\n";
}

my $t5 = gettimeofday;
delta_t('Count up   $s *= $i:',      $t1, $t2);
delta_t('Count up   $s  = $s * $i:', $t2, $t3);
delta_t('Count down $s *= $i:',      $t3, $t4);
delta_t('Count down $s  = $s * $i:', $t4, $t5);

А вот гораздо более компактная версия приведенного выше кода, расширенная для проверки 'while' петли, а также петли for. Он также решает большинство вопросов по времени. Единственное, что не идеально (для меня), это то, что он использует пару глобальных переменных, и я немного сжал код в ссылках кода, чтобы все уместилось в одной строке, не вызывая полосу прокрутки (на моем дисплее, во всяком случае ). Ясно, что, приложив немного больше усилий, тестирование можно было бы заключить в массив, чтобы тестирование проводилось итеративно - цикл через массив, запускающий функцию таймера для информации в массиве. И т.д. ... это SMOP - простой вопрос программирования. (Он печатает MD5-хэш факториала, а не сам факториал, потому что легче сравнивать результаты и т. Д. Он указал на пару ошибок, когда я реорганизовал приведенный выше код. Да, MD5 небезопасен - но я не использую его для безопасности, просто чтобы обнаружить непреднамеренные изменения.)

use Time::HiRes qw(gettimeofday);
use Digest::MD5 qw(md5_hex);
use strict;
use warnings;
use bigint;
use constant factorial_of => 13000;

my ($s, $i);

my $l1 = sub {my($n) = @_; for ($i = 2;  $i <= $n; $i++) { $s *= $i;     }};
my $l2 = sub {my($n) = @_; for ($i = 2;  $i <= $n; $i++) { $s = $s * $i; }};
my $l3 = sub {my($n) = @_; for ($i = $n; $i > 1;   $i--) { $s *= $i;     }};
my $l4 = sub {my($n) = @_; for ($i = $n; $i > 1;   $i--) { $s = $s * $i; }};
my $l5 = sub {my($n) = @_; $i = 2;  while ($i <= $n) { $s *= $i;     $i++; }};
my $l6 = sub {my($n) = @_; $i = 2;  while ($i <= $n) { $s = $s * $i; $i++; }};
my $l7 = sub {my($n) = @_; $i = $n; while ($i > 1)   { $s *= $i;     $i--; }};
my $l8 = sub {my($n) = @_; $i = $n; while ($i > 1)   { $s = $s * $i; $i--; }};

sub timer
{
    my($n, $code, $tag) = @_;
    my $t1 = gettimeofday;
    $s = 1;
    &$code(factorial_of);
    my $t2 = gettimeofday;
    my $md5 = md5_hex($s);
    printf "Loop %d: %-33s %09.6f (%s)\n", $n, $tag, $t2 - $t1, $md5;
}

my $count = 1;
timer($count++, $l1, 'for   - Count up   $s *= $i:');
timer($count++, $l2, 'for   - Count up   $s  = $s * $i:');
timer($count++, $l3, 'for   - Count down $s *= $i:');
timer($count++, $l4, 'for   - Count down $s  = $s * $i:');
timer($count++, $l5, 'while - Count up   $s *= $i:');
timer($count++, $l6, 'while - Count up   $s  = $s * $i:');
timer($count++, $l7, 'while - Count down $s *= $i:');
timer($count++, $l8, 'while - Count down $s  = $s * $i:');

Пример вывода (контрольная сумма MD5 сжата, чтобы избежать разрыва строки - полное значение 584b3ab832577fd1390970043efc0ec8 ):

Loop 1: for   - Count up   $s *= $i:      12.853630 (584b3ab8...3efc0ec8)
Loop 2: for   - Count up   $s  = $s * $i: 20.854735 (584b3ab8...3efc0ec8)
Loop 3: for   - Count down $s *= $i:      14.798155 (584b3ab8...3efc0ec8)
Loop 4: for   - Count down $s  = $s * $i: 23.699913 (584b3ab8...3efc0ec8)
Loop 5: while - Count up   $s *= $i:      12.972428 (584b3ab8...3efc0ec8)
Loop 6: while - Count up   $s  = $s * $i: 21.192956 (584b3ab8...3efc0ec8)
Loop 7: while - Count down $s *= $i:      14.555620 (584b3ab8...3efc0ec8)
Loop 8: while - Count down $s  = $s * $i: 23.790795 (584b3ab8...3efc0ec8)

Я постоянно вижу небольшой (<1%) штраф за цикл while по сравнению с соответствующим циклом for, но у меня нет хорошего объяснения этому.

8
ответ дан 8 December 2019 в 12:58
поделиться

Одним из ключей к сравнительному анализу является упрощение. Проблема заключается в скорости для по сравнению с в то время как . Но эксперимент сопряжен с несколькими ненужными сложностями.

  • Эти две петли не так похожи, как могли бы быть. Один использует $ s * = $ n , а другой использует $ s = $ s * $ i (как указывает Джонатан Леффлер). Один использует $ n - , а другой использует $ i ++ (кто знает, различаются ли они по скорости?).

  • Если нас интересуют для по сравнению с , а , нет необходимости использовать bigint . Это только сбивает с толку. В частности, ваш сценарий while зависит только от одного объекта bigint ( $ s ), тогда как ваш сценарий for использует два из них ( $ s и $ i ). Меня не удивляет, что сценарий для работает медленнее.

Перепишите ваши циклы, чтобы они были как можно более похожими, сохраняйте факториалы достаточно маленькими, чтобы вам не приходилось использовать bigint , и используйте модуль Benchmark . Затем вы можете провести честную очную гонку за против , пока . Мне будет любопытно посмотреть, что вы найдете.

5
ответ дан 8 December 2019 в 12:58
поделиться

Я был бы шокирован, если бы между циклами while и for существовала хоть какая-то "реальная" разница. Если предположить, что они делают "совершенно" одно и то же, они должны быть оптимизированы интерпретатором так, чтобы быть более или менее идентичными.

Я бы поспорил, что разница, скорее всего, не более чем другие процессы, которые по-разному боролись за ресурсы во время двух выполнений.

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

5
ответ дан 8 December 2019 в 12:58
поделиться
Другие вопросы по тегам:

Похожие вопросы: