Виртуальная память. Инструкции тестирования указателей

Инструкции тестирования указателей

Проверка условий, порождающих исключения

1. Проверка при ____________ _______________ _____________

– превышение лимита таблицы дескрипторов à #GP;

– несуществующий дескриптор сегмента à #NP или #SS;

– нарушение привилегий à #GP;

– загрузка неверного дескриптора или типа сегмента à #GP:

– для SS: сегмента кода или сегмента данных только для чтения;

– для DS, ES или SS: управляющих дескрипторов или только исполняемых сегментов;

– для CS: сегмента данных.

2. Проверка _________ _____________

– запись: в сегмент ______ или сегмент _________ только для чтения à #GP;

– чтение: из только исполняемого сегмента ______ à #GP;

– превышение лимита сегмента à #SS или #GP.

3. Проверка привилегий инструкций

– ______:

– LIDT, LLDT, LGDT, LTR, LMSW, CTS, HLT, INVD, INVLPG, WBINVD à #GP;

– операций с регистрами DRn, TRn, CRn à #GP;

– ___________:

– STI, CLI, инструкции с префиксом LOCK (для 80286) à #GP;

– IN, INS, OUT, OUTS к портам, не разрешенным битовой картой ввода-вывода à #GP.

4. IRET и POPF с недостаточным уровнем привилегий

– IF и IOPL в регистре флагов ___ _______________, исключения не порождаются;

– IF не меняется при ____>______;

– IOPL не меняется, если ____>_.

5. Передача управления по инструкциям JMP, CALL, RET, INT и IRET

– проверка ссылок ___ _________ (в «ближних» формах JMP, CALL и RET выполняется только это);

– проверка _________ _______________ при межсегментных передачах через шлюзы.

Назначение: проверка возможности использования _____________ или ____________ без риска порождения исключения.

ARPL – выравнивание RPL: RPL селектора приравнивается максимальному значению из текущего RPL селектора и поля RPL в указанном регистре. Если при этом RPL изменился, устанавливается ZF=1.

VERR, VERW – проверка возможности чтения или записи, соответственно; если сегмент, на который указывает селектор, допускает операцию, устанавливается ZF=1.

LSL, LAR – загрузка в регистр лимита сегмента или байта доступа дескриптора, соответственно; выполняется, если позволяют привилегии; при успешном завершении устанавливается ZF=1.

Страничная организация памяти (Paging).

Средство организации виртуальной памяти с _____________ __________ ___ __________ (Demand-Paged Virtual Memory).

Сегментация: программы и данные организуются в модули различного размера.

Страничная организация: операции с памятью, как с набором модулей одинакового размера.

В момент обращения страница может:

– присутствовать в физической оперативной памяти;

– быть выгруженной на внешнюю (дисковую) память.

При обращении к выгруженной странице памяти:

– процессор вырабатывает _______________ ____ (отказ страницы);

– обработчик исключения (часть ОС) получает необходимую информацию для ____________ («____________») отсутствующей страницы с диска.

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