OberonCore

Коллеги, есть ли где-то описание сборщика мусора в ББ? Мож какая статья, или диссертация на худой конец )).

В частности, меня интересует сборка массивов. Мне нужно "припрятывать" указатели, так чтобы их видел сборщик мусора. С указателями на записи все понятно: я могу объявить переменную ANYPTR и поместить туда "припрятываемый" указатель. А как быть с указателями на массивы - неясно. Поскольку нет типа ANYARRAY, я, кмк, не смогу припрятать произвольный указатель на массив (неизвестного мне во время компиляции типа) языковыми средствами. Т.е. придется пользоваться заязыковыми - структурами ядра и сборщика. Посоветуйте, пож, у кого есть опыт в этом.

Похоже, мне поможет SYSTEM.PTR, нигде не документированный, и документация к ядру Ильи Ермакова. https://oberoncore.ru/library/ermakov_v ... ejs_kernel

Да, SYSTEM.PTR - это ещё более обобщённый ANYPTR, позвляющий присваивать вообще любые POINTER TO, включая массивы. Только untagged типы туда лучше не пихать, а то будет плохо.
Работать с этим типом надо осторожно, потому что такая программа валидна и никаких проверок не производится:

Вроде как использование IS/WITH/typeguard должно быть быть безопасно, но это не точно, лучше перепроверить.

Так и не понял, что бы это значило?

Я решал задачу: найти все указатели в процедурных кадрах в цепочке активации и продублировать их в массиве. Решил с оговоркой. Для решения использовал ARRAY OF SYSTEM.PTR, т.к. этот тип совместим с указателями на записи и указателями на массивы, при этом он участвует в сборке мусора, как все - т.е. сборщик "видит" указатели SYSTEM.PTR.
Оговорка в следующем: невозможно отличить в процедурном кадре
p: SYSTEM.PTR
от
u: POINTER [untagged] TO...
поскольку и то, и другое кодируется form = 0DX (в процедуре Kernel.GetRefVar).
Поэтому из моей задачи такие указатели в процедурных кадрах пришлось исключить. (Однако, полагаю, можно решить и эту задачу: штатный сборщик, анализируя кадры, вообще не замудряется, где какие типы локальных переменных: каждые 4 байта объявляются кандидатом, и потом какая-то проверка идет - типа, "указывает" ли это четырехбайтное значение в кучу. До конца не вник, поскольку задача не требует).

Надеюсь, что прояснил "припрятывание".

Мне казалось, что припрятывать можно от сборщика мусора.
А так, можно было просто массив целых завести.