Jaka jest różnica między błędem segmentacji a przepełnieniem stosu?

Question

Na przykład, gdy wywołujemy, funkcję rekurencyjną, kolejne wywołania są przechowywane w stosie. Jednak z powodu błędu, jeśli jest on uruchamiany nieskończenie, błąd to "Błąd segmentacji" (jak widać na GCC).

Czy nie powinno to być "przepełnienie stosu"? Jaka jest więc podstawowa różnica między tymi dwoma?

Przy okazji wyjaśnienie byłoby bardziej użyteczne niż linki do Wikipedii (przeszedł przez to, ale brak odpowiedzi na konkretne zapytanie).

Answer 1

Przepełnienie stosu to [a], ponieważ przyczyną jest błąd segmentacji.

---

Przynajmniej na x86 i ARM, w „stos” jest kawałek pamięci zarezerwowane dla umieszczania zmiennych lokalnych i powrócić adresy wywołań funkcji. Po wyczerpaniu stosu dostęp do pamięci poza zarezerwowanym obszarem będzie możliwy. Ale aplikacja nie poprosiła jądra o tę pamięć, dlatego generowany jest SegFault w celu ochrony pamięci.

Answer 2

Stos wywołań jest przepełniony, jednak wynikiem przepełnienia jest to, że ostatecznie wartości związane z połączeniem są przekazywane do pamięci, która nie jest częścią stosu, a następnie - SIGSEGV!

Answer 3

Nowoczesne procesory używają menedżerów pamięci do ochrony procesów od siebie nawzajem. Menedżer pamięci x86 ma wiele starszych funkcji, z których jedną jest segmentacja. Segmentacja ma na celu uniemożliwienie programom manipulowania pamięcią w określony sposób. Na przykład, jeden segment może być oznaczony jako tylko do odczytu, a kod zostanie tam umieszczony, podczas gdy inny segment to odczyt/zapis i tam przechodzą twoje dane.

Podczas przepełnienia stosu wyczerpuje się całą przestrzeń przydzieloną do jednego z segmentów, a następnie program rozpoczyna zapisywanie w segmentach, na które menedżer pamięci nie pozwala, a następnie pojawia się błąd segmentacji.

Answer 4

Przepełnienie stosu może manifestować się jako jawny wyjątek przepełnienia stosu (w zależności od kompilatora i architektury) lub jako błąd segmentacji, tj. Nieprawidłowy dostęp do pamięci. Ostatecznie przepełnienie stosu jest wynikiem wyczerpania przestrzeni stosu, a jednym z możliwych rezultatów wyczerpania przestrzeni stosu jest odczyt lub zapis do pamięci, do której nie powinno się dostępu. Dlatego na wielu architekturach wynikiem przepełnienia stosu jest błąd dostępu do pamięci.