Управление памятью в Nim

"Путь в ад вымощен благими намерениями."

Стратегии управления памятью в многопарадигменном подходе

Nim предлагает несколько различных стратегий управления памятью. Для выбора стратегии управления памятью используйте переключатель --mm:.

ARC/ORC

ORC — это стратегия управления памятью по умолчанию. Это режим управления памятью, основанный в основном на подсчёте ссылок. Циклы ссылок обрабатываются механизмом сбора циклов, основанным на «испытательном удалении». Поскольку алгоритмы, основанные на «прослеживании», не используются, поведение во время выполнения не зависит от размеров кучи и стека.

Операции подсчёта ссылок (= «операции RC») не используют атомарные инструкции и не должны — вместо этого целые подграфы перемещаются между потоками. Компилятор Nim также агрессивно оптимизирует операции RC и использует семантику перемещения.

Nim выполняет ряд оптимизаций для ARC/ORC; вы можете проверить, что он сделал с вашей критически важной для времени функцией, с помощью --expandArc:functionName. Аналогично, вы можете проверить весь модуль с помощью --expandArc:fileName.

--mm:arc использует тот же механизм, что и --mm:orc, но опускает коллектор циклов. И ARC, и ORC предлагают детерминированную производительность для систем с жёстким реальным временем, но ARC может быть проще для понимания для людей, приходящих из Ada/C++/C — грубо говоря, память для переменной освобождается, когда она выходит «из области видимости».

Мы обычно рекомендуем вам использовать аннотацию acyclic, чтобы оптимизировать накладные расходы коллектора циклов, но --mm:orc также генерирует больше машинного кода, чем --mm:arc, поэтому, если на целевой платформе важен размер кода, и вы знаете, что ваш код не генерирует циклы, вы можете использовать --mm:arc. Обратите внимание, что реализация асинхронного кода по умолчанию создает циклы и приводит к утечке памяти с помощью --mm:arc, другими словами, для async вам нужно использовать --mm:orc.

Другие режимы MM

Ниже приведён сравнительный анализ различных режимов управления памятью:

Сборщик мусора JavaScript используется для целей компиляции JavaScript и NodeJS. Цель NimScript использует стратегию управления памятью, встроенную в компилятор Nim.