Dotaz: C dohledání memory leaks

[MilanC]

Ahoj,

potřeboval bych svůj výtvor nějak ověřit a být si jistý, že neobsahuje žádné memory leaks. Beží na embedded mips zařízení, proto využívám cross kompilace. V samotném mém programu je jedinný malloc a realloc, takže o to mi až tak nejde. Jde mi hlavně o využívané funkce ze sdílených knihoven - typicky libcurl a json-c.

Pokoušel jsem se tam dostat valgrind a to se mi i povedlo, nicméně jej nemohu použít z důvodu nedostatku RAM. Zkusil jsem nyní přikompilovat do projektu memwatch, ale když nad tím přemýšlím, podle mého mi to asi ve věci využívaných sdílených knihoven příliš nepomůže?

Můj program je hardwarově závislý, takže využívá i knihovny pro přístup k danému HW. Proto nevidím moc reálné to ladit někde jinde, kde bude více RAM, třeba v nějakém emulátoru. Samozřejmě bych si ty hw knihovny mohl namockovat, ale takové ověření by pak postrádalo trochu smysl a opravdu bych možná ověřil jen ten curl a json a nic víc.

Nemáte nějaký nápad nebo tip na nástroj, který by mi s tím pomohl? Z běžných linuxových nástrojů mám v podstatě jen busybox a ulibc, takže dost omezení.

Děkuji.

Odpovědi

[X]

To je furt to same jako minule? To se snad vyresilo ne?

[MilanC]

Ahoj, vyřešilo, zabraná paměť se rapidně snížila, ale to samé to není.

Já teď potřebuji ověřit, protože je z toho v podstatě trvale běžící "démon" provádějící různé akce na pozadí, že mi to za týden nevyžere zdroje. Zatím to mám pořešené restartovací smyčkou, ale to je takové trochu prasácké a komplikuje mi i trochu život.

Já s těmito nástroji nemám moc zkušenost, naposledy jsem hojně využíval MemProof pro Delphi, tak nevím, jestli je možnost nějak ty chyby odhalit. Prostě si představuji, že to nechám chvíli běžet, pak tomu pošlu kill a získám nějaký report, že vše, co bylo alokováno bylo také uvolněno. Ale fakt nemám zkušenost a už vůbec ne s těmi sdílenými knihovnami. Třeba u json-c je pro uvolnění dost často volat json_object_put, ale ani v oficiálních příkladech jej nevolají pokaždé, takže těžko tušit, kdy přesně ho tam mít (jestli i u parse metod nebo jen když vytvářím novou json strukturu atd.). Prostě tam mám nějaké nejistoty a rád bych si je nějak potvrdil. :)

[X]

pmap

[z_sk]

Joj, ach. Cečko ma dve spôsoby predávania dát, priamo (skopírujú sa na zásobník) a cez pointere. Parameter const znamená, že sa dáta čítajú, nemodifikujú. Musíš vedieť, ako ktorá funkcia pracuje a tak sa zariadiť. Čo sa novo alokuje, následné dealokovať. Aj pri pomocných funkciách.

Ak nevieš čo robí Ta funkcia, tak si pozrí jej kód, ak je knižnica open-source a budeš mať (väčšiu) istotu.

Prečo robíš a la embed C? Prečo to nenecháš, čo sa v tom vyznajú, keď si trošku stratený.

Rob si monitoring systému so záznamy v historií, aby si vedel ako sa to správa. A prípadne maj poistku - pri istej vyťaženosti proces reštartuješ.

[dsss]

S oblibou pouzivam promenne prostredi MALLOC_CHECK_ (man 3 mallopt) a valgrind.

[ehmmm]

Nevim, co to je za stroj, takze obecne rady.

Pokud to je neco typu Arduino, tak dlouhodobe sledovat stack a heap a prostor mezi nima. Osobne se mallocu v embedded vyhybam a kdyz uz, tak uvolnovat presne v opacnem poradi, nez se alokuje, aby nebyly v heapu diry.

Pokud to je neco, kde uz je treba i Linux, tak koukat na velikost obsazene pameti jednotlivych procesu a nesmi proste stoupat. Proste za tyden musi byt stejna jako pred tydnem.

Pokud mas podezreni na nejakou funkci, tak misto abys ji volal obvykle napr. jednou za hodinu, tak ji zavolej milionkrat a hned budes vedet, jestli to je v poradku.

Vsichni si tu delaji legraci s Pascalu, ale treba Lazarus ma HeapTrc a ten ukaze, jestli jsem nahodou nezapomnel neco uvolnit.

[BFU]

Co zkusit LSan:

https://github.com/google/sanitizers/wiki/AddressSanitizerLeakSanitizer

Je to soucast gcc i clang, dela to compile-time instrumentaci takze je to signifikantne rychlejsi nez valgrind. Pouziti je tim stylem, ze se userspace prekompiluje s '-g3 -Og -fsanitize=address'/'leak' CFLAGS/LDFLAGS (at to ma debug symboly bez optimalizace at to muze rozumne resolvovat backtrace) a pak se to proste spusti. Jakmile program skonci, tak vyhodi nejakou statistiku leaku.

[MilanC]

Tohle by se mi dost líbilo, ale asi mám smůlu... ale díky

helper.c:1:0: error: -fsanitize=address not supported for this target [-Werror]

[BFU]

ASan by mel Linux/MIPS target umet. Mozna to staci zapnout pri kompilovani toolchainu, nebo je toolchain opravdu moc stary ?

[Jindřich Makovička]

Toho valgrindu je škoda, kromě detekce leaků umí i heap profiling, který ukáže i paměť, která se třeba na konci uvolní, jen se jí alokuje zbytečně moc, např.