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

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