названия функций - лисповые
cdr car
а зачем нужно - не пойму

то функции работы с "надстраиваемыми" списками, т.е. списками, где "добавляется" В ГОЛОВУ ПО ЭЛЕМЕНТУ, А всё остальное - хвост

вообще приводить такой код в качестве аргумента совсем не корректно. Собственно вообще бесполезно 8(

в том-то и дело, толку от куска кода совсем нету. Понять что-то можно, но для этого нужно разбираться, причем достаточно долго, так как объем достаточно не маленький. Название s-expressions ничего не говорит 8(

Это списки а ля Лисп со специализированным сборщиком мусора.

прекрасно, но все-таки не хватает ни коментариев, ни примеров применения, ни описания.
Толку от выкладывания такого кода очень мало 8( в нем надобно копаться, чтобы разобраться. То есть он применим только для того, кто его писал.

---

да нет, просто почему-то твои высказывания черезчур в последнее время категоричны 8(


тут главное слово разбирать программу надо!
Интересно, что ты сам не так давно говорил другое - что в либах разбираться не надо, а надо просто ими пользоваться

но дело даже не в этом, нету ни одной строчки с пояснением, что же это такое и как этим пользоваться в самой либе.
нету ни одного коментария ни к одному слову 8(
А 5кб текста для форта не так уж и мало, кстати, текст не открывается сейчас!?

---

Сейчас простой mark & sweep считается уже устаревшим. Обычно делается вариация на тему "трех цветов". Хороший обзор есть в Википедии.

Это не для критики, а в порядке обмена опытом.

да нет, просто речь шла о другом - что не стоит выкладывать код, в котором надо разбираться потому как толку от такого нету никакого.
Ведь код приведен для иллюстрации реализации идеи, а не для того, чтобы в нем РАЗБИРАЛИСЬ серьезно - не так ли?

Спасибо за информацию об алгоритме Дейкстры! Вобще говоря, ни один из алгоритмов gc не может являться панацеей. Сперва нужно исследовать, в каких конкретных условиях он будет использоваться. Например, готовы ли мы смириться с тем, что каждое обращение к распределителю памяти повлечет за собой некоторые накладные расходы, какая степень интерактивности всей системы нас бы устроила... и тд. Стековая модель Форта вобще располагает к нетрививальным решениям в этой области(см. home(dot)pipeline(dot)com/~hbaker1/ForthStack.html). На мой взгляд, тут есть еще пространство для исследований.

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

storage9(dot)myopera(dot)com/true-grue/files/forth-fp.html

Буду рад отзывам!

Не знаю, может быть будет кому-то полезна эта идея.

Как работает сборщик:
1. Указатель на хип всегда помещается на стек возвратов.
2. Указатель на хип и указатель на ячейку в стеке возвратов, где хранится указатель на хип (*heap, **heap), передаются в поток.
3. Если указатель пропадает из выделенной ячейки на стеке возвратов, то поток освобождает память.

Я реализовал у себя для теста. Вполне рабочая схема. Можно чуть поменять условия. Например, память освобождается если указателя на хип нет среди стека данных и стека возвратов. Тем будет гибче и менее железобетонней.