Теоретические основы системного программирования

Тесты IV

Управление резервной памятью в специальной операционной системе (LRM)

1.  Содержательная задача.

Специальная ОС летающего объекта содержит систему управления основной и резервной памятью. В зависимости от событий (штатной/нештатной работы агрегатов объекта) и состояний основной и резервной памяти проводится или не проводится стресс–тестирование программных модулей ОС. LRM реализована аппаратно на элементах «и–не», «или–не», хранящих триггерах.

2.  Математическая модель.

Логика работы LRM определяется машиной состояний с таблицей рекурсивной функции. LRM реализована последовательностной машиной на элементах «и–«, «или–не» и триггерах «задержки на 1 такт».

2.1. Условия работы LRM задаются системой рекурсивных функций:

– условия работы основной памяти;

– условия работы резервной памяти;

– условия работы стресс-тестов.

2.2. Таблица рекурсивных функций:

t

t + 1

x

z1

z2

z1

z2

y

0

0

0

0

1

0

0

1

1

0

1

1

0

1

1

1

1

1

0

0

0

1

0

0

1

1

1

0

1

0

1

0

1

0

1

0

0

1

1

1

1

1

·  x = 0 – а (штатный режим)

·  x = 1 – b (нештатный режим)

·  z1 = 0(1) – основная память свободна (занята)

·  z2 = 0(1) –резервная память свободна (занята)

·  у = 0(1) – стресс-тестирова-ние проводится (не прово-дится)

Теоретические основы системного программирования

Тесты IV

Управление резервной памятью в специальной операционной системе (LRM)

2.2. Машина состояний и последовательностная машина LRM:

Теоретические основы системного программирования

Тесты IV

Управление резервной памятью в специальной операционной системе (LRM)

1.  Какое условие правильно определяет работу основной памяти (LRM):

а) ;

б)

в)

2.  Какое условие правильно определяет работу резервной памяти в LRM:

а) ;

б) ;

в) ;

3.  Какое условие правильно определяет работу стресс-тестов в LRM:

а) ;

б) ;

в) ;

4.  В Т. З. на LRM в протоколе сделана ошибка в правиле

6) , что нарушило условия работы с основной памятью. Отметьте ложное утверждение:

а) для работы в штатном режиме f1 не изменилось;

б) для работы в нештатном режиме f1 изменилось на

;

в) для работы в штатном режиме f1 изменилось на

;

Теоретические основы системного программирования

Тесты IV

Управление резервной памятью в специальной операционной системе (LRM)

5.  В Т. З. на LRM в протоколе сделана ошибка в правиле

7) , что нарушило условия работы с резервной памятью. Отметьте ложное утверждение:

а) для работы в штатном режиме f2 не изменилось;

б) для работы в нештатном режиме f2 не изменилось;

в) для работы в нештатном режиме f2 изменилось на

;

6.  В Т. З. на LRM в протоколе сделана ошибка в правиле

7) , что нарушило условия работы со стресс-тестами. Отметьте ложное утверждение:

а) для работы со стресс-тестами в штатном режиме f3 не изменилось;

б) для работы со стресс-тестами в нештатном режиме f3 не изменилось;

в) для работы со стресс-тестами в нештатном режиме f3 изменилось, на

;

Теоретические основы системного программирования

Тесты IV

Управление резервной памятью в специальной операционной системе (LRM)

7.  Протокол LRM реализует множество сценариев (последовательностей состояний), вызванных последовательностями событий. Отметить правильные последовательности событий, заданные регулярными выражениями, которые переводят LRM из состояния в состояние :

а)

б)

в)

8. Протокол LRM реализует множество сценариев (последовательностей состояний), заданных регулярным выражением

или соответствующим сценарием стресс-тестирования . Отметить правильный сценарий стресс-тестирования:

а)

б)

в)

Теоретические основы системного программирования

Тесты IV

Управление резервной памятью в специальной операционной системе (LRM)

9. Условия реакции LRM на последовательности событий. Отметить истинное утверждение о сценариях событий, управляющих переходом из состояния в состояние :

а) регулярное выражение для событий не изменится

в) регулярное выражение для событий изменится на

в) регулярное выражение для событий изменится на

10. В аппаратуре управления вышли из строя элементы так, что изменились функции f1 и f2. В штатном режиме –

.

Отметить истинные утверждения:

а) протокол LRM не изменится

б) в протоколе изменились правила:

3)

4)

в) В протоколе изменились правила:

2)

3)