Модуль Gc

Счётчики управления памятью возвращаются в stat записи. Эти счётчики дают значения для всей программы.

Общее количество памяти, выделенной программой с момента запуска, составляет (в словах) minor_words + major_words - promoted_words. Умножьте на размер слова (4 на 32-разрядной машине, 8 на 64-разрядной машине), чтобы получить количество байтов.

Параметры GC задаются как запись control. Обратите внимание, что эти параметры также могут быть инициализированы с помощью переменной среды OCAMLRUNPARAM. См. документацию по ocamlrun.

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

То же, что и stat, за исключением того, что live_words, live_blocks, free_words, free_blocks, largest_free, и fragments установлены в 0. Из-за буферов по областям, оно может представлять только состояние общего использования памяти программы с момента последнего сбора мусора меньшего масштаба. Эта функция намного быстрее, чем stat, поскольку ей не нужно вызывать полный основной сбор мусора.

Возвращает (minor_words, promoted_words, major_words) для текущей области или потенциально для предыдущих областей. Эта функция так же быстра, как quick_stat.

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

В программах на машинном коде эта функция не выделяет память.

Возвращает текущие значения параметров сборщика мусора в записи control.

set r изменяет параметры сборщика мусора в соответствии с записями control r. Обычное использование: Gc.set { (Gc.get()) with Gc.verbose = 0x00d }

Вызывает минорную коллекцию.

major_slice n Выполняет минорную коллекцию и срез мажорной коллекции. n — размер среза: сборщик мусора выполнит достаточно работы, чтобы освободить (в среднем) n слов памяти. Если n = 0, сборщик мусора попытается выполнить достаточно работы, чтобы гарантировать, что следующему автоматическому срезу не потребуется работы. Эта функция возвращает неопределенное целое число (в настоящее время: 0).

Выполняет минорную коллекцию и завершает текущий цикл мажорной коллекции.

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

Выполняет полную мажорную коллекцию и компактирует кучу. Обратите внимание, что компактирование кучи — длительная операция.

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

Возвращает количество байтов, выделенных этим домен и потенциально предыдущим домен. Оно возвращается как float, чтобы избежать проблем с переполнением int на 32-битных машинах.

Возвращает текущий размер свободного места в минорной куче этого домена.

finalise f v регистрирует f как функцию финализации для v. v должен быть выделен в куче. f будет вызван с v в качестве аргумента в какой-то момент между первым временем, когда v становится недостижимым (включая через слабые указатели), и временем, когда v собирается сборщиком мусора. Для одного значения могут быть зарегистрированы несколько функций, или даже несколько экземпляров одной и той же функции. Каждый экземпляр будет вызван один раз (или ни разу, если программа завершится до того, как v станет недостижимым).

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

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

Всё, что достижимо из замыкания функций финализации, считается достижимым, поэтому следующий код не будет работать как ожидается:

•  let v = ... in Gc.finalise (fun _ -> ...v...) v 

Вместо этого следует убедиться, что v не находится в замыкании функции финализации, написав:

•  let f = fun x -> ...  let v = ... in Gc.finalise f v 

Функция f может использовать все возможности OCaml, включая присваивания, которые делают значение снова достижимым. Она также может циклически выполняться вечно (в этом случае другие функции финализации не будут вызваны во время выполнения f, если она не вызовет finalise_release). Она может вызвать finalise на v или других значениях, чтобы зарегистрировать другие функции или даже себя. Она может вызвать исключение; в этом случае исключение прервёт то, что программа делала, когда функция была вызвана.

finalise вызовет Invalid_argument, если v не гарантирует выделение в куче. Некоторые примеры значений, которые не выделены в куче, — это целые числа, константные конструкторы, булевы значения, пустой массив, пустой список, единичное значение. Точный список того, что выделено в куче или нет, зависит от реализации. Некоторые константные значения могут быть выделены в куче, но никогда не освобождаться в течение жизни программы, например, список константных целых чисел; это также зависит от реализации. Обратите внимание, что значения типов float иногда выделяются в куче, а иногда и нет, поэтому финализация их небезопасна, и finalise также вызовет Invalid_argument для них. Значения типа 'a Lazy.t (для любого 'a) в этом отношении похожи на float, за исключением того, что компилятор иногда оптимизирует их таким образом, что finalise не обнаруживает их. В этом случае он не вызовет Invalid_argument, но вы всё равно должны избегать вызова finalise для ленивых значений.

Результаты вызова String.make, Bytes.make, Bytes.create, Array.make и ref гарантированно выделяются в куче и не являются константными, за исключением случаев, когда аргумент длины равен 0.

то же самое, что и Gc.finalise, за исключением того, что значение не передаётся в качестве аргумента. Таким образом, вы не можете использовать заданное значение для вычисления функции финализации. Преимущество состоит в том, что функция вызывается после того, как значение становится недостижимым в последний раз, а не в первый раз. Итак, в отличие от Gc.finalise, значение больше никогда не будет достижимым или используемым. В частности, все слабые указатели и эфемеры, содержащие это значение в качестве ключа или данных, сбрасываются перед запуском функции финализации. Более того, функции финализации, присоединённые с помощью Gc.finalise, всегда вызываются перед функциями финализации, присоединёнными с помощью Gc.finalise_last.

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

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

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

delete_alarm a прекратит вызовы функции, связанной с a. Повторный вызов delete_alarm a не окажет никакого эффекта.