Сборка мусора

[elf/2]

Сборщик мусора должен иметь информацию обо всех указателях. В том числе находящихся внутри объектов. При работе он ищет все достижимые через указатели объекты, в том числе через цепочки указателей внутри объектов.
Таким образом, корректная сборка мусора возможна.

ближе к коду:
1. мы попросили у системы 100 байт
2. нам вернули указатель на выделенную память в регистре HL
3. это был временный буфер, мы его использовали и он нам больше не нужен

что мы должны сделать дальше чтобы сборщик мусора понял что эту память можно забирать?

[Advertiser]

[SMT]

ближе к коду:
1. мы попросили у системы 100 байт
2. нам вернули указатель на выделенную память в регистре HL
3. это был временный буфер, мы его использовали и он нам больше не нужен

что мы должны сделать дальше чтобы сборщик мусора понял что эту память можно забирать?

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

[elf/2]

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

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

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

где в асме переменные и области видимости?

[GriV]

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

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

где в асме переменные и области видимости?

Похоже что коллега не понимает твой вопрос. Подразумевается, что используется ЯВУ (язык высокого уровня), соответственно имеется структура, имеется указатель структуры и т.д.
Вообще я так понимаю, что сборщик мусора есть свойство/метод ОСи (её менеджера памяти), который по этим структурам и осуществляет очистку, поэтому сборщик и ЯВУ никогда не развиваются по отдельности, а идут в ногу.

[elf/2]

Вообще я так понимаю, что сборщик мусора есть свойство/метод ОСи

неправильно понимаешь вот в windows и linux нет сборщиков мусора, а в Java и .NET которые работают под этими осями есть

[captain cobalt]

ближе к коду:
1. мы попросили у системы 100 байт
2. нам вернули указатель на выделенную память в регистре HL
3. это был временный буфер, мы его использовали и он нам больше не нужен

что мы должны сделать дальше чтобы сборщик мусора понял что эту память можно забирать?

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

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