Zarządzania pamięcią, a także C++

Mieliśmy kiedyś błąd, który wymykał się regularnym technikom, valgrindowi, oczyszczaniu itp. Awaria miała miejsce tylko na maszynach z dużą ilością pamięci i tylko na dużych zestawach danych wejściowych.

Ostatecznie wyśledziliśmy go za pomocą punktów obserwacyjnych debuggera. Postaram się opisać procedurę tutaj:

1) znajdź przyczynę awarii. Z przykładowego kodu wynika, że pamięć dla "exampleString" jest uszkodzona, więc nie można jej zapisać. Kontynuujmy to. założenie.

2) Ustaw punkt przerwania w ostatnim znanym miejscu, w którym "exampleString" jest używany lub modyfikowany bez żadnego problemu.

3) Dodaj punkt obserwacyjny do elementu danych 'exampleString'. W mojej wersji g++ ciąg jest przechowywany w _M_dataplus._M_p. Chcemy wiedzieć, kiedy ten członek Danych się zmieni. Technika GDB to:

(gdb) p &exampleString._M_dataplus._M_p
$3 = (char **) 0xbfccc2d8
(gdb)  watch *$3
Hardware watchpoint 1: *$3

Oczywiście używam Linuksa z g++ i gdb tutaj, ale wierzę, że Punkty memory watch są dostępne z większością debugerów.

4) Kontynuuj do momentu uruchomienia punktu obserwacyjnego:

Continuing.
Hardware watchpoint 2: *$3

Old value = 0xb7ec2604 ""
New value = 0x804a014 ""
0xb7e70a1c in std::string::_M_mutate () from /usr/lib/libstdc++.so.6
(gdb) where

Komenda gdb where wyświetli ślad wstecz pokazujący, co spowodowało modyfikację. Jest to albo całkowicie legalna modyfikacja, w takim przypadku po prostu kontynuuj - lub jeśli masz szczęście, będzie to modyfikacja z powodu uszkodzenia pamięci. W tym drugim przypadku, powinieneś teraz być w stanie przejrzeć kod, który jest naprawdę powoduje problem i miejmy nadzieję, że go naprawi.

Przyczyną naszego błędu był dostęp do tablicy z indeks ujemny. Indeks był wynikiem oddania wskaźnika do " int " modulos wielkości tablicy. Błąd został pominięty przez valgrind et al. ponieważ adresy pamięci przydzielane podczas pracy pod tymi narzędziami nigdy nie były "> MAX_INT " i nigdy nie powodowały ujemnego indeksu.

Jeśli chcesz wiedzieć, jak debugować problem, to proste. Najpierw kup martwego kurczaka. Następnie, Zacznij Potrząsać .

1. rozgość się w debuggerze.
2. rozpocznij przeglądanie debugera, aby zobaczyć, czy możesz znaleźć coś, co wygląda fishy. Sprawdź szczególnie, co dzieje się podczas linii exampleString = hello;.
3. upewnij się, że rzeczywiście rozbija się na linii exampleString = hello;, a nie podczas wychodzenia z jakiegoś zamkniętego bloku (co może spowodować odpalenie destruktorów).
4. Sprawdź magię wskazówkową, którą możesz wykonywać. Arytmetyka wskaźników, odlewanie itp.
5. sprawdź wszystkie alokacje i dealokacje, aby upewnić się, że są one dopasowane (bez podwójnych dealokacji).
6. upewnij się, że nie zwracasz żadnych referencji lub wskaźniki do obiektów na stosie.

Kilka miejsc na początek:

Jeśli jesteś na Windowsie i używasz visual C++6 (mam nadzieję, że w dzisiejszych czasach nikt go jeszcze nie używa) to wstawianie std:: string nie jest threadsafe i może prowadzić do tego typu rzeczy.

Oto artykuł, który znalazłem, który wyjaśnia wiele typowych przyczyn wycieków pamięci i korupcji.

W moim poprzednim miejscu pracy użyliśmy Compuware Boundschecker, aby pomóc w tym. Jest komercyjny i bardzo drogi, więc może nie być opcja.

Oto kilka darmowych bibliotek, które mogą się przydać

Http://www.codeguru.com/cpp/misc/misc/memory/article.php/c3745/

Http://www.codeproject.com/KB/cpp/MemLeakDetect.aspx

Mam nadzieję, że to pomoże. Korupcja pamięci to beznadziejne miejsce!

To może być korupcja sterty, ale równie prawdopodobne jest korupcja stosu. Jim ma rację. Naprawdę potrzebujemy trochę więcej kontekstu. Te dwa źródła nie mówią nam wiele w izolacji. Może być wiele rzeczy powodujących to (co jest prawdziwą radością C / C++).

Jeśli wygodnie Ci wrzucać swój kod, możesz nawet wrzucić go na serwer i zamieścić link. Jestem pewien, że dostaniesz w ten sposób o wiele więcej porad (niektóre z nich niewątpliwie nie mają związku z twoim pytaniem).

Kod był po prostu przykładem, gdzie mój program zawodził (został przydzielony na stos, Jim). Nie szukam "co zrobiłem źle", ale raczej "jak zdiagnozować, co zrobiłem źle". Naucz człowieka łowić ryby i tak dalej. Chociaż patrząc na pytanie, nie wyraziłem się wystarczająco jasno. Dzięki Bogu za funkcję edycji. :')

Naprawiłem również problem ze std:: string. Jak? Poprzez zastąpienie go wektorem, kompilację, a następnie ponowne zastąpienie łańcucha. To było konsekwentnie się tam rozbijało, i to naprawiło, mimo że to...jest tam coś paskudnego i nie wiem co. Chciałem jednak sprawdzić, kiedy ręcznie przydzielam pamięć na stercie:

 this->map = new Area*[largestY + 1];
 for (int i = 0; i < largestY + 1; i++) {
     this->map[i] = new Area[largestX + 1];
 }

I usunięcie go:

for (int i = 0; i < largestY + 1; i++) {
    delete [] this->map[i];
}
delete [] this->map;

Nie przydzielałem wcześniej tablicy 2d z C++. Wygląda na to, że działa.

Naprawiłem również problem ze std:: string. Jak? Poprzez zastąpienie go wektorem, kompilację, a następnie ponowne zastąpienie łańcucha. Ciągle się tam rozbijał, a to naprawiało, mimo to...jest tam coś paskudnego i nie wiem co.

Run Purify.

Jest to prawie magiczne narzędzie, które zgłosi, gdy zatykasz pamięć, której nie powinieneś dotykać, wyciekając pamięć, nie uwalniając rzeczy, podwójnie uwalniając itp.

Działa na poziomie kodu maszynowego, więc nawet nie musisz mieć kodu źródłowego.

Jedna z najbardziej przyjemnych rozmów konferencyjnych między sprzedawcami, jakie kiedykolwiek odbyłem, była wtedy, gdy Purify znalazła wyciek pamięci w ich kodzie i byliśmy w stanie zapytać: "czy to możliwe, że nie zwalniasz pamięci w swojej funkcji foo () " i usłyszeć zdumienie w ich głosach.

Myśleli, że debugujemy bogów, ale potem ujawniliśmy im tajemnicę, żeby mogli uruchomić Purify, zanim będziemy musieli użyć ich kodu. :-)

Http://www-306.ibm.com/software/awdtools/purify/unix/

(jest dość drogie, ale mają darmowy eval do pobrania)

Jedną z technik debugowania, których często używam (z wyjątkiem przypadków najbardziej ekstremalnych dziwności) jest dzielenie i podbijanie. Jeśli twój program zawiedzie z jakimś konkretnym błędem, podziel go w jakiś sposób na pół i sprawdź, czy nadal ma ten sam błąd. Oczywiście sztuczka polega na tym, aby zdecydować, gdzie podzielić swój program!

Twój przykład nie pokazuje wystarczająco kontekstu, aby określić, gdzie może być błąd. Gdyby ktoś inny spróbował twojego przykładu, to by się udało. Więc, w swoim programie spróbuj usunąć jak najwięcej dodatkowych rzeczy, których nam nie pokazałeś i sprawdź, czy to działa. Jeśli tak, to dodaj drugi kod z powrotem trochę na raz, aż zacznie zawodzić. Więc to, co właśnie dodałeś, jest prawdopodobnie problemem.

Zauważ, że jeśli twój program jest wielowątkowy, to prawdopodobnie masz większe problemy. Jeśli nie, powinieneś być w stanie zawęzić to w ten sposób. Powodzenia!

Poza narzędziami takimi jak Boundschecker czy Purify, najlepszym rozwiązaniem w rozwiązywaniu takich problemów jest po prostu naprawdę dobre czytanie kodu i zapoznanie się z kodem, nad którym pracujesz.

Uszkodzenie pamięci jest jedną z najtrudniejszych rzeczy do rozwiązania i zazwyczaj tego typu problemy są rozwiązywane przez spędzanie godzin / dni w debuggerze i zauważanie czegoś w stylu " Hej, wskaźnik X jest używany po jego usunięciu!".

Jeśli to pomoże, to coś dostaniesz lepiej w miarę zdobywania doświadczenia.

Twój przydział pamięci dla tablicy wygląda poprawnie, ale upewnij się, że sprawdzisz również wszystkie miejsca, w których masz dostęp do tablicy.

Twój kod jak widzę nie ma błędów. Jak już powiedziano, potrzebny jest większy kontekst.

Jeśli jeszcze nie próbowałeś, zainstaluj gdb (debugger gcc) i skompiluj program za pomocą-g. będzie to skompilowane w symbolach debugowania, których gdb może używać. Po zainstalowaniu gdb uruchom go z programem (gdb). to jest przydatnym cheatsheatem do używania gdb.

Ustaw punkt przerwania dla funkcji, która generuje błąd i zobacz jaka jest wartość exampleString. Również zrobić to samo dla niezależnie od parametru, który PRZEKAZUJESZ do exampleString. To powinno ci przynajmniej powiedzieć, czy STD:: strings są poprawne.

Znalazłem odpowiedź z Ten artykuł Być dobrym przewodnikiem o pointers.

Z tego co wiem Twój kod jest poprawny. Zakładając, że exampleString jest ciągiem std::, który ma zakres klasy, tak jak opisujesz, powinieneś być w stanie zainicjalizować/przypisać go w ten sposób. Może jest jakiś inny problem? Może fragment kodu pomoże umieścić go w kontekście.

Pytanie: czy exampleString jest wskaźnikiem do obiektu string utworzonego za pomocą new?