Как узнать адрес стека в x86 архитектуре?

Question

[Имя]

Привет.
В своём ядре мне требуется найти диапазон в котором находится стек.
В секции .text я настраиваю esp так:
mov esp, stack_space
А в секции .bss резервирую место для стека

section .bss
resb 8192
stack_space:

Полный код можно найти здесь

Теперь, мне нужно найти адрес где начинается стек.
Я знаю что он растёт вниз, а значит если его адрес например 0x3000, а размер выделенный с помощью resb составляет 2КБ, то диапазон в котором располагается стек будет 0x1000 - 0x3000, верно?
Но как мне найти его адрес?

Comments

[freeExec]

В заголовке .EXE файла есть указания на размер стека.

[shurshur]

freeExec, у него ядро, а не exe-файл.

Answer 1

[jcmvbkbc]

как мне найти его адрес?

Поставить метку в нужном месте. Загрузить адрес метки в регистр

section .bss
stack_bottom:
resb 8192
stack_top:
.text
mov eax, stack_bottom

Comments

[Имя]

У меня есть ещё несколько вопросов, буду рад если вы мне ответите.
1. Могу ли я как-то из Си кода, в функции kmain(), получить адрес метки, например stack_here или stack_space?
Я хотел использовать esp, поскольку туда загружается адрес stack_space, но он регулярно изменяется.
Могу ли я использовать один или два других регистра для сохранения начала и конца стека? Мне важно чтобы эти регистры не изменились во время вызова Си функции kmain() и по ходу вызова иных функции из неё, что мне делать?
2. Что будет если в теории какая нибудь функция или что-то другое переполнит стек? Она повредит код или другие данные?
3. Какой размер стека будет оптимальным? Я читал что некоторые ОС используют до нескольких мегабайтов, не смотря на это, не каждая программа способна задействовать больше пары килобайт.
Спасибо.

[jcmvbkbc]

Могу ли я как-то из Си кода, в функции kmain(), получить адрес метки, например stack_here или stack_space?

Легко:

extern char stack_here[];

void kmain()
{
    printk("%p\n", stack_here);
}

Возможно надо будет добавить объявление того, что символ глобальный в ассемблерный исходник. Как именно -- зависит от используемого ассемблера.

Что будет если в теории какая нибудь функция или что-то другое переполнит стек? Она повредит код или другие данные?

Зависит от того, что лежит ниже стека и как настроена защита. Если ниже лежит код, а защиты нет -- ну да, повредит. Обычно, чтобы это предотвратить, области памяти которые могут переполниться ограничивают страницами к которым запрещён доступ, чтобы сразу было видно, что случилось. Если есть возможность -- также запрещают запись в страницы с кодом.

Какой размер стека будет оптимальным?

Стека задачи ядра? Я не думаю, что можно назвать одно число, которое будет "оптимальным", это зависит от организации кода, от того, будет ли стек делиться между задачей и обработчиками прерываний, будет ли использоваться какой-нибудь ASAN и т.п. Почему бы не сделать размер стека задачи ядра конфигурируемым параметром?

[Имя]

jcmvbkbc, отлично, большое спасибо за ответ.