Модуль Gc

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

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

Параметры сборщика мусора задаются в виде записи 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 изменяет параметры GC в соответствии с записью control r. Обычное использование: Gc.set { (Gc.get()) with Gc.verbose = 0x00d }

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

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

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

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

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

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

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

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

get_bucket n возвращает текущий размер n-го будущего ведра системы сглаживания GC. Единица — одна миллионная часть полного GC.

get_credit () возвращает текущий размер счётчика «работа, выполненная заранее» системы сглаживания GC. Единица — одна миллионная часть полного GC.

Возвращает количество попыток отображения огромных страниц, после которых пришлось вернуться к маленьким страницам. Всегда 0, если OCAMLRUNPARAM содержит H=1.

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

GC вызовет функции завершения в порядке освобождения. Когда несколько значений становятся недоступными одновременно (т. е. во время одного цикла GC), функции завершения будут вызваны в обратном порядке соответствующих вызовов 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 иногда выделяются, а иногда нет, поэтому завершать их работу небезопасно, и Invalid_argument также вызовет 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, чтобы сообщить GC, что он может запустить следующую функцию завершения, не дожидаясь возвращения текущей.

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

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

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

eventlog_pause () приостановит сбор трасс в среде выполнения. Трассы собираются, если программа связана со средой выполнения с инструментарием и запущена с переменной среды OCAML_EVENTLOG_ENABLED. События записываются на диск после приостановки, и новые события не будут регистрироваться до тех пор, пока не будет вызвано eventlog_resume.

eventlog_resume () возобновит сбор трасс в среде выполнения. Трассы собираются, если программа связана со средой выполнения с инструментарием и запущена с переменной среды OCAML_EVENTLOG_ENABLED. Этот вызов можно использовать после вызова eventlog_pause или если программа была запущена с OCAML_EVENTLOG_ENABLED=p. (что приостанавливает сбор трасс перед первым событием.)