Mis on virn programmeerimise ja testimise kontekstis?

Heap (kõrge) programmeerimise kontekstis on dünaamilise mälu ala, mis eraldatakse programmi täitmise ajal objektide salvestamiseks, mille suurus võib olla teadmata kompileerimise ajal.

Testimise seisukohast on heap'i mõistmine oluline:

• Jõudluse testimine: Heap'is olevad mälulekked võivad põhjustada rakenduse aeglustumist või selle kokkuvarisemist.
• Stabiilsuse testimine: Heap'i ülevool (Heap Overflow) või mäluhalduse ebaõige kasutamine (näiteks topeltvabastamine) võib põhjustada segmendivigu.
• Silumine: Heap'i sisu analüüs võib aidata tuvastada objektide ebaõigeid olekuid või mälulekkeid.
• Tööriistade kasutamine: Profileraatorid ja mäluanalüüsi tööriistad (näiteks Valgrind, Memory Analyzer for Java) töötavad aktiivselt heap'i teabega.

Heap'i peamised omadused:

• Dünaamiline eraldamine: Mälu eraldatakse ja vabastatakse selgelt programmeerija poolt (näiteks malloc/free C/C++-s) või automaatse prügikoristaja poolt (näiteks Java, Python).
• Korrapäratus: Erinevalt virnast, heap'i elemendid ei ole järjekindlalt salvestatud; nende aadressid võivad olla hajutatud.
• Eluea pikkus: Objektid heap'is elavad seni, kuni neile on viited või kuni need on selgelt vabastatud.

Näited heap'iga seotud probleemidest, mida võib testimise käigus avastada:

• Mälulekked (Memory Leaks): Eraldatud mälu ei kasutata enam, kuid see ei vabastata, mis aeglustab järk-järgult saadaval mälu.
• Topeltvabastamine (Double Free): Katse vabastada sama mäluplokk mitu korda.
• Võtmed pärast vabastamist (Use After Free): Katse pääseda heap'i mälu sellele, mis on juba vabastatud.
• Heap'i ülevool (Heap Overflow): Andmete kirjutamine välja eraldatud ploki piiridest, mis võib üle kirjutada naabruses olevad andmed või heap'i metaandmed.