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

[captain cobalt]

Сборка мусора - это способ автоматического управления памятью, применяемый в большинстве функциональных языков программирования и в некоторых императивных языках. В том числе в технологиях Java и .NET от известных транснациональных корпораций.

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

Какие будут мнения насчёт обоснованности применения сборщиков мусора в средах исполнения на Speccy?

[Advertiser]

[GriV]

Я например не знаю...

[captain cobalt]

Сборка мусора - это способ автоматического управления памятью, при котором программы не освобождают память явно. Вместо этого при исчерпании памяти запускается сборщик мусора, который определяет, какая память больше не нужна, и утилизирует её.

[elf/2]

какая память больше не нужна

как ты предполагаешь определять какая память больше не нужна?

для сборки мусора необходимо определить когда та или иная переменная/объект вышла/ел из области видимости. сие не представляется возможным по причине отсутсвия понятия переменной/объекта в используемых языках программировая (асм)

[GriV]

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

[random]

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

[captain cobalt]

как ты предполагаешь определять какая память больше не нужна?

для сборки мусора необходимо определить когда та или иная переменная/объект вышла/ел из области видимости. сие не представляется возможным по причине отсутсвия понятия переменной/объекта в используемых языках программировая (асм)

Динамическое управление памятью заключается в том, что имеется большая область памяти, называемая "куча". Программы могут динамически запрашивать память нужного им размера, при этом им выдаётся указатель на выделенную в куче память.

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

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

Ассемблер - не очень удобный язык для программирования совместно со сборкой мусора. Следует использовать язык более высокого уровня.

[GriV]

Динамическое управление памятью заключается в том, что имеется большая область памяти, называемая "куча". Программы могут динамически запрашивать память нужного им размера, при этом им выдаётся указатель на выделенную в куче память.

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

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

Ассемблер - не очень удобный язык для программирования совместно со сборкой мусора. Следует использовать язык более высокого уровня.

Замечательно! И где такой ЯВУ взять? И потом, кто сказал что система не управляет таким образом памятью? Да, TRDOS не управляет так, да BASIC не управляет так, но они то и системами могут быть с трудом названы... А потом, как процесс завершился, он всегда отдаёт код завершения системе, вот и возможность выделять память уже использованную процессами...

[elf/2]

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

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

Ассемблер - не очень удобный язык для программирования совместно со сборкой мусора. Следует использовать язык более высокого уровня.

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

[elf/2]

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

это безусловно нужно, но довольно далеко от темы данной ветки