Re: Test


Subject: Re: Test
From: A.A.Vladimirov (vladimi@mech.math.msu.su)
Date: Mon Dec 29 2003 - 15:03:49 MSK


В сообщении от 28 Декабрь 2003 16:48 вы написали:
> День добрый, всем!
>
> К статье про компиляцию синт. отождествления я написал
> примерчик (приложена программа, исходник и EXE) -- функцию,
> которая проверяет, что ее аргумент имеет вид e.Y e.Y e.Y:
>
> IsTriplet eX = {
> eX : e.Y e.Y e.Y = True;
> = False;
> };
>
> В старом ДОС-рефале-плюс один шаг выполнения этой функции (при
> длине аргумента 49152) занимает (на моей машине) 74.26 секунд.
>
> У меня просьбы:
>
> (1) Люба! Пожалуйста, прогони на одной и той же машине этот
> пример на всех существующих рефалах (старый Рефал Плюс, новый
> Рефал Плюс, Рефал Ява, если возможно, Рефал 5 и т.п.)
>
> (2) Вне зависимости от (1) у меня владельцам рзных рефалов
> (Р6/Ява, Р5 и прочее) -- если можно, выполните на одной
> платформе приложенный test.exe и затем IsTriplet (или ее
> аналог)на всех доступных Вам рефалах -- зарание спасибо!
>

Результаты трёх прогонов TEST.EXE:

49152
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 45 ':' 20 '.' 42
TRUE
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 46 ':' 4 '.' 14

49152
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 46 ':' 10 '.' 34
TRUE
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 46 ':' 53 '.' 68

49152
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 47 ':' 36 '.' 8
TRUE
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 48 ':' 21 '.' 23

Примечание: ввиду отсутствия у меня Всеми Любимой Операционной
Системы (TM), файл TEST.EXE запускался под Linux через эмулятор
dosemu.

Результаты трёх прогонов откомпилированного под Linux (gcc-3.2.2,
glibc-2.3.2) рефалом-плюс версии 1.8.7 исходника test.rf:

49152
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 26 ':' 46 '.' 5
"True"
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 27 ':' 37 '.' 60

49152
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 27 ':' 40 '.' 34
"True"
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 28 ':' 30 '.' 79

49152
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 28 ':' 52 '.' 22
"True"
29 ' ' "Dec" ' ' 2003 ' ' 14 ':' 29 ':' 41 '.' 4

Результаты трёх прогонов написанного на рефале-5 аналога test.rf:

49152
Mon Dec 29 14:31:56 2003
True
Mon Dec 29 14:32:37 2003

49152
Mon Dec 29 14:32:39 2003
True
Mon Dec 29 14:33:22 2003

49152
Mon Dec 29 14:33:47 2003
True
Mon Dec 29 14:34:28 2003

> При прогоне можно выкинуть/переписать разные мелочи... Мне
> интересует одно:
>
> (а) Что напечатал "test.exe" на Вашей машине;
> (б) Время счета "IsTriplet" в Вашей машине на всех
> иных доступных Вам рефалах -- при длине аргумента 49152
> (делится на 3), аргумент ' ААААА....ААААА', результат -- TRUE.
>
> (3) Всем вопрос: кузявое ли имя функции "IsTriplet"?
>
> Удачи
>
> Сергей
>
И Вам того же.

Антон.



This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD