OberonCore

Вот такой вопросец.

Что значит "подвижны"?

Занимается ли менеджер памяти дефрагментацией кучи, перемещая выделенные блоки памяти и меняя тем самым их адреса.

Нет, в а2 неперемещающий сборщик мусора

Он ведь там вроде не один? Или один? В общем, инфа 100%?

Там же прямые указатели и сборщик mark&sweep. Откуда взяться перемещающему сборщику мусора?

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

Возможно, информация будет полезна.

Если говорить про КП/ББ, то там для перемещаемого алгоритма сборки препятствием является то, что нет метаинформации о структуре стека вызовов.
И стек маркируется упрощённо - консервативно.
Думаю, что в А2 ситуация та же.

Т.е. невозможно реализовать фазу fixup перемещаемого сборщика - не получится пофиксить адреса в стеке.

Хотя:
1) Не метаинформация, а отладочная (в неэффективном формате) в КП/ББ есть о структуре стека. Т.е. как бы есть от чего оттолкнуться (например, догенерировать метаинформацию о кадрах стека в рантайме).
2) Если собирать мусор с перемещением только при пустом стеке, то ОК. Но в А2 так не получится, по понятным причинам )))

Как вариант, можно перемещать все объекты, кроме тех, на которые существуют ссылки со стека.

В A2 - точный сборщик мусора, там этой проблемы нет.

Сейчас в а2 concurrent precise garbage collector. В последнее время там экспериментировали и с подсчетом ссылок и с поколениями, в результате пришли к тому что есть сейчас. Видимо это наиболее эффективный вариант, когда сборщик мусора все еще понятен в каждой строке кода.

интересный доклад близко по теме - рассматриваются различные варианты:
https://www.youtube.com/watch?v=XtijbFcQxyw