Вирусы и средства борьбы с ними


RASPM с присоединенным вспомогательным хранилищем - часть 2


Обозначим значение i-й ячейки памяти как c(i), где i - целое число. Допустимые коды операндов в таком случае представлены в таблице.

ОперандКод операндаЗначение
i1i
[i]2c(i)
[[i]]3c(c(i))

Полный код команды в этом случае будет складываться (в буквальном смысле) из кода инструкции и кода операнда. Например, команда ADD [i] будет иметь код 32, а команда GET [[i]] - код C3.

Поскольку программа в случае RASPM способна изменять себя в процессе выполнения, многие команды, в частности, команды с операндом [[i]] могут быть эмулированы через другие команды.

Также нужно понимать, что не любой операнд подходит к каждой инструкции. Например, инструкция READ может иметь только операнды типов [i] и [[i]], поскольку записывает значение из ленты в память.

При включении RASPM с ABS счетчик инструкций принимает начальное значение q и процессор немедленно выполняет команду, расположенную по адресу, указанному в q. Дальнейшее выполнение программы определяется командами, записанными в памяти и таким образом полностью определяется начальным содержанием памяти. Завершение работы машины происходит в следующих случаях:

  • когда машина выключается пользователем
  • когда счетчик указывает на ячейку памяти, содержимое которой не является кодом команды (x
    V, но x
    U)
  • когда производится попытка выполнить деление на ноль

Таким образом, в отличие от RAM специальная команда для завершения работы машины не используется.

При каждом включении машины содержимое памяти приводится к исходному значению M, а при каждом выключении обнуляется. Содержимое вспомогательного хранилища, напротив, сохраняется от выключения к включению. Можно также допустить, что вспомогательное хранилище разрешается отсоединять от одной машины и присоединять к другой. Естественным расширением RASPM с ABS выглядит возможность одновременного подключения нескольких вспомогательных хранилищ к одной машине. Следовательно можно определить RASPM с несколькими ABS следующим образом.

Определение 2.7. Вычислительная машина с хранением программ в памяти с произвольной выборкой и с несколькими присоединенными вспомогательными хранилищами (Random Access Stored Program Machine with Several Attached Background Storages, RASPM с SABS) определяется так же как и RASPM с ABS, но с некоторыми допущениями:

  • к RASPM с SABS может быть одновременно присоединено несколько вспомогательных хранилищ
  • все символы на всех вспомогательных хранилищах входят в алфавит V
  • множество возможных действий процессора включает дополнительное действия выбора активного вспомогательного хранилища (см.


    - Начало -  - Назад -  - Вперед -



    Книжный магазин