Использование стека для передачи параметров и локальных переменных

объсните пожалуйста про стек.
имеем стек. в данный момент он пустой.

я вызываю функцию

если у функции были параметры, то первым делом в низ стека поместятся они. будет рассматривать стек как цилиндр в который все помещаю . вниз лажатся параметры, сверху адрес точки возврата функции. то есть это тот адрес, где была вызванна функция и куда она должна вернуть результат, если он будет. и так, у нас в стеке сейчас аргументы функции и адрес по возврата, он же от куда функция была вызвана. то есть это дарес метки foo. адрес в регистре esp сейчас указывает на верх стека, то есть на последний добаленный элемент, а это адрес вызова фукции foo .


дальше мы помещаем в стек регистра ebp. вопрос зачем? он не хранит никакого адреса! в нем нули.
после мы копируем esp в ebp. и главное, стек выделяет минимум 4байта памяти, даже если нам надо один байт, он выделит четыре. и так как адреса к вершине стека уменьшаются, то чтобы добавить локальные переменные,нам надо вычесть из esp 4 байта. теперь esp будет указывать на адрес локальной переменной, которую мы поместили в стек,и которая является его выршиной в данный момент.

так работает стек?

0

pcmax,
Электронный учебник

2

ребята, я же читал что-то. только вот не совсем понял или совсем не понял. просто скажите пожалуйста,зачем мы помещаем в стек ebp когда его дарес одни нули. я могу понять, когда сначала бы мы поместили в ebp esp , а после ebp поместили в стек. но помещать ebp когда адрес 00000000 зачем?

0

Мы сохраняем EBP, потому что хотим изменить его содержимое, а в ِEBP может быть что-то важное, для вызвавшего нас кода.
А поместить мы туда собираемся ESP, потому что хотим обраться к локальным переменным и параметрам, которые нам передали в стеке, относительно EBP.
Даже когда в процессоре есть режим адресации относительно ESP, во время работы нашей фунции ESP изменяется ( например, когда мы передаем параметры в другие подрпрограммы или рекурсивно себе, или выделяем место в стеке под новые временные переменные ), и меняется смещение переменных относительно ESP. Легко ошибиться, если код пишется вручную.
Перед возвратом из функции мы можем легко восстановить исходное положение ESP.

2

это я понял. зачем мы помещаем в стек ebp когда адрес хранимый в нем это 00 00 00 00 ?

0

pcmax,
прочитал мой Электронный учебник ? А там всё это объяснено для школьников, проще только картинки в комиксах... Не хочешь читать? Почему тогда остальные должны тратить на pcmax своё время?

0

Сообщение от pcmax это я понял. зачем мы помещаем в стек ebp когда адрес хранимый в нем это 00 00 00 00

В момент запуска программы EBP=0, но попробуйте свою подпрограмму вызвать из другой аналогичной подпрограммы с локальными переменными. Вы увидите разницу.

2

Сообщение от pcmax зачем мы помещаем в стек ebp когда адрес хранимый в нем это 00 00 00 00 ?

Откуда мы это можем знать, когда пишем код?

3

Сообщение от politoto Откуда мы это можем знать, когда пишем код?

а мы этого не знаем, так написанно в учебниках

0

можно предположит что раз ты помещаешь в стек ebp но не знаешь зачем ты это делаешь то скорей всего ты смотришь дизассемблированный код написанный на другом языке чтобы увидит как он будет выглядит на ассемблере. в таком случае это "стандартное" действие компилятора, при трансляции языка высокого уровня он применяет только "надежные" конструкции которые гарантируют что никакие данные не будет "повреждены" ни при каких обстоятельствах. компилятор не человек он не может понять что в данном случае это действие избыточно он действует самым "надежным" способом. одно из преимуществ ассемблера как раз и считается возможность "избежать всего лишнего и оставить только все нужное".

2