Выбор аллокатора под рабочую нагрузку

Каждый распределитель предоставляет один и тот же интерфейс std.mem.Allocator, поэтому Вы можете менять стратегии, не переписывая код, работающий с памятью. 🔁

Главный вопрос — время жизни: как долго должна существовать эта память? Ответ часто сразу указывает на подходящий распределитель.

Для памяти, которая создаётся и удаляется одновременно, например для одного запроса или кадра, лучше всего подходит arena. Массовое освобождение обеспечивает быстроту и отсутствие утечек.

На встраиваемых платформах или на горячих участках, где куча недоступна, FixedBufferAllocator выдаёт память из уже принадлежащего Вам буфера.

Во время сборки и тестирования GeneralPurposeAllocator оправдывает себя, обнаруживая утечки и двойное освобождение до выпуска программы.

Внутри тестов используйте std.testing.allocator. Он завершает тест с ошибкой при любой утечке памяти, поэтому корректность проверяется автоматически.

Компромисс неизбежен: проверки безопасности требуют тактов процессора. Выбирайте более строгие проверки для разработки и более лёгкие распределители для выпускных сборок.

Распределители можно комбинировать: арена может работать поверх распределителя общего назначения или фиксированного буфера, сочетая массовое освобождение с выбранной Вами основой.

Примите распределитель как параметр в верхней части программы и передавайте его дальше по цепочке. Так каждая функция остаётся гибкой и пригодной для тестирования.

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

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

Вы научились выбирать распределитель по рабочей нагрузке: арена для пакетов, фиксированный буфер при отсутствии кучи, распределитель общего назначения для отладки, распределитель для тестирования — для тестов. 🎯