Стек и процедуры.

[Don7]

В общем то как функционирует стек мне ясно,непонятна вся его физическая часть.Как он работает с ячейками памяти,если есть несколько вложенных процедур?Ну допустим есть 3 процедуры,1-я вызывает 2-ю,в свою очередь вторая вызывает 3-ю,но как я понял стек должен вернуться в исходное состояние,только вот каким образом?Если используются 2 процедуры,то понятно что можно сохранить ячейку выхода во "флаге",и когда вторая процедура выполниться,стек вернется на ту позицию первой процедуры,где было завершение и продолжит выполняться первая.Но как быть с 3-мя и более вложенными процедурами,ведь флажок каждый раз будет "затираться".В общем,пожалуйста "разжуйте" по-подробнее,если можно на примере с ячейками.
Заранее спасибо.

[Serge_Bliznykov]

как я понял стек должен вернуться в исходное состояние,только вот каким образом?

если Вы про push/pop - то
эта забота лежит исключительно на программисте.

А если про CALL / RET то всё просто - любой вызов подпрограммы помещает адрес следущей после call команды в стек. При этом регистр - указатель стека SP сдигается. процедура RET вытягивает точку возврата, указатель стека возвращается в состояние, в каком он был до call, управление передаётся по адресу, извлечённому из стека..


p.s. напишите простеньку программку на ассеблере и пройдитесь пошагово в отладчике, внимательно следя за указателем и содержимым стека. Вы всё поймёте..

[Don7]

Ага,то есть...
call
адрес процедуры
......[точка возврата]
...... ;следующие команды
......
Процедура
......
......
ret ;Возвращает к следующим коммандам

Я вас правильно понял?

[Mikl___]

Don7
нет не правильно, и чтобы не гадать на кофейной гуще -- найди в сети книжку В.Н. Пильщиков "Assembler. Программирование на языке ассемблера IBM PC" и прочитай ее

[Don7]

Сообщение от Mikl___

Don7
нет не правильно, и чтобы не гадать на кофейной гуще -- найди в сети книжку В.Н. Пильщиков "Assembler. Программирование на языке ассемблера IBM PC" и прочитай ее

Спасибо вам за помощь,кажется это то,что нужно.До этого читал Крупника,вроде у Пильщикова картина яснее.

[Don7]

Еще раз перечитал.Вот что по этому поводу пишет Крупник.
"...Команда call помещает адрес следующей инструкции в стек,а затем переводит процессор к адресу первой инструкции процедуры.Инструкции,составляющие процедуру выполняются до тех пор,пока не встретиться инструкция ret,которая достает из стека адрес возврата,предъявляя его процессору и тот как ни в чем не бывало начинает выполнять инструкции с этого адреса."
Тогда почему я не прав?В приведенной схеме я это и имел ввиду.

[Mikl___]

Don7
Потому что это разные области памяти, одна адресуется через CS:IP (область команд), другая через SS:SP (область стека)
грубо картинка такая

IP              |   SP
123: call 200   | mov [sp],125 ; точка возврата
200: Процедура  |
......
210: ret        |  mov [ip],125 ;jmp 125 
125: ...        |

Лучше повторить слова Serge_Bliznykov

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

[Serge_Bliznykov]

Тогда почему я не прав?В приведенной схеме я это и имел ввиду.

угу. правы, правы.
просто Вас, видимо, не точно поняли. в схеме Вы выделили "......[точка возврата]"
а фактически - это же просто адрес следующей команды (у вас на схеме: ";следующие команды"

ну, я считаю, что Вы разобрались, поэтому тему можно считать закрытой.

ДОБАВЛЕНО

Mikl___, приношу свои изменения, когда я писал свой комментарий, я Ваш пост не видел.
Прошу моё сообщение не рассценивать, как комментарий к вашему ответу.