Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Чт мар 28, 2024 18:52

...
Google Search
Forth-FAQ Spy Grafic

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 59 ]  На страницу Пред.  1, 2, 3, 4  След.
Автор Сообщение
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 15:20 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
а мы и предлагаем получать эталонный код другим способом


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 16:04 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
вопрос писал(а):
Самый простой пример - представим себе, в компиляторе есть глюк, однако, если мы попвытаемся отловить глюк, то будем сравнивать глючный код с эталонным кодом, созданным на этом же компиляторе.

Надо убирать глюк в компиляторе, а то где гарантия, что на этом компиляторе написанный форт будет работать нормально. :)

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 18:58 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
chess писал(а):
Надо убирать глюк в компиляторе, а то где гарантия, что на этом компиляторе написанный форт будет работать нормально.

Так в том-то и дело, что мы его сравним с другим фортом


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 19:33 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
вопрос писал(а):
chess писал(а):
Надо убирать глюк в компиляторе, а то где гарантия, что на этом компиляторе написанный форт будет работать нормально.

Так в том-то и дело, что мы его сравним с другим фортом


При таком возражении: где гарантия, что форт написанный на глючном компиляторе будет тоже глючным.

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 19:45 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
Хм, мы со всех сторон проверяем - делаем код на форте, проверяем попал ли в него глюк, сверяя с другим фортом, затем если глюк попал - мы его находим (и ищем следующий), а если нет - создаём безупречный эталонный код для сравнения с кодом проверяемого компилятора


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 19:59 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
вопрос писал(а):
Хм, мы со всех сторон проверяем - делаем код на форте, проверяем попал ли в него глюк, сверяя с другим фортом, затем если глюк попал - мы его находим (и ищем следующий), а если нет - создаём безупречный эталонный код для сравнения с кодом проверяемого компилятора

Я имел ввиду то, что на глючном компиляторе может быть написан корректный код, и в частности корректный код форта. Отсюда следует вывод - глюк компилятора таким способом можно и не найти. Любой форт из двух(в этом случае) даст безупречный код.

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 20:22 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
chess писал(а):
Я имел ввиду то, что на глючном компиляторе может быть написан корректный код, и в частности корректный код форта. Отсюда следует вывод - глюк компилятора таким способом можно и не найти. Любой форт из двух(в этом случае) даст безупречный код.

И я имею ввиду то же самое, Нам всё равно - получить образцовый код на форте в два этапа (предварительно исправив глюк, вошедший в форт) или в один этап - если глюк в форт не попадает, в любом случае мы имеем на форте код, который далее служит эталонным для сравнения с нефорт кодом


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 21:26 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
вопрос писал(а):
И я имею ввиду то же самое, Нам всё равно - получить образцовый код на форте в два этапа (предварительно исправив глюк, вошедший в форт) или в один этап - если глюк в форт не попадает, в любом случае мы имеем на форте код, который далее служит эталонным для сравнения с нефорт кодом

А теперь о самом главном. :) Хотя форт-код мы имеем на целевой машине, но он не совпадает с кодом на целевой машине для другого языка. И искать глюк также трудно как и раньше. :(

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Пт окт 14, 2011 23:17 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
chess писал(а):
А теперь о самом главном. Хотя форт-код мы имеем на целевой машине, но он не совпадает с кодом на целевой машине для другого языка. И искать глюк также трудно как и раньше.

Нет, как-раз понятие эталонный код предполагает, что мы можем манипулировать кодом как нам вздумается и отловить и этап и условия получения расхождений между эталонным и глючным


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Сб окт 15, 2011 16:09 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
вопрос писал(а):
затем если глюк попал - мы его находим (и ищем следующий), а если нет - создаём безупречный эталонный


создаём безупречный эталонный ГЛЮК и т.д. и т.п.

_________________
С уважением, WingLion
Forth-CPU . RuF09WE
Мой Форт
Отсутствие бана это не заслуга юзера, а недоработка модератора (с)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Сб окт 15, 2011 19:27 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
WingLion писал(а):
вопрос писал(а):
затем если глюк попал - мы его находим (и ищем следующий), а если нет - создаём безупречный эталонный


создаём безупречный эталонный ГЛЮК и т.д. и т.п.


неужели идея настолько труднопонятна?
тогда понятно, почему до неё никто не дошёл и не воспользовался
или никто не желает вникнуть


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Сб окт 15, 2011 20:24 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
вопрос писал(а):
неужели идея настолько труднопонятна?
тогда понятно, почему до неё никто не дошёл и не воспользовался
или никто не желает вникнуть

Пока не во что вникать. Изложено так, что вместо самой идеи есть только ожидаемый от нее эффект.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Сб окт 15, 2011 22:35 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
об эффекте сказано как-раз меньше, чем об самой идее.

1. есть некий компилятора или код, потенциально глючный
2. локализация и обнаружение ошибки трудны
3. дополнительный отладочный код будет создаваться на этом же компиляторе и , возможно унаследует глюк
4. код форта независим алгоритмически от компилятора, на котором он сделан
5. если форт вдруг унаследует глюк компилятора, то благодаря простоте форта и переносимости кода, этот глюк будет обнаружен гораздо проще, нежели в сложном коде
6. благодаря этому можно отловить глюк компилятора просто создав форт (и исправить глюк компилятора)
7. если форт не унаследует глюк компилятора или после исправления, то дополнительный отладочный код созданный на форте, будет безглючным


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Сб окт 15, 2011 23:57 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Так это все для чего? Для универсального автоматического исправлятеля глюков?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения: Re: Алгоритмическая ниша?
СообщениеДобавлено: Вс окт 16, 2011 00:17 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
Для расширенного способа исправления глюков - (Хищник скажет "только и всего")
но более экономного по трудозатратам, если нужно отладить сложный код

Где Хищник нашёл "автоматического" :shock:


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 59 ]  На страницу Пред.  1, 2, 3, 4  След.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 9


Вы не можете начинать темы
Вы можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
phpBB сборка от FladeX // Русская поддержка phpBB