Memory leaks (ali gde?) !

[ milas @ 21.08.2004. 13:34 ] @

Da li mi neko moze reci zasto mi (u output prozoru) debug-era javlja sledece, kada izadjem iz programa:

Code:

Warning: CFile::GetStatus() returns m_attribute without high-order flags.
'Linije.exe': Unloaded 'C:\WINDOWS\system32\msimg32.dll'
Detected memory leaks!
Dumping objects ->
{6413} normal block at 0x00E88248, 44 bytes long.
Data: <                > 04 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00
{6412} normal block at 0x00E881E0, 44 bytes long.
Data: <                > 03 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00
{6411} normal block at 0x00E87E28, 44 bytes long.
Data: <                > 02 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00
{6410} normal block at 0x00E87DC0, 44 bytes long.
Data: <                > 01 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00
{6409} normal block at 0x00E87828, 44 bytes long.
Data: <                > 00 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00
Object dump complete.

Znam da mi je negde ostalo neizbrisano parce memorije, ali sve sto sam napravio sa new u destruktoru sam izbrisao sa delete! Jednostavno, ne znam u cemu je problem?!

[ filmil @ 21.08.2004. 14:04 ] @

Izgleda da nije baš sve dealocirano. Pogledaj program još koji put.

Da li iko može išta više da kaže a da ne vidi izvorni kod programa?

f

[ zvrba @ 21.08.2004. 14:19 ] @

Ovo sto ti ispise su adrese, velicine i sadrzaj blokova koje si ostavio neoslobodjene. Pogledaj koji objekt (struktura, klasa, array, itd..) ti je velicine tocno 44 bajta i gdje alociras takve objekte..

[ milas @ 21.08.2004. 14:20 ] @

O.K. Znam da mi niko ne moze reci u kojoj liniji koda je problem, ali da li mi mozete reci kada se (obicno) desavaju ove greske, tj. u kojim slucajevima?!

[ reiser @ 21.08.2004. 15:01 ] @

Kad dva puta dodelis isti pokazivac razlicitim podrucjima u memoriji.

[ milanche @ 21.08.2004. 16:28 ] @

Evo malog recepta za pomoc:

1) Uzrok - najcesci uzrok je sto si nesto dinamicki alocirao (sa free( ) ili sa malloc())
a nisi dealocirao (sa delete, delete[] ili free()). Sto kaze Marko Paunovic, moguce je
da posle na isti pointer ponovo alociras memoriju, sto je isti problem na kvadrat.

2) Dragocena informacija je velicina objekta koji je ostao neunisten. Na tebi je da
provalis sta je to sto je (u tvom slucaju) dugacko 44 bajta. Ako hoces da pomognes
sebi, pregledaj kod i nadji gde sve alociras memoriju i koji su objekti koje alociras.
Zatim, na zgodnom mestu ubaci debug kod kojim ces da saznas velicine objekata
koje alociras u svom programu. Naprimer:

Code:

#ifdef DA_VIDIMO_GDE_SMRDI
    int nSize;
    nSize = sizeof(CString);
    nSize = sizeof(CFileDialog);
    nSize = sizeof(CRect);
    nSize = sizeof(CPoint);
    ......
#endif

3) Ako radis u Visual Studio-u, kad dobijes te warning-e, probaj da kliknes misem na
neki od njih. Ponekad (ne uvek) VisualStudio ima mogucnost da ti pokaze u kodu na
koji elemenat se warning odnosi.

4) Kad provalis sta je bilo u pitanju, potrudi se da u zgodnom momentu dealociras
to sto si alocirao.

[ milas @ 21.08.2004. 16:47 ] @

Ne znam da li ovo moze pomoci. Ja sam kreirao neke
objekte (velike 44 bajta) na sledecim
memorijskim adresama (lokacijama):

E8CF68
E8B290
E8B2F8
E8B360
E8BE60
E8CEA0
E87B98
E87C00
E8D568

A on mi na kraju prijavi da sledece memorijske lokacije
nisu oslobodjene (memory leaks):

E8D178
E8D110
E8D0A8
E8D040
E8CFD8

Visual Studio mi ne prikazuje u kojoj liniji koda je problem
(kao sto nekad prikazuje), nego samo ono sto sam napisao.

Da li je mozda problem ako u jednoj petlji uradim ovo

for(int i...
{
Cvorovi *novi = new Cvorovi(x,y);
novi->sled = lista_cvorova; lista_cvorova = novi;
}

gde je lista_cvorova vrh liste cvorova!

[ filmil @ 21.08.2004. 17:10 ] @

Citat:

Da li je mozda problem ako u jednoj petlji uradim ovo

Nije problem ako ih posle obrišeš.

f

[ blaza @ 21.08.2004. 18:10 ] @

Iz izvestaja debugger-a se moze videti da su prva dva clana (npr. x i y) tvog 44-bajtnog objekta najverovatnije 32 bitni integeri zapisani u little endian formatu. Nisi dealocirao objekte kod kojih je:
-x=0 i y=4
-x=1 i y=4
-x=2 i y=4
-x=3 i y=4
-x=4 i y=4

[ leka @ 22.08.2004. 00:03 ] @

Ako je u pitanju C++, problemi mogu nastati i na neke druge nacine koji su jos tezi (laksi?) za "provaljivanje" evo jednog primera sa ozbiljnim problemom na koji sam skoro naisao:

Code:

int main()
{
  int* a = new int[338];

  class MyClass {
    public:
      MyClass(int* t):
        arr(t)
      {
      } // MyClass() constructor
      ~MyClass()
      {
        delete[] arr;
      } // ~MyClass() destructor
    private:
      int* arr;
  }; // MyClass class

  {
    MyClass b(a);
    MyClass c = b;
  }
  return 0;
}

Primer nema direktne veze, ali ilustruje da prilikom automatske destrukcije objekata moze doci do karambola...

[ filmil @ 22.08.2004. 00:14 ] @

Citat:

Primer nema direktne veze, ali ilustruje da prilikom automatske destrukcije objekata moze doci do karambola...

Još jedan poen za GC jezike?

f

[ Dragi Tata @ 22.08.2004. 00:25 ] @

Eh, da je mali Perica koristio STL to mu se nikad ne bi desilo:

Code:

class MyClass {
    public:
      MyClass(const std::vector<int>& t):
        arr(t)
      {
      } // MyClass() constructor

    private:
      std::vector<int> arr;
  }; // MyClass class

[ Dragi Tata @ 22.08.2004. 00:38 ] @

E, da. Za slučaj da se ne želi kopiranje niza, umesto vectora ide boost::shared_array.

[ blaza @ 22.08.2004. 07:25 ] @

C++-u nedostaje operator pomocu koga bi se mogla odrediti velicina alociranog memorijskog prostora dinamicki alociranog niza.

[ caboom @ 22.08.2004. 11:42 ] @

Citat:

filmil: Još jedan poen za GC jezike?

pa nista ga ne sprecava da koristi npr:
http://www.hpl.hp.com/personal/Hans_Boehm/gc/

mozilla i mono se oslanjaju na njega ako se ne varam.

[ Nedeljko @ 22.08.2004. 12:29 ] @

Citat:

leka: Primer nema direktne veze, ali ilustruje da prilikom automatske destrukcije objekata moze doci do karambola...

Ja ne znam kako je iko mogao da očekuje da ovakav kod radi kada su napravljene toliko krupne greške.

Prvo, konstruktor ne rezerviše prostor, već dodeljuje već rezervisani prostor svojim atributima.

Drugo, destruktor oslobađa prostor koji nije rezervisao konstruktor.

Treće, kod klase koja ima dinamički rezervisan prostor sa new se koristi podrazumevani operator dodele. Kod takvih klasa se koristi isključivo preklopljeni operator dodele koji oslobađa zauzeti prostor u objektu kome se dodeljuje vrednost, a onda rezerviše nov prostor za njega, i na kraju sve kopira.

Slažem se sa stavom koji uje izneo Dragi Tata da "svega ovoga ne bi bilo da je Pera odmah koristio STL". C++ je isto ''skupljeđubrački" jezik kada se ne koriste new i delete, već samo STL i klase koje su već projektovane i testirane.

[ milas @ 22.08.2004. 13:35 ] @

Dobro, ovde se razvila opsirna diskusija koja nije vezana za temu! Naravno da je dobro koristiti __gc ali ovo je unmanaged C++ i to je to! Da li neko zna zasto se u ovoj liniji koda

Code:
while(i < broj) { stari = tek; tek = tek->sled; i++; }

desi sledeci izuzetak:

Code:

First-chance exception at 0x005414bd in Linije.exe: 0xC0000005: Access violation reading location 0xfeeeff16.
Unhandled exception at 0x005414bd in Linije.exe: 0xC0000005: Access violation reading location 0xfeeeff16.

[ blaza @ 22.08.2004. 14:51 ] @

U jednom trenutku tek -> sled izazove access violation, zato sto tek pokazuje na neku (0xfeeeff16- offset od sled u objektu) besmislenu lokaciju, koja se ne nalazi unutar memorijskog prostora kome proces moze da pristupa. Verovatno si dosao do kraja jednostruko povezane liste, pa si hteo da ides jos dalje.
Zasto ne koristis debugger?

Pri dodavanju novog clana listi sled inicijalizuj sa NULL.
Tada mozes koristiti sledeci kod bez opasnosti od prekoracenja kraja liste.

Code:
int i= 0;
while(i < broj && (stari = tek)){
tek = tek -> sled;
i++;
}

Ako je po izvrsenju koda i < broj dosao si do kraja liste.

[ milas @ 22.08.2004. 15:57 ] @

Cini mi se da sam sve uradio kako treba. Po nekada mi prijavi i ovu gresku:

Code:

HEAP[Linije.exe]: Invalid Address specified to RtlValidateHeap( 00E80000, 00E87008 )
Unhandled exception at 0x77f767cd in Linije.exe: User breakpoint.

Kako mogu ovde na forumu da okacim neki fajl?

[ milas @ 22.08.2004. 15:59 ] @

Okacio sam u prethodnoj poruci fajl koji sadrzi listu, pa ako neko moze da pronadje u cemu je greska bio bih mu vrlo zahvalan!

[ blaza @ 22.08.2004. 17:17 ] @

Pogledao sam par minuta tvoj kod, i izgubio sam se. Za konstruktore klase Cvor dacu ti hint : default arguments.
Primetio sam par stvari, npr. u funkciji void COtvorenaLista::kopiraj(const COtvorenaLista &s) na kraju ove procedure automatskim varijablama dodeljujes 0 bez potrebe. Zatim, kod upotrebe novi = new Elem() zaboravio si da inicijalizujes novi -> sled = NULL;. Ovo isto se ponavlja na jos par mesta u kodu.
Generalno postoje dve vrste jednostruko povezanih lista. Kod prve, pointer u svakom cvoru pokazuje na sledeci cvor, dok kod druge, pointer u svakom cvoru pokazuje na prethodni cvor. Vazno je u oba slucaja da pointer u krajnjem cvoru ka nepostojecem narednom cvoru bude NULL.

[ milas @ 22.08.2004. 17:33 ] @

Za dodeljivanje 0 na kraju, to ne moze da skodi! A u konstruktoru strukture Elem se sled inicijalizuje na NULL, tako da nema potrebe da to eksplicitno radim!