Оберон & real to integer

Для справки: Oberon, Oberon2 (в дальнейшем O2), ComponentPascal (CP), считается в определенных кругах (в прицнипе не без причин) эталоном базисности и простоты. Эдакий базис императивных языков. BlackBox component builder (в дальнейшем ЧорныйЯщик) -- самая популярная реализация оного Component Pascal'я особенно в постсоветском пространстве.

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

В процессе ковыряния oo2c и, заодно, сообщений о языках O2 и CP выяснил интересную вещь. Оказывается в O2 и CP НЕТ простого и быстрого способа конвертации real -> integer. Т.е. чтобы это выражалось в одну машинную инструкцию. Подобные преобразования в обероне-2 и CP (до оберона я пока не добрался) занимают примерно в ДВА раза больше времени нежели в иных языках. Ну и имеют другую, более сложную семантику. А также не отображается на прямую в одну sse инструкцию. Преобразование real->integer в Обероне2 и CP осуществляется посредством встроенной функции ENTIER.

ENTIER работает аналогично связке стандартной сишной функции floor + преобразование типов. т.е. ENTIER(x) = (int)floor(x); Чего-то более простого в арсенале оберонщика нет.

Вот такой вот код на Обероне-2 собранный oo2c:

MODULE T;
IMPORT Out, SYSTEM;
CONST
 N = 10000;
 PI = 3.1415;
VAR
 r : LONGINT
 I : LONGINT;
 J : LONGINT;
BEGIN
 I := N;
 J := I;
 WHILE I > 0 DO
     WHILE J > 0 DO
         r := ENTIER(PI*J*I);
         DEC(J);
     END;
     DEC(I);
     J := N;
 END;
END T.

Отрабатывает за 3.4 секунды. (никаких оптимизаций).

Вот такой вот код на С++:

int main()
{
  const float pi = 3.1415;
  const int n = 10000;
  int r = 0;

  for (int i = n; i>0; i--)
      for (int j = n; j>0; j--)
          r = (int)(pi*i*j);
}

Отрабатывает за 1.6 секунды.

Если строчку r = (int)(pi*i*j); заменить на r = (int)floorf(pi*i*j); то будут те же самые 3.4 секунды. Да, оптимизация естественно отключена.

С готишным ЧорнымЯщиком вообще всё весело. Код:

MODULE Test;

 IMPORT StdLog, Services;

 CONST
 N = 10000;
 PI = 3.1415;

 PROCEDURE Do*;
    VAR t: LONGINT;
    I : LONGINT;
    J : LONGINT;
    r : LONGINT;
 BEGIN
    t := Services.Ticks();
    I := N;
    J := I;
  
    WHILE I > 0 DO
       WHILE J > 0 DO
          r := ENTIER(PI*J*I);
          DEC(J);
       END;
       DEC(I);
       J := N;
    END;

    t := Services.Ticks() - t;
    StdLog.Int(SHORT(t))
 END Do;

END Test.

Обычно функция Do отрабатывает где-то за 3.7-3.8 секунды. Однако иногда, ВНЕЗАПНО время подскакивает почти в два раза:

3759 3744 4992 3744 ...

3744 3759 3807 7441 3806 3775 4446 7800 3744 3744 3744

Да, система при этом ничем постороннем не загружена.

PS. В Обероне-07 всё это поправлено. Там ENTIER заменен на FLOOR, который не floor, а который простое отбрасывание дробной части, т.е. FLOOR(x) = (int)(x);

PPS. Первоначально этот пост был отправлен на форум оберонщиков всея руси, однако наши оберонщики, как показала практика, критики своего языка-фетиша не выдерживают ни в каком виде, и посему пост был моментально перемещен в закрытую от посторонних глаз секцию форума (видимо, чтобы нагуглить "компромат" на оберон было не возможно).

PPPS. Алсо см. https://lists.inf.ethz.ch/pipermail/oberon/2003/003254.html