задачки про стек (программистское)

[avva]

(эта запись будет интересна программистам, знающим C, и сочувствующим)

Две задачки - первая старая и известная, вторую только что придумал.

1. Напишите код на C, который определяет, в какую сторону растет стек на машине, где его запустили - вверх или вниз.

2. Напишите код на C, который проверяет, кто очищает стек от аргументов в конце работы функции - сама функция или тот, кто ее вызывает, после ее возвращения.

Обратите внимание, что обе задачи можно решить многими способами; интересней придумать решения, которые делают - по возможности, т.к. совсем без этого не обойтись - меньше предположений о том, как ведут себя компилятор и железо.

Комментарии скрывать не буду. Очень рекомендую подумать самому перед тем, как смотреть на решения там.

Comments

[a_p]

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

[avva.livejournal.com]

С переменными не так просто - я так тоже хотел (только через массив), но надо учесть адресацию через ebp и ее аналоги на других платформах. См. тред выше, который начал mgar, там все подробности.

[a_p]

Ну, если с локальными переменными платформонезависимым образом нельзя, то тогда остаётся повторять вызов с "неправильным" числом параметров и посмотреть изнутри вызванной функции, совпадают ли значения её аргументов с переданными. Предварительно надо будет решить задачу 1, чтобы понять, больше или меньше надо передавать аргументов.

[unbe.livejournal.com]

Изнутри вызываемой функции проверить ничего не получится, т.к. у нее стек всегда в порядке

[a_p]

если функция определена с двумя параметрами, а мы вызываем её с одним, то каково будет значение этих параметров, если смотреть изнутри?

[unbe.livejournal.com]

Это верно, вариант того, что avva написал выше. Я не сразу понял, что имеется в виду

[a_p]

Ага, оно. Только у меня, действительно, потуманнее написано :)

[dmarck.livejournal.com]

Только не три переменные, а массив - иначе компилятор может перетасовать.

[a_p]

вот ведь гад! Согласен, с массивом лучше.

[dmarck.livejournal.com]

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

[a_p]

да, а старый верный alloca уже вообще не везде имплементирован (я там ниже приблизительно написал про способ без использования локальных переменных вызывающей функции).