Переполнение стека

Алгоритм команды POP reg

Алгоритм команды PUSH reg

	RC ß [PC]
	Дешифрация
	[SP] ß reg
	SP ß SP + LR
	PC ß PC + LR
	Проверка INT

Собственно уникальными для команды PUSН являются только микрооперации 3 и 4. Микрооперации 1, 2, 5, 6 – стандартные, рассматривались в разделе [3.6.2], упоминались при описании алгоритмов ранее рассмотренных команд, и еще не раз будут встречаться в других командах.

Рассмотрим уникальные микрооперации:

Микрооперация3: запись данных в стек. Содержимое регистр reg записывается в ячейки памяти из области системного стека, те - на которую указывает SP, то есть - в вершину стека. Обратим внимание: поскольку длинна регистра больше длинны ячейки памяти, записанные данные займут не одну, а несколько соседних ячеек памяти, а именно L_R ячеек. Где L_R - длинна регистра. Смотрите [1.7.4]

Микрооперация 4: подготовка к выполнению следующей уже следующих команд работы со стеком. Нам необходимо, чтобы следующие данные - были записаны не на тоже место где, только что, был сохранён регистр, а на другое, пока свободное место в области стека. Поэтому к SP добавляется L_R – длина регистра, после чего: SP снова будет указывать на первую из незанятых ячеек в области стека. Говорят – "вершина стека переместилась вверх". Так вершина стека будет перемещаться вверх - после выполнения и каждой последующей команды PUSH.

	RC ß [PC]
	Дешифрация
	SP ß SP - LR
	reg ß [SP]
	PC ß PC + LR
	Проверка INT

Рассмотрим уникальные микрооперации:

Микрооперация 3: Вычитаем из SP L_R, тем – переводим указатель вниз - с вершины стека, на последние из занятых данными ячейки из области стека. То есть: теперь SP указывает на то слово данных что заносилось в стек последним (вспомним принцип работы стековой памяти).

Микрооперация 4: Чтение данных из стека в регистр reg.. В регистр прочитается как раз то слово что и было занесено последним. Часть ячеек стека "освобождена", SP – снова указывает на последнюю из незанятых данными ячеек из области стека.

Указатель в ходе выполнения POP - переместился вниз, и будет перемещаться вниз - с каждым новым выполнением команды POP.

1) Заметим что в стек может быть записан ограниченный объём данных. Если длинна регистра - L_R а число ячеек ОЗУ отведённых под область стека N одновременно и без неприятных последствий в стек может быть записано не более не более N/ L_R значений регистров.

2) Если вся область стека уже заполнена данными, а программа продолжила записывать данные в область стека – данные записываются в область ОЗУ уже не отводимую под область стека. Записанные слова данных могут повредить другие данные, или программы расположенные на адресах лежащих выше отведённых под область стека. Такую ситуацию принято называть "переполнение стека", и переполнение стека – может вызвать серьёзные разрушения работы операционной системы и программ.

3) Между прочим: намеренное целенаправленное переполнение системного стека создают многие программы-вирусы, пытаясь, тем самым - нарушить работу операционной системы и обойти средства защиты ОC.

Дата добавления: 2014-01-04