Выгружаются, насколько я помню, глобальные переменные и код, а дескрипторы типов должны оставаться в памяти. Только вот не помню, почему. Кто знает?

Потому что в куче могут быть экземпляры этих типов.

Тов. Ермаков может чего подробнее разъяснит, он на ентом деле собаку съел.

Потому что в куче могут быть экземпляры этих типов. Тов. Ермаков может чего подробнее разъяснит, он на ентом деле собаку съел.

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

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

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

Код остается в памяти, а глобальные переменные обнуляются.

...Я думаю, что вполне реализуемо вот что: при сборке мусора можно ставить флажок во всех дескрипторах, для которых нашёлся хотя бы один экземпляр объекта. Если модуль выгружен, и в его дескрипторах не установился ни один флажок, весь блок дескрипторов можно выгрузить.

Но это по сути обычная сборка мусора, только ссылки на дескрипторы из типа должны быть типизированы а дескрипторы надо создавать динамически при загрузке модуля и хранить скрытые ссылки на них в этом самом модуле. И не надо никаких доп. флагов...

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

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

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

Представим себе круглосуточный всемирный дистанционный олимпиадный (ну, пусть) сервер

Какие могут быть ссылки на глобальные переменные?

Делать такой сервер через LoadModule/UnloadModule в любом случае не стоит.

Коллеги, работает сейчас оно так:
есть список дескрипторов модулей Kernel.modList, в нём находятся как загруженные, так и выгруженные модули. Т.е. он только "раздувается". Перезагрузили 100 раз модуль - будет для него 100 дескрипторов. Отличить дескрипторы выгруженных модулей можно по счётчику ссылок импорта от других модулей ref < 0.
Для выгружаемого модуля уничтожаются секции кода и глобальных переменных (code и data). Блок метаинформации остаётся, как есть.

Для выгружаемого модуля уничтожаются секции кода и глобальных переменных (code и data).

Грузить независимый ББ для каждой задачки?