разбор полетов - тихое падение на ALLOCATE

mOleg

Варнак писал(а):

Пожалуй, этот абзац можно без малейших изменений вставлять в конец любой статьи ..

да, действиетельно

Кстати, столкнулся с двумя проблемами, вероятно, в винде
попытка подряд выделить больше 10 маленьких блоков в хипе роняет программу. Причем СПФ падает молча.

ygrek

код? (проблемы в винде, как же)

вопрос

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

Pretorian

mOleg писал(а):

Кстати, столкнулся с двумя проблемами, вероятно, в винде
попытка подряд выделить больше 10 маленьких блоков в хипе роняет программу. Причем СПФ падает молча.
2) RESIZE на небольшую величину портит данные в блоке, изменяющем размер 8(((
проблемы на WINXP

А у меня все отлично, нет никаких проблем. Могу прислать либу для работы с кучей.
А ресизе так делаешь?

Код:

\ Изменить размер выделенной памяти
: MemResize ( n addr handle -> addr )
   9 SWAP HeapReAlloc ;

mOleg

ygrek писал(а):

код? (проблемы в винде, как же)

а вот приведенный в статье код. В слове new-msg убрать 100 ROUND
после десятого сообщения от стандартного spf.err падает молча СПФ.

in4 писал(а):

Из опыта реальных разработок дальнейшие расширения идеи:
резервировать место для некоторого количества сообщений(которые можно добавить позже)

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

in4 писал(а):

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

не совсем понял о чем речь. Речь о нескольких списках сообщений?

in4 писал(а):

возможность иметь короткие тексты сообщений(алиасы, сленг), которые опционально заменять на более подробные/точные(возможно, в отдельном редакторе)

А зачем? в случае отсутствия списка сообщений будет выдаваться код сообщения. Понятно, что код особо полезной информации не несет.

Pretorian писал(а):

А ресизе так делаешь?
Код:
\ Изменить размер выделенной памяти
: MemResize ( n addr handle -> addr ) 9 SWAP HeapReAlloc ;

использовал тот ресайз, который идет в СПФе.

ygrek

mOleg писал(а):

а вот приведенный в статье код. В слове new-msg убрать 100 ROUND

после десятого сообщения от стандартного spf.err падает молча СПФ.

Приведённый в статье код сложно назвать минимальным примером бага. Впрочем ошибку видно невооружённым глазом. Если бы вы потрудились выделить минимальный нерабочий пример -- сразу бы заметили.

mOleg

ygrek писал(а):

Приведённый в статье код сложно назвать минимальным примером бага. Впрочем ошибку видно невооружённым глазом. Если бы вы потрудились выделить минимальный нерабочий пример -- сразу бы заметили.

Не вижу ошибки. Если не сложно, поясните пожалуйста.
кроме того, система не должна падать молча, что наблюдается.

ygrek

mOleg писал(а):

Не вижу ошибки. Если не сложно, поясните пожалуйста.

Код:

: SCOPY ( asc # addr --> ) 2DUP C! 1 + SWAP CMOVE ;

Код:

: new-msg ( asc # msg --> )
          OVER /msgRecord + 1 + ALLOCATE THROW
          TUCK off_msgName !
          DUP >R off_msgBody SCOPY
          R@ msg-list change
          R> off_msgPrev ! ;

mOleg писал(а):

кроме того, система не должна падать молча, что наблюдается.

Да ну? А если вы занулите всё адресное пространство система тоже должна сообщить почему она упала? Методом телепатии?

Собственно говоря после того как программа попортила хип или записала по произвольному адресу гарантировать что-либо уже невозможно. Можно попытаться вывести дамп стека и минимизировать зависимость от разных вспомогательных структур чтобы выдать как можно больше информации не полагаясь на "испорченные" средства. Но это не всегда может получиться. Скажите хотя бы какую версию spf вы используете чтобы можно было попытаться воспринять это как багрепорт и возможно улучшить механизм дампа.

mOleg

ygrek писал(а):

Да ну? А если вы занулите всё адресное пространство система тоже должна сообщить почему она упала? Методом телепатии?

в каком месте происходит "зануление" и почему выравнивание на 8 байт отменяет падение?

mOleg

ygrek писал(а):

Скажите хотя бы какую версию spf вы используете чтобы можно было попытаться воспринять это как багрепорт и возможно улучшить механизм дампа.

любую, в смысле от 4.16 до 4.19 включая сборку из cvs хранилища.

ygrek

mOleg писал(а):

в каком месте происходит "зануление" и почему выравнивание на 8 байт отменяет падение?

ygrek писал(а):

если

Это был просто пример что система не может оставаться работоспособной "в любом случае".

Конкретно по вашему коду. Слов SCOPY копирует n+1 байт. Слово new-msg выделяет n+/msgRecord байт. Один байт пишется за границу выделенной памяти.

mOleg

ygrek писал(а):

Конкретно по вашему коду. Слов SCOPY копирует n+1 байт.

да, действительно (исправил).
Хотя всеравно странно, что ALLOCATE падает молча.

ygrek

Приведите пожалуйста точный one-click тесткейс.

Лирическое отсутпление. Я не понимаю почему программистам (программистам ёлки-палки, не пользователям) надо постоянно повторять что сообщение "у меня упало" не несёт информации вообще никакой. Нету здесь телепатов (или есть?).
Я понимаю когда классический чайник сообщает "it crashed", и из него надо клещами вытягивать по капельке информацию. Но программист.
Жаловаться на кривые библиотеки, недостаток документации, падения итп надо _обязательно_. Но багрепорт это всегда :
str, acr, exr (steps to reproduce, achieved results, expected results). Причём steps to reproduce это максимально полный environment, разные люди могут подразумевать разные очевидности. Чтобы баг пофиксить его надо разобрать, для того чтобы его разобрать его надо повторить. Это не очевидно? Без дополнительной информации такие сообщения выглядят как целенаправленный FUD, а не желание помочь (чем и является любой багрепорт (не сообщение о баге это очевидно умышленное вредительство)).
Это банальности, но у меня почему-то постоянный дежавю.

ЗЫ Вообще код выше у меня не падал (и не падает). Я не знаю что надо сделать чтобы он упал, я не знаю что вы делали чтобы он упал. Я могу найти простые ошибки, но, увы и ах, не умею дебажить всю систему в уме (пока-что?).

Alexander

Хип хипу - рознь, проверьте правильность именования функций

Еще винда ХР выделяет блоки памяти выровненые по длине параграфа, т.е. 16 байт, при юзании Heap, а при Virtual по странице, т.е. 4К.

Учтите, куча должна быть создана до того как в ней начнут рыться

Код:

CLASS HEAP
   VARIABLE HANDLE

   : CONSTRUCT ( - )
       0  1048576 4 * ( 1Megabyte)  DUP ( growable) :: HeapCreate HANDLE ! ;

   : DESTRUCT ( - )
      HANDLE @ :: HeapDestroy DROP ;

   : ALLOCATE ( size - addr ior )
      HANDLE @ HEAP_ZERO_MEMORY ROT :: HeapAlloc DUP 0= -100 AND ;

   : FREE ( addr - ior )
      HANDLE @ 0 ROT :: HeapFree 0= -102 AND ;

   : RESIZE ( addr1 size - addr2 ior )
      HANDLE @ HEAP_ZERO_MEMORY 2SWAP :: HeapReAlloc DUP 0= -100 AND ;

   : MEMSIZE ( addr - size )
      HANDLE @ 0 ROT :: HeapSize ;

END-CLASS

[/code]

ygrek

mOleg писал(а):

Хотя всеравно странно, что ALLOCATE падает молча.

В cvs версии падает с дампом стека из RtlAllocateHeap.

разбор полетов - тихое падение на ALLOCATE

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