Czerwona strefa to obszar o stałym rozmiarze w pamięci poza wskaźnikiem stosu, który nie został „przydzielony”. Kompilatory generują zespół, aby uzyskać dostęp do tego obszaru w prostych funkcjach liści.
Ale nie widzę żadnych prawdziwych korzyści dla czerwonej strefy. Dostęp do pamięci poza wskaźnikiem stosu jest naprawdę niebezpieczny i może łatwo doprowadzić do uszkodzenia danych . Dlaczego to robisz? Zapisanie 2 instrukcji procesora (push ebp; mov ebp esp) nie przyspieszy.
Odpowiedzi:
Czerwona strefa jest optymalizacją, która może zapisywać instrukcje. Oznacza to, że nie jest już konieczne, aby emitowany kod odejmował każdą funkcję od wskaźnika stosu w celu utworzenia lokalnej pamięci
sub XXX, %rsp
na początku każdego wywołania funkcji, nawet jeśli nie są funkcjami typu liść. Często kod emitowany z kompilatora może wykorzystywać tymczasową przestrzeń w czerwonej strefie poniżej wskaźnika stosu bez konieczności jej zapisywania i przed wywołaniem innych funkcji. Jest to przydatna optymalizacja, która ma być dostępna.
Jeśli nie musisz już sub-ze wskaźnika stosu, emitowany kod może używać rsp jako wskaźnika bazowego, zadanie zwykle zarezerwowane dla rbp, a emitowany kod może używać rbp jako innego rejestru ogólnego przeznaczenia.
To ostatecznie oznacza, że prolog i epilog każdego wywołania funkcji mogą zapisać dwie instrukcje, które mogłyby zapisać i przywrócić rbp:
(asembler GNU)
pushq %rbp # prologue [ two instructions not necessary ]
movq %rsp,%rbp
.... [code]
movq %rbp,%rsp # epilogue [ two instructions not necessary ]
popq %rbp
Zauważ, że w gcc możesz przekazać flagę -mno-red-zone, jeśli nie chcesz (ale wymaga tego ABI x86-64). Jądro Linux nie musi być zgodne z ABI, dlatego cały kod jądra jest kompilowany z -mno-red-zone.
Ponadto dostęp do pamięci poza wskaźnikiem stosu nie jest niebezpieczny, jeśli jest to oczekiwany tryb działania. Jest to niebezpieczne i może prowadzić do korupcji, gdy jest nieplanowane i nieoczekiwane. Gdy emitowany kod to robi, wie, co robi.
%rspobu wskaźników jako wskaźnika bazowego.