Forth http://fforum.winglion.ru/ |
|
RuF09: Функциональное описание форт-слов http://fforum.winglion.ru/viewtopic.php?f=36&t=1963 |
Страница 1 из 1 |
Автор: | WingLion [ Ср фев 18, 2009 06:56 ] |
Заголовок сообщения: | RuF09: Функциональное описание форт-слов |
Идея сия зреет у меня уже давно. Именно она причина того, почему некая группа слов в моем варианте представлена в виде форт-исходников. А идея произрастает из функциональной симуляции логических схем, заключающейся в том, что симулятор отбрсывает все задержки внутри логических элементов и проводит симуляцию только на логическом уровне. Записано 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 для форт-процессора, в котором подразумевается, что цепочка из нескольких слов исполняется за один такт (цикл) и совсем даже не так, а лишь эквивалентно такому способу. |
Автор: | Варнак [ Ср фев 18, 2009 08:39 ] |
Заголовок сообщения: | |
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит). Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт? |
Автор: | mars [ Ср фев 18, 2009 10:56 ] |
Заголовок сообщения: | |
Уважаемый WingLion У Вас ошибка в примере определения XOR. С уважением, mars |
Автор: | chess [ Ср фев 18, 2009 12:52 ] |
Заголовок сообщения: | |
mars писал(а): У Вас ошибка в примере определения XOR.
Слово XOR из обязательного набора слов нельзя выразить(там нет слов INVERT (NOT) или NAND(NOR)). |
Автор: | WingLion [ Ср фев 18, 2009 18:49 ] |
Заголовок сообщения: | |
Варнак писал(а): Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт? исполнение команд процессора - 1 или 2 такта. А время исполнения в функциональном описании ни к чему. mars писал(а): Уважаемый WingLion
У Вас ошибка в примере определения XOR. Да, спросонья написал не то правильно: : XOR OVER OVER AND >R NOR R> NOR ; или так: : XOR OVER OVER NAND DUP >R NAND SWAP R> NAND NAND ; если опять не наврал.. |
Автор: | true-grue [ Ср фев 18, 2009 19:46 ] |
Заголовок сообщения: | |
На Сифорте, если представить, что мы располагаем словом 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 ; |
Автор: | WingLion [ Ср фев 18, 2009 19:55 ] |
Заголовок сообщения: | |
разные представления xor-ов в данной теме - уже оффтопик... |
Автор: | WingLion [ Ср фев 18, 2009 20:07 ] |
Заголовок сообщения: | |
Варнак писал(а): Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).
А можно увидеть эту "рекламу" снова? |
Автор: | Варнак [ Чт фев 19, 2009 12:44 ] |
Заголовок сообщения: | |
WingLion писал(а): Варнак писал(а): Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит). А можно увидеть эту "рекламу" снова? Можно, например, вот в этой ветке (пардон, не знаю как сделать ссылку на конкретный пост): http://fforum.winglion.ru/viewtopic.php ... c&start=15 или в этой: http://fforum.winglion.ru/viewtopic.php ... c&start=15 |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа [ Летнее время ] |
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group http://www.phpbb.com/ |