Модель памяти в SPF4

Владимир Вигуль

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

profiT

forth@km.ru

Владимир Вигуль писал(а):

нет желания делать форт - наделался в свое время - есть необходимость решать прикладные задачи).

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

Владимир Вигуль

2profiT: спасибо! Не зря, значит, я завез форт в Караганду лет 15 назад - буду теперь у вас учиться

2<этот ник фильтр не пропускает>: задачки разноуровневые, т.е. мне наброски и макеты удобнее на форте делать, а дальше видно будет (я своими руками не программировал года эдак с с 93, а с фортом не имел дела вообще с 97 года - так что мне проще именно к нему вернуться, чем к другим инструментам). Я и эти задачки пытался ученикам подсовывать, но как-то они их не заинтересовали - понял, что почти никому, кроме меня, они не нужны и никто, кроме меня, их делать не будет.

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

Продолжаю вопросы:
1) SPF - 32хразрядный, слова @, !, C@, C! есть, и даже 2@, 2! есть, а вот fetch и store для работы с 16тиразрядными данными я не нашел, или есть где-то в стандарте и дистрибутиве? Добавить их в форт не проблема, но они будут массово использоваться, т.е. из соображений эффективности нужны написанные в маш.коде, в том числе "1/2@" с расширением знакового бита. Типичный объем перелопачиваемых данных такого сорта (signed 16bit) - около сотни мегабайт.
2) можно ли в SPF, как именно и какие подключать внешние библиотеки (dll)?

profiT

Kopa

Возник вопрос по организации памяти
Пример:

Код:

CREATE buff1 1024 ALLOT   
HERE VALUE buff2 1024 ALLOT   

Хочется, что бы VALUE переменная определилась отдельно, не
затрагивая область HERE.
Возможно ли это сделать для SPF?

P.S. И как это решается в других Форт системах?

mOleg

Kopa писал(а):

Хочется, что бы VALUE переменная определилась отдельно, не затрагивая область HERE.

\
Ээ, а для чего это тебе?
как вариант есть USER-VALUE, но она медленнее

Kopa

mOleg писал(а):

Kopa писал(а):

Хочется, что бы VALUE переменная определилась отдельно, не затрагивая область HERE.

\
Ээ, а для чего это тебе?
как вариант есть USER-VALUE, но она медленнее

Так получилось( при внесении минимальных изменений в рабочий код)
, а далее возник попутный вопрос.

P.S. При прохождении кода через макрооптимизатор, такие сущности
как константы, переменные и др. можно вообще не генерить
в выходном файле, как отдельные слова:) если нет в них дальнейшей
необходимости.

mOleg

Kopa писал(а):

P.S. При прохождении кода через макрооптимизатор, такие сущности
как константы, переменные и др. можно вообще не генерить
в выходном файле, как отдельные слова если нет в них дальнейшей
необходимости.

СПФ не умеет делать standalone программы.
То есть ты по-любому наследуешь весь код системы ( исключением кода, находящегося в динамических словарях).

garbler

Kopa писал(а):

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

такое уже обсуждалось в comp.lang.forth, подводных камней масса.
например - "TICK" - тебе будут необходимы какие-то структуры,
позволяющие выполнять работу с отложенными действиями (XT).

человек для этой цели предлагал dXT - облегчённый вариант
токена выполнения, позволяющий не тащить за собой все словарные
структуры. ему там сказали - "ФУ".

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

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

mOleg

garbler писал(а):

такое уже обсуждалось в comp.lang.forth, подводных камней масса.\
например - "TICK" - тебе будут необходимы какие-то структуры,\
позволяющие выполнять работу с отложенными действиями (XT).

интересно, что данные проблемы давно решены, в том же СМАЛ32, например.
Но, создается впечатление, что народу реально данная фича не нужна, поэтому он, народ, ее необходимость активно отрицает. А вообще все эти задачи не только разрешимы, но уже давно решены.

rvm

Цитата:

Код:

HERE VALUE buff2 1024 ALLOT

Должно быть, имелось ввиду

Код:

HERE 1024 ALLOT VALUE buff2

Kopa

rvm писал(а):

Цитата:

Код:

HERE VALUE buff2 1024 ALLOT

Должно быть, имелось ввиду

Код:

HERE 1024 ALLOT VALUE buff2

Можно и так, но если потребуется еще указатель buff3, то на стеке придется оставить еще число ( появятся 2-а указателя). Это ухудшает читабельность, но примерно так
мне и приходилось делать, когда возможностей ассемблера SPF не
хватило для адекватного построения макро-кода:) при эмуляции контроллера.

rvm

Цитата:

Можно и так

именно, что по другому (как в первой строчке) — нельзя в рамках ANS! Пространство кода, данных, имен могут быть совмещены и тогда по HERE VALUE buff2 buff2 даст не свободную ячейку, а область словарной статьи или кода слова buff2. Таки время от времени попадается эта ошибка.

Гость

Цитата:

Хочется, что бы VALUE переменная определилась отдельно, не затрагивая область HERE. Возможно ли это сделать для SPF?

Да. Например, определив ее во временном словаре:

Код:

TEMP-WORDLIST VALUE myvalue

: MYVALUE ( x "name" -- ) 
  GET-CURRENT >R myvalue SET-CURRENT
  VALUE
  R> SET-CURRENT
;

HERE .
1 MYVALUE a
myvalue::a .
HERE .

Модель памяти в SPF4

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