Итак, скажем, код C/С++, который выделяет некоторую память, и возвращает указатель на него.
#include <stdlib.h>
#ifdef __cplusplus
extern "C" {
#endif
void Allocate(void **p) {
int N=2048;
*p=malloc(N);
}
#ifdef __cplusplus
}
#endif
Я ожидаю, что это моя обязанность освободить этот блок памяти, очевидно. Теперь предположим, что я скомпилирую это в разделяемую библиотеку и вызываю ее из Python с помощью ctypes, но не освобождаю явным образом эту память.
import ctypes
from ctypes import cdll, Structure, byref
external_lib = cdll.LoadLibrary('libtest.so.1.0')
ptr=ctypes.c_void_p(0)
external_lib.Allocate(ctypes.byref(ptr))
Если я запустил этот script с valgrind, я получаю утечку памяти из 2048 байт, если я скомпилирую test.cpp без флага "-O3". Но если я скомпилирую его с помощью флага -O3, то я не получаю утечку памяти.
Это не проблема - я всегда буду осторожно освобождать любую память, которую я выделяю. Но мне любопытно, откуда такое поведение.
Я протестировал это со следующим script в linux.
g++ -Wall -c -fPIC -fno-common test.cpp -o libtest1.o
g++ -shared -Wl,-soname,libtest1.so.1 -o libtest1.so.1.0 libtest1.o
g++ -O3 -Wall -c -fPIC -fno-common test.cpp -o libtest2.o
g++ -shared -Wl,-soname,libtest2.so.1 -o libtest2.so.1.0 libtest2.o
valgrind python test1.py &> report1
valgrind python test2.py &> report2
со следующим выходом
доклад1:
==27875== LEAK SUMMARY:
==27875== definitely lost: 2,048 bytes in 1 blocks
==27875== indirectly lost: 0 bytes in 0 blocks
==27875== possibly lost: 295,735 bytes in 1,194 blocks
==27875== still reachable: 744,633 bytes in 5,025 blocks
==27875== suppressed: 0 bytes in 0 blocks
доклад2:
==27878== LEAK SUMMARY:
==27878== definitely lost: 0 bytes in 0 blocks
==27878== indirectly lost: 0 bytes in 0 blocks
==27878== possibly lost: 295,735 bytes in 1,194 blocks
==27878== still reachable: 746,681 bytes in 5,026 blocks
==27878== suppressed: 0 bytes in 0 blocks