3-х стековая виртуальная машина. размышления.

mOleg

Похоже надо выделить часть сообщений в отдельную тему с названием "религиозные войны, или сколько стеков поместится в ядре процессора".

Тут хотелось бы более конкретные вещи рассмотреть.

вопрос

Хищник писал(а):

вопрос писал(а):

другой хищник - то ли избегает новшеств, то ли от вопросов уходит - обращаю внимание - уже забрёл в пустыню, стоит ли нашему Хищнику подражать такому консерватору?

Есть достаточно много картинок с хищниками - почему вдруг выбран, гм, тупой голливудский мультик?

Просто первый попавшийся кот в подходящей ситуации.

Сюжет тупой, художники профессиональные
sorry, если показалось обидным (удивлён)
Хищник всегда очень критичен

mOleg

вот, картиночка нарисовалась

forther

mOleg писал(а):

forther писал(а):

Внутри цикла у меня выполняется 4 слова ( ?nil if node> next ) против ваших 6 -и ( ?nil while 1 + node> repeat ).
Опять "классический" вариант быстрее новейшей технологии.

Все-таки надо сравнивать решения с одинаковыми конструкциями управления.

Почему же? Вы привели пример на "классическом" форте, потом при помощи вашего модернизированного форта показали, как можно сделать его эффективнее. А я в ответ вам показал, как при помощи вдумчивого программирования на "классическом" форте сделать его еще более эффективным.

Тем самым я вам показал, что в данном случае хорошее владение тем, что есть дает лучший результат, чем функциональное расширение.

Hishnik

Собственно, пока суть да дело, я добавил в кварк следующее:

Код:

ADUP ADROP AOVER ASWAP A@ A! AC@ AC! ADUP@ ADUP@++ ADUP@-- ADUPC@++ ADUPC@-- >A A>

Вот сижу и думаю, стал ли я от этого счастливее?

mOleg

forther писал(а):

Почему же? Вы привели пример на "классическом" форте, потом при помощи вашего модернизированного форта показали, как можно сделать его эффективнее.

не совсем так, я сравнивал одинаковые конструкции.

forther писал(а):

А я в ответ вам показал, как при помощи вдумчивого программирования на "классическом" форте сделать его еще более эффективным.

да можно, можно, но не для всех случаев (для ВМ третьего и четвертого типа не прокатит).

forther писал(а):

потом при помощи вашего модернизированного форта

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

forther писал(а):

Тем самым я вам показал, что в данном случае хорошее владение тем, что есть дает лучший результат, чем функциональное расширение.

не показали. Если бы вы показали, что этот код не изменился в случае изменения разрядности адресов (а именно адрес занимает 2 ячейки).

вопрос

Хищник писал(а):

Собственно, пока суть да дело, я добавил в кварк следующее:

Код:

ADUP ADROP AOVER ASWAP A@ A! AC@ AC! ADUP@ ADUP@++ ADUP@-- ADUPC@++ ADUPC@-- >A A>

Вот сижу и думаю, стал ли я от этого счастливее?

Это прогресс, несомненно. Я ещё придумал picka_ (вместо APICK)

А что в кварке со стеками? ADUP@ работает со стеком данных?
( addr -> addr value_from_addr ) - :?:

>A A> должны работать с другим стеком

mOleg

Хищник писал(а):

ADUP@ ADUP@++ ADUP@-- ADUPC@++ ADUPC@-- >A A>

интересно, кстати забыл A>R R>A а вот >А А> похоже не нужны.

Хищник писал(а):

Вот сижу и думаю, стал ли я от этого счастливее?

а это действенный вопрос, потому как для попробовать этого хватит.

Hishnik

mOleg писал(а):

да можно, можно, но не для всех случаев (для ВМ третьего и четвертого типа не прокатит).

Мне вот очень интересно, а много ли интерпретаторов написано на базе этой статьи? И много ли "распределенных ИИ" запущено? Уж за 12-то лет должно бы стать понятно, чего стоят приведенные выкладки.

mOleg писал(а):

не показали. Если бы вы показали, что этот код не изменился в случае изменения разрядности адресов (а именно адрес занимает 2 ячейки).

Код не изменился, потому что транслятор будет спроектирован так, чтобы адрес не занимал 2 ячейки. Это достаточно просто сделать еще на ранних этапах разработки, и ликвидируется масса проблем.

Hishnik

mOleg писал(а):

интересно, кстати забыл A>R R>A а вот >А А> похоже не нужны.

: A>R A> >R ;
: R>A R> >A l
С учетом того, что слова, созданные по CREATE, все равно кладут число на стек данных, без >A не обойтись. (Понятно, что я не буду портить CREATE только ради того, чтобы посмотреть, "нет ли под хвостом этой лошади алмаза").

mOleg

Хищник писал(а):

Код не изменился, потому что транслятор будет спроектирован так, чтобы адрес не занимал 2 ячейки.

ок, давай представим приблизительно следующую архитектуру.
1) память адресуется с помощью пары чисел идентификатор:смещение разрядность id=16 бит, смещение -16 бит
2) основная разрядность данных 16 бит
3) адресация переходов. два варианта: длинный переход (пара чисел id:disp), короткий - просто смещение внутри текущего блока.

mOleg

Хищник писал(а):

С учетом того, что слова, созданные по CREATE, все равно кладут число на стек данных

это почему же? адреса идут на стек адресов.

Хищник писал(а):

Понятно, что я не буду портить CREATE только ради того, чтобы посмотреть, "нет ли под хвостом этой лошади алмаза"

это как бы не то. можно в конце концов написать create - если система регистрозависимая.

Hishnik

mOleg писал(а):

ок, давай представим приблизительно следующую архитектуру.
1) память адресуется с помощью пары чисел идентификатор:смещение разрядность id=16 бит, смещение -16 бит
2) основная разрядность данных 16 бит

Делаем основную разрядность данных 32 бита.

mOleg писал(а):

это почему же? адреса идут на стек адресов.

Ну в Форте-то на стек данных. Не буду же я портить рабочую систему.

mOleg

Хищник писал(а):

Делаем основную разрядность данных 32 бита.

а зачем? скорость упадет. Разрядность 32 бита не нужна.
складывать длинные адреса просто нельзя. Простое прибавление к адресу 1 може увеличить не только смещение но и сегмент, а это потенциальная ошибка.

Хищник писал(а):

mOleg писал(а):это почему же? адреса идут на стек адресов.
Ну в Форте-то на стек данных. Не буду же я портить рабочую систему.

гм, а причем тут это?
кстати, тогда и EXECUTE должен брать число со стека адресов.

вопрос

Хищник писал(а):

mOleg писал(а):

ок, давай представим приблизительно следующую архитектуру.
1) память адресуется с помощью пары чисел идентификатор:смещение разрядность id=16 бит, смещение -16 бит
2) основная разрядность данных 16 бит

Делаем основную разрядность данных 32 бита.

mOleg писал(а):

это почему же? адреса идут на стек адресов.

Ну в Форте-то на стек данных. Не буду же я портить рабочую систему.

AQUARK = alternative quark :?:

3-х стековая виртуальная машина. размышления.

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