Oberon & GCless modules

[valexey]

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

Автоматическое освобождение региона вообще никак не связано с запросами на создание нового объекта.

Можно сократить объяснение: GC-ленивый (ленивые вычисления, да), а регионы энергичны.

[DIzer]

Автоматическое освобождение региона вообще никак не связано с запросами на создание нового объекта. Компилятор, проанализировав текст программы, определяет, где нужно освободить регион, то есть освобождение памяти в регионе является статическим, а не динамическим как у GC.
Это похоже на распределение переменных в стеке -- при вызове подпрограммы в стеке выделяется память под её локальные переменные, при завершении подпрограммы эта память автоматически освобождается. Никакой сборщик мусора тут не нужен...

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

[Geniepro]

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

А в чём проблема? Этот регион явно завершит своё существование, когда закончится тело той ветки IF, в которой он был создан...

[DIzer]

наверное в том, что он может вообще не создаваться на практике...

[Geniepro]

наверное в том, что он может вообще не создаваться на практике...

Ну так тем более: нет региона -- нет проблемы!

[DIzer]

наверное в том, что он может вообще не создаваться на практике...

Ну так тем более: нет региона -- нет проблемы!

точно МММ-нет проблем!

[valexey]

Кстати, по сути в erlang'e память тоже регионами управляется, а в рамках каждого региона имеется сборщик мусора :-)

[Geniepro]

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

В этом случае принятие решения о месте и времени уничтожения региона становится тривиальным...

[DIzer]

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

В этом случае принятие решения о месте и времени уничтожения региона становится тривиальным...

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

[Geniepro]

В Аде есть access types (что-то типа ссылочных типов), их можно представить как регионы -- когда действие программы выходит за область видимости таких типов, то все объекты этих типов тут же уничтожаются.

[Илья Ермаков]

Я слабо представляю как можно NEW отделить от языка - это не типичная процедура и/или функция. Средствами языка нельзя реализовать процедуру NEW.

Кстати, в ББ можно описать её как PROCEDURE NEW (OUT p: SYSTEM.PTR). PTR-у можно присваивать любое указательное значение. Т.е. это нетипизированный GC-шный указатель. Недокументированная вещь. Просто для информации

[valexey]

Я слабо представляю как можно NEW отделить от языка - это не типичная процедура и/или функция. Средствами языка нельзя реализовать процедуру NEW.

Кстати, в ББ можно описать её как PROCEDURE NEW (OUT p: SYSTEM.PTR). PTR-у можно присваивать любое указательное значение. Т.е. это нетипизированный GC-шный указатель. Недокументированная вещь. Просто для информации

Объявить то можно, а вот реализовать уже нет. Но все равно спасибо.

[Илья Ермаков]

В каком смысле нельзя реализовать? В ББ NEW заменяется на вызов Kernel.NewRec.

[valexey]

В каком смысле нельзя реализовать? В ББ NEW заменяется на вызов Kernel.NewRec.

В прямом. Возможно я чего-то не понимаю, но NEW кроме указателя по ссылке (то есть куда записать)  нужно ведь знать и тип этого указателя (а по типу нужно иметь возможность узнать размер записи). Насколько я понимаю, указатели даже в ББ это не тэгированные типы, соответственно в рантайме информации о типе нет. Следовательно мы не знаем сколько памяти нужно выделять.

[Илья Ермаков]

Да, всё верно, Алексей. Упустил.

Вот сделать процедуру, которая будет работать так:
VAR r: RECORD ptr: MyObject END;;
New(r)
- можно.