ВеткаБеда подкралась откуда не ждали :)

Беда подкралась откуда не ждали :) Итак, у меня есть несколько стеков: - data - return - возможно locals - catch/throw - ... Форт-система кооперативная многозадачная, с переключением в NEXT Memory Regions под стеки выделяются динамически так как fibers появляются и исчезают в процессе работы системы. Освобожденные регионы переиспользуются. Я бы хотел при переключении наблюдать состояния стеков. Когда я вижу что стек близок к исчерпанию, я бы хотел переносить стек в более большой Memory Region. Но (как минимум) data и return стеки могут хранить указатели, которые никак нельзя отличать от integers. А еще есть же absolute address, execution token... Допустим, я типизирую все значения, путем теггирования (что замедлит работу из-за битовых операций) или путем паралельного Shadow Stack с типами (что увеличит вдвое расходуемую под стеки память). Технически это дает возможность пересчитывать те указатели, которые не relative и двигать стеки куда мне захочется? Или есть какие-то подводные камни, которые я не учитываю? Go runtime (по мнению ИИ, подкрепленном ссылками, которые я не проверял) действительно копирует растущие стеки goroutine, затем отдельно корректирует контекст, defer/panic-структуры и указатели внутри кадров по точным pointer maps - то есть это как минимум возможно Я пока вижу вариант сохранять все такие указатели как специальное значение (-2 например, чтобы не путать с FALSE), которое говорит о том, что нужно сходить в отдельную таблицу, ключом в которой является адрес ячейки стека, а значением - что-то относительное, что позволит получить доступ к самому значению. И это относительное будет переписываться при всех перемещениях стеков и других Memory Region-ов (словарей?) относительно друг друга. Получается примерно тот же коленкор что мы обсуждали про объекты, управляемые gc..