Не могу точно вопрос сформулировать. До этого как-то не задумывался, как там память выделяется под переменные, функции и прочие элементы программы; как она освобождается; как в ней ищутся значения тех или иных переменных\параметров\объектов. Из колледного курса про ассемблер в памяти осели только обрывки про указатель на вершину стека (само же назначение этой конструкции "стек" было непонятно). Просто думал: выделяется кусок память с n по m - и все, дальше мысль не шла. Вчера из любопытства к программированию читал статью по пхп и неожиданно стукнуло в голову, что память-то выделяется с n по m, но управляется (выдается, забирается, ищется) по схемам различных конструкций. И, оказывается, непонятный мне тогда стек - та самая конструкция, а регистр для хранения указателя - часть реализации этой конструкции. Хотя у меня хорошо развита способность делать неправильные выводы и умозаключения, поэтому могу ошибаться.

Неужели я правильно понял?о_О Здорово:)
Не могу сам определиться, что конкретно интересует, и, соответственно, за какую литературу браться: по Ос или компиляторам. Поток вопросов: что происходит при вызове malloc() (кажется так называется); что происходит с высокоуровневым кодом при компиляции, присваивающим значения\создающим объекты разных типов (структур данных); почему деление типов на стековые и в куче, почему именно эти структуры и почему вообще структуры, а не просто: вот кусок память, а вот указатель - и "передвигайся" с помощью него; если работа с памятью организована с помощью структур, то как алгоритмы (добавления, поиска и др) определяют, на сколько байт "перемещаться" по памяти - данные в памяти могут лежать не последовательно, а фрагментированно;
откуда алгоритмы знают, где какой элемент в памяти лежит, где "начало" типа, а где "конец". По С читал, что первым параметром компилятор добавляет указатель на структуру данных, с которым работает функция - так, наверное, алгоритм и узнает, с какого участка памяти начинаются элементы, которые он должен обработать.

mayton, проблема еще в том, что у меня слабо развита усидчивость и сильно - "гуманитарное" мышление, поэтому интерес быстро разбивается о первые трудности и поиск ответов прекращаю. Так и скачу по поверхности: там что-то прочитал (что более менее не вызывает трудностей в понимании), тут что-то прочитал.

mayton,
еще бы знать, какая задача даст понимание. Тут вроде и уровень ассемблера, и уровень компилятора. Может разработать свой транслятор (или как это правильно называется) по книге Ахо и других. Либо по арм-программированию что-нибудь по эмбедед попробовать написать.

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