Могу ли я повторно выполнить блок GC OCaml?

Question

В OCaml memory.h или alloc.h не используется realloc (byterun/caml). Означает ли это, что невозможно перераспределить блок OCaml GC (или значение)? Потребительная случае я имею в виду это строка CONCAT, где можно сделать следующие оптимизированы с помощью перераспределить:

a = a^b 

В моих тестах, строка CONCAT на самом деле быстрее в PHP (5.5), чем нативный скомпилированные OCaml (4,02 0,1).

Редактировать: В другом тесте, Bufferявляется гораздо быстрее, чем PHP CONCAT, и еще быстрее, чем OCaml Concat даже при преобразовании буфера строки в каждой итерации цикла. Code.

Answer 1

Это правда, что нет realloc()-примитив примитива для памяти OCaml.

КПД realloc() не является данным; это зависит от схемы вызовов. Вообще говоря, это только экономит время, если после перераспределенного объекта есть свободное пространство.

В OCaml это маловероятно; в младшем генерации GC никакие объекты не имеют свободного пространства после них; блоки распределяются при уменьшении порядка памяти. В старшем поколении у вас может быть странное отверстие здесь и там. Если уплотнение было сделано недавно, только один старый объект в конце может иметь свободное пространство после него.

По этим причинам я подозреваю, что realloc() практически не имеет преимуществ в среде OCaml GC.

Я бы на самом деле склонялся к сомнению, что realloc() - причина, по которой вы получаете больше времени для PHP, чем для OCaml. Я не думаю, что это настоящая временная пауза, за исключением необычных обстоятельств. Но, возможно, у вас есть некоторые измерения, которые поддерживают эту теорию.

Update

Вы можете поэкспериментировать с модулем OCaml Buffer, который позволит вам конкатенации строк императивно. Буфер, вероятно, будет быстрее, чем использование оператора ^ для многих случаев (но имеет обычные недостатки изменчивого значения).