Fittex leaks tal-memorja: Uża FastMM FullDebugMode b'mod mirat u aqra s-stacktraces b'mod korrett

Meta applikazzjoni Delphi-fil-produzzjoni tinfirex bil-mod, tieqaf sporadikament b’Access Violations jew ssir instabbli wara ġranet ta‘ tħaddim, spiss ma jkunx f’każ ta‘ bug wieħed sempliċi, imma f’mudell: il-memorja tinġabar imma ma titħallasx b’mod nadif — jew tiġi rilaxxata kmieni wisq u mbagħad għadha tintuża. Hawnhekk FastMM FullDebugMode għandu valur kbir. Mhux bħala stat permanenti, iżda bħala għodda ta‘ dijanjosi mirata li tinbidel minn “xi ħaġa fil-heap hija miksura” f’raġuni li tista‘ tiġi segwita.

Il-problema: FullDebugMode jipproduċi ħafna output, jikkonsma prestazzjoni u jwassal faċilment għal interpretazzjonijiet żbaljati. Rapport ta‘ leak ma jurix awtomatikament il-post fejn jinsab il-„żball“. U stacktrace huwa tajjeb biss daqs is-soluzzjoni tas-simboli (fajl MAP, informazzjoni ta‘ debug, inlining). F’dan il-kitba nagħmel pass fuq il-każ tipiku tal-fruntiera, nispjega l-approċċ nadif u l-pitfalls — sabiex fl-aħħar mhux biss issib leaks, iżda twaqqafhom b’mod sostenibbli.

Wann FastMM FullDebugMode wirklich sinnvoll ist

FastMM huwa fiż-żvilupp ta‘ verżjonijiet moderni ta‘ Delphi spiss il-default memory manager jew jintgħabba f’multipl projekti. Imma FullDebugMode huwa konfigurazzjoni speċjali: jissieħeb blokki ta‘ memorja b’patterns ta‘ verifika addizzjonali, jżomm stacktraces tal-allokazzjoni u jagħmel kontrolli aktar agressivi kontra korruzzjoni tal-heap (jiġifieri data ta‘ amministrazzjoni fil-heap imkissra, eż. minn buffer-overruns).

Nuża FullDebugMode b’mod mirat meta jinstab wieħed minn dawn is-sitwazzjonijiet:

• Reproduzierbares Leak: il-konsum tal-memorja jiżdied fit-test għal kull operazzjoni (eż. kull Request, kull import, kull azzjoni tal-UI).
• Sporadische AVs: partikolarment dawk li jseħħu “xi drabi hawn, xi drabi hemm” fl-istess żona (klassiċi: Use-after-free).
• Heap-Korruption: messaġġi bħal “Invalid pointer operation”, “Access violation in ntdll” jew crash waqt l-għeluq/finalizzazzjoni.
• Regressionssuche: wara refactoring, aġġornament ta‘ librerija jew bidla fil-compiler, toħroġ instabbiltà ġdida.

Mhux sens li tħaddem FullDebugMode bħala “nissikkruha f’kull build”. L-overhead huwa għoli, it-timing jinbidel, u r-race-conditions jistgħu jisparixxu jew jinbiddlu minħabba dan. Għall-operazzjoni kontinwa, huwa aħjar monitoring slim (eż. process Working Set, Private Bytes, kontaturi għal kull operazzjoni) — FullDebugMode huwa s-skalpell, mhux is-sensur tal-puls.

Grundprinzip: Leak-Report ist Symptom, Stacktrace ist Spur

Rapport ta‘ leak juri l-ewwelnett: Diese Blöcke sind am Programmende noch allokiert. Dan huwa problema biss jekk dawn il-blokki kienu supposti jiġu rilaxxati. Hemm “leaks” leġittimi: singletons globali, caches, OS-handles b’proċess-lifetime jew libreriji ta‘ partijiet terzi li b’mod intenzjonat ma jfinalizzawx. Dawn il-każijiet trid tkun tafhom, imma mhux tiffissahom b’mod awtomatiku u mhux riflessiv.

Is-stacktrace fir-rapport jurik il-post fejn il-blokk ġie allokat. Dan spiss mhuwiex l-istess post fejn int “insejt Free”. Realtà komuni f’sistemi mġedda:

• Allokazzjoni fil-layer tal-UI jew tal-service, il-liberazzjoni suppost issir f’saff aktar profond (ownership mhux ċar).
• Allokazzjoni f’factory, ownership tittrasferixxi lill-caller — imma l-caller jaħseb li huwa „owned“.
• Oġġetti jinżammu f’collections (lists, dictionaries), iżda l-mudell ta‘ ownership mhuwiex konsistenti.
• Traċċa ta‘ eċċezzjoni tivvjaġġa lil hinn mill-cleanup għax try/finally nieqes jew jibda tard.

Il-proċess nadif huwa għalhekk: riproduċer → izola → solvi l-Stacktrace → issib żbalji ta‘ Ownership → fix b’test ta‘ regressjoni. FastMM jipprovdulek il-sons, imma trid tinterpretahom fl-arkitettura u f’ċikli ta‘ ħajja.

FastMM FullDebugMode attiva b’mod nadif (mingħajr ma tinsa effetti sekondarji)

FullDebugMode jiġi attivat fil-prattika permezz tal-għażliet ta‘ FastMM u konfigurazzjoni xierqa ta‘ FastMM. Dak li hu deċiżiv mhux tant «kif jissejjaħ eżatt il-fajl Include», imma x‘ tagħmel il-konfigurazzjoni u fuq liema kundizzjonijiet tal-build tużaha.

Kundizzjonijiet rakkomandati għall-build ta‘ debug

• Debug DCUs u Debug-Infos: Stacktraces huma utli biss jekk jistgħu jiġu risolti għal unit reali/linja/indirizz. Kun żgur li jiġġeneraw l-informazzjoni tad-debug u li fajl MAP huwa disponibbli.
• Agħżel l-ottimizzazzjoni b’kuxjenza: Għal leggibilità tal-Stacktrace spiss build mhux ottimizzat huwa aħjar. Inlining u ottimizzazzjoni aggressiva jistgħu jagħmlu l-stackframes diffiċli biex jiġu rikonoxxuti.
• Kundizzjonijiet tal-eżekuzzjoni ugwali: Uża kemm jista‘ jkun l-istess data, l-istess konfigurazzjoni, l-istess permessi. Ħafna Leaks jiddependu fuq id-data (pereżempju formati rari, percorsi speċjali).
• Sewpara 64-bit minn 32-bit: Il-imġieba tal-memorja, l-allinjament u l-libreriji ta‘ terzi jvarjaw. Debugga fuq il-pjattaforma tal-mira fejn il-problema tinqala‘.

Punt wieħed li l-admins u l-mexxejja tekniċi spiss jissottovalutaw: FullDebugMode jista‘ wkoll jaffettwa t-Timing. Jekk għandek threads fil-logħba, Race-Conditions jistgħu jidhru b’mod differenti. Għalhekk ikun sensat li jkollok run parallelu mingħajr FullDebugMode li jikkonferma biss ir-reproduzzjoni. FullDebugMode imbagħad ikun il-pass lejn id-dijanjosi.

Attenzjoni ma‘ „ReportMemoryLeaksOnShutdown“

Delphi jista‘ jindika leaks waqt it-tmiem tal-programm permezz ta‘ ReportMemoryLeaksOnShutdown. Dan hu prattiku, imma f’applikazzjonijiet kumplessi (servizzi, plug-in host, żmien twil ta‘ eżekuzzjoni) jista‘ jkun qarrieqi: waqt is-shutdown joperaw sezjonijiet ta‘ finalizzazzjoni, il-threads jispiċċaw, il-caches jitneħħew. Leak li jkun kritiku fin-nofs tal-eżekuzzjoni jista‘ jisparixxi sal-aħħar — jew l-oppost: leak apparenti joħroġ biss fis-shutdown għax hemm xogħol ta‘ background li għadu għaddej.

Għal leak-hunting prattiku hu iktar importanti: kejla tal-leak għal kull operazzjoni (per eżempju wara 100 requests), mhux biss waqt it-tmiem. FastMM jista‘ jgħin f’dan, imma s-setup tal-test għandu jirrappreżenta dan.

Il-każ tipiku tal-fringe: ir-rapport tal-leak juri „irġiel oġġett“, imma l-kawża hija Ownership

Klassiku f’applikazzjonijiet korporattivi: proċess ta’ importazzjoni joħloq għal kull rekord oġġetti ta’ għajnuna (pereżempju StringLists, JSON-Parser, listi temporanji). Fil-Happy Path jiġu rilaxxati b’mod nadif. F’każijiet rari (skip minħabba validazzjoni, Exception, exit bikri) oġġett jista’ jibqa’ mhux rilaxxat. Wara 10.000 rekord dan isir viżibbli.

FastMM FullDebugMode jgħin hawn, għax juri l-post tal-allokazzjoni. Iżda l-„Fix“ mhuwiex „free an die Stelle der Allokation“. Il-fix huwa mudell robust ta’ ownership:

• Min joħloq oġġett mhux awtomatikament il-owner.
• Il-ownership trid tkun ċara fil-kuntratt tal-API (parametri/return, dokumentazzjoni, konvenzjonijiet ta’ ismijiet).
• Il-collections għandhom ikunu ċari: owning vs. non-owning. Formi miksija jwasslu għal problemi.
• Il-paths ta’ Exception jeħtieġu try/finally kmieni.

Jekk mill-stacktrace tara biss „TStringList.Create“, l-informazzjoni mhijiex bla valur – imma tgħidlek biss: hawn qed jinħolqot xi ħaġa. Il-mistoqsija hi: fejn għandu jispiċċa? U f’dak il-qasam il-ħsibijiet arkitettoniċi jgħinu aktar milli l-akrobatika tal-debugger.

Kif taqra stacktraces b’mod korrett: x’ tista’ tassew tiddeduċi minnhom

Stacktrace minn FastMM normalment huwa lista ta’ indirizzi ta’ ritorn li – bil-simboli tal-debug – jiġu mappjati għal Units, proċeduri u idealkemm numri ta’ linji. Meta taqrah, tliet affarijiet huma deċiżivi:

• It-top tal-stack mhuwiex dejjem il-bug: il-frames ta’ fuq spiss huma Memory-Manager/RTL. Interessant ikun fejn jibda l-kodiċi tiegħek.
• Call-Chain minflok linja waħda: il-linja hija biss punt. Il-katina turi liema path wassal għall-allokazzjoni.
• Blokki identiċi multipli: jekk FastMM jirrapporta diversi leaks tal-istess daqs, spiss ikun path ripetut. Dan huwa tajjeb: għandek riproduċibilità.

Meta numri ta’ linja jonqsu: MAP-Datei, Packages, Release-DCUs

Ħafna timijiet jispiċċaw jiffaċċjaw din is-sitwazzjoni: FullDebugMode attiv, jasal il-leak-report, iżda minflok Unit/linja hemm biss indirizzi jew simboli kryptiċi. Kawżi tipici:

• Ma nħolqitx MAP-Datei jew debug-infos.
• Qed taħdem kontra Release-DCUs jew DLLs ta’ terzi mingħajr simboli.
• L-applikazzjoni tuża Runtime Packages: imbagħad partijiet tal-kodiċi jinsabu f’BPLs, u r-riżoluzzjoni ta’ simboli trid tkun konformi.
• L-ottimizzazzjoni/Inlining jagħmlu s-stacktrace aktar diffiċli biex jinqara.

Fil-prattika dan ifisser: għall-ġlieda kontra l-leaks għandek bżonn build li huwa maħsub apposta għal dijanjosi. Dan huwa għan differenti minn „daqsxejn il-aktar malajr“. Il-leads tekniċi għandhom jindirizzaw dan bħala profil ta’ build separat, sabiex mhux kull membru tat-tim jiBDEl l-opzjonijiet tal-proġett ad hoc.

Evalwazzjoni tal-frames: „Interessant“ spiss tinsab linja waħda ’il fuq

Eżempju mill-prattika (mingħajr kodiċi konkrett tal-klijent): il-stacktrace juri fil-frame l-ewwel fil-kodiċi tiegħek rutina „LoadConfig“. Tara hemm ħolqien ta‘ oġġett. Tżid Free, it-telf (Leak) jitneħħa – u f’daqqa terġa‘ tagħmel crash f’post ieħor b’Double Free. Għaliex? Għax „LoadConfig“ poġġa l-oġġett f’cache, u triq kodiċi oħra diġà hija s-sid u tagħmel l-iżgħar tal-oġġett aktar tard.

Il-lettura korretta kienet tkun: il-stacktrace juri, fejn jinħolqoq il-blokka. Il-fix spiss jinsab fid-definizzjoni: min għandu s-sid tal-oġġett wara r-return? Jekk ma twieġibx din il-mistoqsija b’mod ċar, biss tbiddel l-wiċċ tal-iżball (Leak → AV).

Korruzzjoni tal-heap vs. telf ta‘ memorja: Għaliex FullDebugMode spiss isib il-ħati veru

Ħafna “Leaks” fil-fatt huma problemi sekondarji: buffer-overrun jikteb fuq il-metadata tal-heap, il-memory-manager ma jkunx jista‘ jagħti l-ħelsien kif suppost, u fl-aħħar tara telf ta‘ memorja jew Invalid Pointer Operations li jidher li huma każwali. FullDebugMode hu b’saħħtu f’dan il-kuntest għax jaħdem b’patterni ta‘ verifika u jagħmel validazzjonijiet addizzjonali waqt Free/Reuse.

Huwa importanti li tagħmel distinzzjoni:

• Leak: il-blokka ġiet allokata u qatt ma ġiet rilaxxata. Istabbiltà tonqos maż-żmien; crash mhux neċessarjament immedjat.
• Use-after-free: il-blokka ġiet rilaxxata, imma għadha tintuża wara. Twassal għal AV sporadiċi, diffiċli biex jiġu riprodotti.
• Double Free: il-blokka tiġi rilaxxata darbtejn. Tista‘ tagħmel crash immedjatament jew ftit iktar tard (jekk il-blokka ġiet użata mill-ġdid).
• Korruzzjoni tal-heap: xi ħadd jikteb lil hinn mill-bord tal-blokka. Is-sintomi spiss jidher b’żmien moħx.

FullDebugMode huwa partikolarment utli meta tara sintomi b’ħin moħx. Il-validazzjoni addizzjonali tagħmel il-bugs viżibbli kmieni – spiss eżatt fil-punt fejn iseħħ l-aċċess ħażin, mhux biss minutu wara f’xi Free każwali.

Proċedura f’proġetti: tħabbat fuq telf riproduċibbli minflok “debugging fil-fwar”

Jekk trid tgħaddi warajh it-telf ta‘ memorja, għandek bżonn fluss ta‘ xogħol ripetibbli li jinħall u jinqasam mat-timijiet. Jien naħdem bil-proċedura ta‘ dijanjosi stabbilita:

1) Riproduzzjoni f’ssenarju deterministiku

Oħloq sekwenza ta‘ test li turi b’mod affidabbli t-telf: “Ibda s-servizz, ipproċessa 500 messaġġ, waqaf is-servizz” jew “Iftaħ l-interface X, eżegwixxi l-azzjoni Y 200 darba”. Huwa essenzjali li tiddokumenta s-sekwenza bil-parametri (data set, mandant, feature-flags), sabiex oħrajn ikunu jistgħu jirriproduċuha.

2) Minimizzazzjoni: jagħmel il-leak viżibbli pass pass

Jekk is-sekwenza tieħu 20 minuta, iddividjha. L-iskop huwa: trid tkun kapaċi tapprezza kemm jista‘ jkun malajr il-bidla bejn “qabel” u “wara”. F’applikazzjonijiet kbar dan spiss hu l-veru xenarju li jieħu l-aktar ħin, mhux l-installazzjoni tal-fix.

3) Ixgħel FullDebugMode u interpret Rapport

Issa jidħol fil-logħba FastMM FullDebugMode. Iġbor ir-rapporti, gruppahom skont id-daqs tal-blokka/u callstack u fittex ripetizzjonijiet. Blokka waħda li tibqa’ tista’ tkun cache leġiżittima. 10.000 blokki identiċi huma kważi dejjem leak reali.

4) Klarifikazzjoni tal-Ownership u fiss fis-saff adattat

Solve leaks fejn tkun definit l-Ownership: Factory, API-kontratt, Collection-Wrapper. „Tqiegħed Free malajr“ direktament ħdejn Create spiss mhux il-post it-tajjeb, jekk l-oġġett jitgħaddi ‚il quddiem.

5) Regression: l-istess sekwenza, l-istess Build, l-istess Report

Il-fix ikun tajjeb biss meta s-sekwenza terġa’ taħdem u ma jidhirx leaks jew żbalji ġodda ta‘ memorja. Speċjalment fil-każ ta‘ Use-after-free, ‚leak sparixxa‘ mhux provi, biss sintomu ġdid.

Typische Fallstricke in Delphi-Code, die FastMM sichtbar macht

Collections und Ownership (Listen, Dictionaries, Interfaces)

Ħafna leaks ma ġejux minn algoritmi kumplessi, imma minn strutturi tad-data ta’ kuljum. Żewġ mudelli ta’ żball klassiċi:

• Lista tinkludi oġġetti, imma ħadd ma jaf min hu responsabbli għall-free tagħhom. Soluzzjoni: uża lista li timmaniġġja l-ownership („owning list“) jew neħħi b’mod konsekuttiv fil-finally.
• Dictionary iżomm oġġetti bħala values; meta tagħmel Remove il-value jista’ ma jintemmx jew jintesa waqt Clear.

Barra minn hekk tricky huma Interfaces: referenza-żieda (simili għal ARC) hija konvenjenti, imma taħlit ma‘ object-ownership jista‘ joħloq leaks f’referenzi ċikliċi jew events. FullDebugMode spiss jurik il-path tal-allokazzjoni, iżda l-kawża tkun ċiklu ta‘ referenzi (A iżomm B permezz ta‘ Interface, B iżomm A permezz ta‘ callback).

Exceptions und frühe Exits

Fis-sistemi ta‘ business-software mibnija maż-żejjed, exceptions spiss huma parti tal-kontroll normali (pereż., validazzjoni, abort, retry). Il-problema rari tkun l-exception innifisha, imma t-triq madwarha: oġġett jinħolqot qabel try/finally, tinqala‘ exception u l-cleanup jonqos. FullDebugMode jipprovdi l-stacktrace tal-allokazzjoni – u trid tivverifika jekk hemmx triq ta’ free garantita.

Threads und Lebenszeit: „Freigeben im falschen Thread“

F’VCL/FMX u servizzi b’worker-threads jidhru fringe-case oħra: oġġett jinħoloq f’thread imma jiġi freed fil-UI-thread (jew viċ-versa) għax tkun qed tgħaddi xi ħaġa ‚rapidament‘ b’Queue/Synchronize. Dan jista‘ jaħdem, iżda jista‘ wkoll jwassal għal Use-after-free jekk il-producer ikompli jaħdem waqt li l-consumer diġà qed jagħmel free.

FastMM FullDebugMode jista‘ jgħin hawn għax jiddetetta bug temporizzati aktar kmieni. Il-fix reali hu modell nadif tal-ħajja tal-oġġetti: proprjetajiet ċari, trasferiment biss permezz ta‘ data immutable jew punti ċari ta‘ ownership-transfer.

Wie du Reports nutzbar machst: Filtern, vergleichen, dokumentieren

F’timijiet jiswa li ma tara l-leak-rapporti biss, imma ttrattahom bħala artefatt. Tliet miżuri pragmatiċi li wrewk ikunu effettivi:

• Baseline-Report: stat magħruf (eż. verżjoni attwali tal-prodott) jintuża darba ma‘ FullDebugMode u jinżamm bħala referenza. B’hekk tirrikonoxxi leaks ġodda minnufih.
• Vergleich nach Use-Case: Għal workflows kritiċi (Import, Export, API-Request, UI-mass-operations) stabbilixxi sekwenza qasira u ripetibbli regolarment.
• Dokumentierte „legitime Leaks“: Jekk cache ma tkunx finalizzata bil-għan, iddokummentaha. Inkella f’sitt xhur xi ħadd jerġa‘ jfittex l-istess entitajiet.

Dan mhux burokrazzjoni, iżda tiffranka ħin: it-tfittxija għall‑telf taʼ memorja spiss issir ċiklu bla tmiem, għax l-istess mudelli jerġgħu jseħħu fʼkull sprint.

Meta jiswa l‑isforz – u meta għandek tieħu approċċċ ieħor

FastMM FullDebugMode huwa għodda taʼ dijanjosi li ġġib magħha kosti. L‑isforz jiswa bʼmod partikolari meta:

• L‑applikazzjoni timxi għal żmien twil (servizz, terminalserver‑client, sistema taʼ turni, proċessi 24/7).
• Inti tipproċessa flussi reali taʼ data tal‑klijent u ma tkopri l‑vjaġġi kollha tal‑kodiċi waqt it‑test.
• Is‑stabbiltà hija iktar importanti mill‑veloċità fit‑tlestija taʼ funzjonalitajiet fuq perjodu qasir (tipiku fʼsoluzzjonijiet tas‑softwer qrib tal‑proċess).

Jekk min‑naħa l‑oħra għandek biss żgħir desktop‑helper li jispiċċa wara 30 sekonda, it‑tfittxija għal telf taʼ memorja spiss tkun sekondarja. U l-istess: jekk għandek problema taʼ spike tal‑memorja waħda biss (eż. esport kbir), ħafna drabi mhix telf taʼ memorja iżda kwistjoni taʼ strateġija taʼ streaming u tal‑peak load fil‑heap.

Konklużjoni prattika: FullDebugMode mhuwiex buttuna, iżda proċess

FastMM FullDebugMode jġib struttura fit‑tfittxija taʼ żbalji fil‑memorja: jagħmel viżibbli l‑allokazzjonijiet, jiskopri kmieni l‑korruzzjoni tal‑heap u jipprovdi stacktraces li bihom tistaʼ tiffissa l‑kawża minflok is‑sintomu. Il‑lever deċiżiv mhuwiex l‑għodda pjuttost, iżda l‑proċess: xenarji riproduċibbli, builds dijanjostikabbli, ftehimiet ċari tal‑ownership u regressjoni kontra baseline.

Jekk inti mqabed maʼ telf persistenti jew żball sporadiku fil‑heap u trid tistabbilizza bʼmod sostenibbli dan is‑suġġett fʼsistema akbar Delphi, jiswa setup qasir u nadif taʼ dijanjosi bʼsekwenza ċara u reports li jistgħu jiġu analizzati. Jekk għandek bżonn appoġġ fl‑analiżi, profili tal‑build jew refactoring tal‑arkitettura: ikteb maʼ Net-Base Software GmbH.

Għal dan is‑suġġett huma importanti wkoll Delphi Isib telf taʼ memorja u Qari tar‑rapport tal‑FastMM Leak. Il‑kontribut jordna dawn l‑aspjetti bʼmod fehim u juri xʼjgħodd fil‑ġurnata taʼ xogħol.

Iddiskuti proġett jew inizjattiva taʼ modernizzazzjoni maʼ Net-Base.