Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Пт мар 29, 2024 02:27

...
Google Search
Forth-FAQ Spy Grafic

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




Начать новую тему Ответить на тему  [ Сообщений: 9 ] 
Автор Сообщение
 Заголовок сообщения: RuF09: Функциональное описание форт-слов
СообщениеДобавлено: Ср фев 18, 2009 06:56 
Не в сети
Administrator
Administrator
Аватара пользователя

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

А идея произрастает из функциональной симуляции логических схем, заключающейся в том, что симулятор отбрсывает все задержки внутри логических элементов и проводит симуляцию только на логическом уровне. Записано A=Б+C+D -- на выходе А (в симуляции) сумма появится сразу же, как только изменится любой из операндов, независимо от того, какая градация скорости микросхемы выставлена в установках.

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

В этом случае сразу же отсеятся все вопросы связанные со скоростью исполнения, и не должно быть возражений типа "а вот так эта команда исполнится быстрее, потому что тут 10 операций в строке, а не 12".

Пример:

<s>: XOR OVER OVER AND >R OR R> OR ;</s>
: XOR OVER OVER AND >R OR NOT R> OR NOT ;


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

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


Последний раз редактировалось WingLion Ср фев 18, 2009 20:06, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 08:39 
Не в сети

Зарегистрирован: Пн окт 15, 2007 17:24
Сообщения: 164
Откуда: Бийск
Благодарил (а): 0 раз.
Поблагодарили: 2 раз.
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).
Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт?

_________________
And so forth ...


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 10:56 
Уважаемый WingLion
У Вас ошибка в примере определения XOR.
С уважением, mars


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 12:52 
Не в сети
Аватара пользователя

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
mars писал(а):
У Вас ошибка в примере определения XOR.

Слово XOR из обязательного набора слов нельзя выразить(там нет слов INVERT (NOT) или NAND(NOR)).

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 18:49 
Не в сети
Administrator
Administrator
Аватара пользователя

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


исполнение команд процессора - 1 или 2 такта. А время исполнения в функциональном описании ни к чему.

mars писал(а):
Уважаемый WingLion
У Вас ошибка в примере определения XOR.


Да, спросонья написал не то :shuffle;

правильно: : XOR OVER OVER AND >R NOR R> NOR ;

или так: : XOR OVER OVER NAND DUP >R NAND SWAP R> NAND NAND ;

если опять не наврал.. :weep;

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 19:46 
Не в сети

Зарегистрирован: Пн ноя 05, 2007 13:54
Сообщения: 144
Благодарил (а): 0 раз.
Поблагодарили: 13 раз.
На Сифорте, если представить, что мы располагаем словом or:

: xor1 over over and push or pop not and ;
: xor2 over over and not push or pop and ;
: xor3 over over or push and not pop and ;


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 19:55 
Не в сети
Administrator
Administrator
Аватара пользователя

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

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср фев 18, 2009 20:07 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
Варнак писал(а):
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).


А можно увидеть эту "рекламу" снова? :shuffle;

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


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт фев 19, 2009 12:44 
Не в сети

Зарегистрирован: Пн окт 15, 2007 17:24
Сообщения: 164
Откуда: Бийск
Благодарил (а): 0 раз.
Поблагодарили: 2 раз.
WingLion писал(а):
Варнак писал(а):
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).


А можно увидеть эту "рекламу" снова? :shuffle;

Можно, например, вот в этой ветке (пардон, не знаю как сделать ссылку на конкретный пост):
http://fforum.winglion.ru/viewtopic.php ... c&start=15
или в этой:
http://fforum.winglion.ru/viewtopic.php ... c&start=15

_________________
And so forth ...


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

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


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

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


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

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