ОС сама резервирует место в виртуальном адресном пространстве регион для размещения стека потока. Для чего нужен стек - Вы знаете!
Глобальные переменные хранятся в специальном сегменте, а локальные в стеке.
программный сегмент
сегмент данных
Страница физической памяти PAGE_READWRITE
Страница физической памяти c флагом PAGE_GUARD
Зарезервированная страница
.
.
.
Зарезервированная страница
.
.
.
Программный код
Рассмотрим стек Windows NT, 2000. Под стек по умолчанию выделяется регион размером 1 Мб и передаются две страницы физической памяти. Значения устанавливаемые по умолчанию можно изменять в программе. Размер физической памяти можно менять при вызове функции CreateThread(…). Так выглядит стек при создании:
080FF000
Указатель стека устанавливается в верхней части стека. Физическая память выделена двум страницам.
Вторая страница имеет флаг запрещения доступа.
По мере создания различных локальных переменных стек разрастается, по мере его заполнения происходит переход во вторую страницу. Но эта страница защищена. ОС будет извещена о попытке записи на защищенную страницу и обрабатывает её следующим образом: снимает флаг запрещения записи со второй старницы. Выделяет стеку третью страницу физической памяти и присваивает третьей странице атрибуты PAGE_READWRITE и флаг PAGE_GUARD.
Рассмотрим ситуацию, когда стек потока фактически заполнен.
Флаг PAGE_GUARD снимается и физическая память выделяется следующей странице.
Физическая
память
После этого ОС формирует исключение, то есть информирует процесс о Stack Overflow. В этом случае процесс должен среагировать, если этого не произойдёт, то производится попытка записи на зарезервированную страницу, то есть когда это происходит, то ОС берёт управление на себя и завершает не только данный поток, а и весь процесс. В этом случае ОС даже не извещает пользова-теля. Процесс исчезает бесследно.
Почему нижняя страница стека всегда остаётся зарезервированной?
1.
Стек
Зарезервированная страница
Данные
Для того, чтобы защитить стек от перезаписи.
Физическая
память
Физическая
память
2. Для защиты программ и данных при переполнении стека. Например,