Автор |
Сообщение |
|
|
Заголовок сообщения: |
|
|
|
WingLion писал(а): Варнак писал(а): Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит). А можно увидеть эту "рекламу" снова?
Можно, например, вот в этой ветке (пардон, не знаю как сделать ссылку на конкретный пост):
http://fforum.winglion.ru/viewtopic.php ... c&start=15
или в этой:
http://fforum.winglion.ru/viewtopic.php ... c&start=15
[quote="WingLion"][quote="Варнак"]Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит). [/quote]
А можно увидеть эту "рекламу" снова? :shuffle;[/quote]
Можно, например, вот в этой ветке (пардон, не знаю как сделать ссылку на конкретный пост):
http://fforum.winglion.ru/viewtopic.php?t=1945&postdays=0&postorder=asc&start=15
или в этой:
http://fforum.winglion.ru/viewtopic.php?t=864&postdays=0&postorder=asc&start=15
|
|
|
|
Добавлено: Чт фев 19, 2009 12:44 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Варнак писал(а): Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).
А можно увидеть эту "рекламу" снова?
[quote="Варнак"]Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит). [/quote]
А можно увидеть эту "рекламу" снова? :shuffle;
|
|
|
|
Добавлено: Ср фев 18, 2009 20:07 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
разные представления xor-ов в данной теме - уже оффтопик...
разные представления xor-ов в данной теме - уже оффтопик...
|
|
|
|
Добавлено: Ср фев 18, 2009 19:55 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
На Сифорте, если представить, что мы располагаем словом 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 ;
На Сифорте, если представить, что мы располагаем словом 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:46 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Варнак писал(а): Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт? исполнение команд процессора - 1 или 2 такта. А время исполнения в функциональном описании ни к чему. mars писал(а): Уважаемый WingLion У Вас ошибка в примере определения XOR.
Да, спросонья написал не то
правильно: : XOR OVER OVER AND >R NOR R> NOR ;
или так: : XOR OVER OVER NAND DUP >R NAND SWAP R> NAND NAND ;
если опять не наврал..
[quote="Варнак"]Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт?[/quote]
исполнение команд процессора - 1 или 2 такта. А время исполнения в [b]функциональном описании[/b] ни к чему.
[quote="mars"]Уважаемый WingLion У Вас ошибка в примере определения XOR.[/quote]
Да, спросонья написал не то :shuffle;
правильно: [b]: XOR OVER OVER AND >R NOR R> NOR ;[/b]
или так: [b]: XOR OVER OVER NAND DUP >R NAND SWAP R> NAND NAND ;[/b]
если опять не наврал.. :weep;
|
|
|
|
Добавлено: Ср фев 18, 2009 18:49 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
mars писал(а): У Вас ошибка в примере определения XOR.
Слово XOR из обязательного набора слов нельзя выразить(там нет слов INVERT (NOT) или NAND(NOR)).
[quote="mars"]У Вас ошибка в примере определения XOR.[/quote]
Слово XOR из обязательного набора слов нельзя выразить(там нет слов INVERT (NOT) или NAND(NOR)).
|
|
|
|
Добавлено: Ср фев 18, 2009 12:52 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Уважаемый WingLion
У Вас ошибка в примере определения XOR.
С уважением, mars
Уважаемый WingLion
У Вас ошибка в примере определения XOR.
С уважением, mars
|
|
|
|
Добавлено: Ср фев 18, 2009 10:56 |
|
|
|
|
|
Заголовок сообщения: |
|
|
|
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).
Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт?
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).
Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт?
|
|
|
|
Добавлено: Ср фев 18, 2009 08:39 |
|
|
|
|
|
Заголовок сообщения: |
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 для форт-процессора, в котором подразумевается, что цепочка из нескольких слов исполняется за один такт (цикл) и совсем даже не так, а лишь эквивалентно такому способу.
Идея сия зреет у меня уже давно. Именно она причина того, почему некая группа слов в моем варианте представлена в виде форт-исходников.
А идея произрастает из функциональной симуляции логических схем, заключающейся в том, что симулятор отбрсывает все задержки внутри логических элементов и проводит симуляцию только на логическом уровне. Записано A=Б+C+D -- на выходе А (в симуляции) сумма появится сразу же, как только изменится любой из операндов, независимо от того, какая градация скорости микросхемы выставлена в установках.
Точно так же я предлагаю делать описание команд форт-процессора. Описывать их некой цепочкой из минимальных слов, которые четко известны и не имеют двойственных толкований, и считать, что эта цепочка, если она исполняется как одна команда, выполняется с бесконечной скоростью, т.е. сразу, и вся скорость процессора определается только тактовой частотой.
В этом случае сразу же отсеятся все вопросы связанные со скоростью исполнения, и не должно быть возражений типа "а вот так эта команда исполнится быстрее, потому что тут 10 операций в строке, а не 12".
Пример:
[b]<s>: XOR OVER OVER AND >R OR R> OR ;</s> : XOR OVER OVER AND >R OR NOT R> OR NOT ;[/b]
С одной стороны это определение слова XOR в системе команд, где его нет, с другой -- функциональное описание команды XOR для форт-процессора, в котором подразумевается, что цепочка из нескольких слов исполняется за один такт (цикл) и совсем даже не так, а лишь [b]эквивалентно[/b] такому способу.
|
|
|
|
Добавлено: Ср фев 18, 2009 06:56 |
|
|
|
|