Некоторые особенности СПФ

Mihail

mOleg писал(а):

В tc_spf.f::488:8 нужно поставить DROP -

C" SHERE-TAB-CUR" FIND NIP
[IF]
: ; PREVIOUS
?SET SetOP POSTPONE ; [I] OPT OPT_CLOSE
DP @ SHERE-TAB-CUR @ CELL- ! ; IMMEDIATE
[ELSE] DROP
: ; PREVIOUS
?SET SetOP POSTPONE ; [I] OPT OPT_CLOSE ; IMMEDIATE
[THEN]

\ За чем тут DROP ?

mOleg

Mihail писал(а):

\ За чем тут DROP ?

на стеке остается лишнее значение после SFIND в случае ветки [ELSE]

Mihail

Там FIND, а не SFIND

mOleg

Mihail писал(а):

Там FIND, а не SFIND

тогда, прошу прощения - ступил, то есть у меня там SFIND, но я забыл, что менял это дело.

Pretorian

Код:

: Dups 0 DO I 2 * PICK LOOP ;

Попробуйте это слово с параметром 0. (0 Dups)
Система spf тихо и мирно умирает.

chess

Pretorian писал(а):

Код:

: Dups 0 DO I 2 * PICK LOOP ;

Попробуйте это слово с параметром 0. (0 Dups)
Система spf тихо и мирно умирает.

Для этого случая придумано слово ?DO

Код:

: Dups 0 ?DO I 2 * PICK LOOP ;

Гость

Pretorian писал(а):

Код:

: Dups 0 DO I 2 * PICK LOOP ;

Попробуйте это слово с параметром 0. (0 Dups)
Система spf тихо и мирно умирает.

Нормальная ситуация для некоректного использования DO ... LOOP с переполнением стека данных ( в примере PICK слово)
DO не проверяет на пустой цикл для этого есть ?DO слово более уместное.
И сколько в приведенном примере должен выполнятся DO учитывая
32-х разрядность счетчика цикла.

P.S. Если все контролировать в Форте, то это уже не совсем будет Форт.

Поставьте после PICK DROP и ничего криминального не произойдет.
В данном примере на уровне ядра, можно ввести контроль за
переполнением стека данных.

rvm

Стек данных при переполнении затирает стек возвратов, что для процесса смертельно ( как и 0 RP!

Для защиты стека возвратов ~ss делал расширение stack-guard.f, но сейчас оно не работает.

ygrek

У меня работает.

Цитата:

\ А чтоб подействовало на основной поток нужно сделать SAVE
\ 0 TO H-STDOUT S" spf4_guarded.exe" SAVE BYE
\ и попробуйте:
\ spf4_guarded.exe : tt 10000 0 DO I LOOP ; tt
\ ^ -3 Переполнение стека

rvm

Да, лучше сказать — действует не совсем адекватно

stack-guard.f BYE вызывает исключение.

ygrek

хм.. правда.. А я всегда выхожу по Ctrl-C вот и не заметил

А может у нас BYE неправильный !? :-o

Pretorian

У меня точно BYE работает (проверял и еще не пил до этого)

Pretorian

Сорри

Гость

Понадобилось слово AHEAD.
Нашел в spf и увидел, что стековая нотация отличается от стандарта
- оставляет после себя 2-а значения ( для стека управления в spf используется стек данных )
А в стандарте описано следующее.

15.6.2.0702 AHEAD TOOLS EXT
Интерпретация: Семантика интерпретации для этого слова не определена.

Компиляция: ( C: -- orig )
Помещает адрес ячейки новой неразрешенной ссылки вперед orig на
стек потока управления. Добавляет семантику времени-выполнения,
данную ниже к текущему определению. Семантика не завершена, пока
orig не разрешена (например, с помощью THEN).

Время-выполнения: ( -- )
Продолжает выполнение с адреса ячейки, определенного разрешением
orig.

P.S. Это особенность spf или нужно по другому это понимать:)
Если только orig что-то большее чем адрес.
И если отделять стек управления, то как с него получить адрес на стеке данных
стандартным способом.

rvm

По стандарту, orig может занимать и несколько ячеек на стеке.

Некоторые особенности СПФ

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