Как проверить утечку памяти?

В моей компании мы запрограммировали бесконечный путь действий для нашего приложения. Сборщик мусора java должен очистить все неиспользуемые карты, список и что-то в этом роде. Итак, мы позволяем приложению начинать с бесконечного пути действий и смотреть, растет ли объем используемой памяти.

Чтобы проверить, какие поля не удаляются, вы можете использовать JProfiler для Java.

На каком языке?

Я бы использовал такой инструмент, как Valgrind, попытался бы полностью испытать программу и посмотреть, что она сообщает.

первая линия защиты:

• контрольный список с общей памятью ошибки, связанные с распределением для Разработчики
• правила кодирования

вторая линия защиты:

• обзоры кода
• статический анализ кода (как часть процесса сборки)
• инструменты профилирования памяти

Если вы работаете с неуправляемым языком (например, C / C++), вы можете эффективно обнаружить большую часть утечек памяти, взломав функции управления памятью. Например, вы можете отслеживать все выделения / освобождения памяти.

Мне кажется, что суть проблемы не столько в поиске утечек памяти, сколько в знании того, когда их проверять. Вы говорите, что у вас много действий пользователя, но не говорите, какие последовательности действий пользователя имеют значение. Если вы можете генерировать осмысленные последовательности случайным образом, я бы сильно поспорил в пользу случайного тестирования. На случайных тестах вы бы измерили

• Покрытие кода (с gcov или valgrind)
• Использование памяти (с valgrind)
• Освещение самих действий пользователя

Под «охватом действий пользователя» я подразумеваю такие утверждения:

• Для каждой пары действий A и B, если существует значимая последовательность действий, в которой сразу за A следует B, то мы протестировали такую ​​последовательность.

Если это не так, то вы можете спросить, для какой доли пар A и B это правда.

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

Автоматизируйте!

Замените новый и Удалить своими пользовательскими версиями и регистрируйте каждый акт распределения / освобождения.

Если говорить в целом (не о тестировании, а о том, чтобы бороться с проблемой в ее происхождении), то смарт-указатели помогают избежать этой проблемы. К счастью, стандарт C++ 11 предоставляет новые удобные классы интеллектуальных указателей (shared_ptr, unique_ptr).