Документирование среды программирования для операционной системы L4Ka(Documenting the programmer environment for L4ka)
Содержание
- 2. Цель работы Главными задачами диплома являются: Работа раскрывает два аспекта: управление памятью (memory management) и взаимодействие
- 3. Управление памятью выделение (mapping) регионов физической памяти выделение/освобождение (unmapping) и передача (granting) регионов памяти между задачами
- 4. Взаимодействие между процессами написание сервиса для аппаратных прерываний (interrupt service routine) расширение функциональности менеджера памяти σ0
- 5. Операционные системы (ОС) ОС – это программа, предназначенная для управления всеми ресурсами вычислительной машины с целью
- 6. Схема ОС с макро-ядром
- 7. Схема ОС с микро-ядром
- 8. L4Ka – ОС с микро-ядром Основные механизмы: нити (threads) – процессы, имеющие единое адресное пространство и
- 9. Адресное пространство (АП) АП – это набор преобразований (translations) из виртуальных адресов в физические; содержит все
- 10. Адресное пространство (2) map – регион памяти в общем владении grant – регион памяти передается с
- 11. Адресное пространство (3) Задача – набор нитей, использующих адресное пространство совместно (shared) Нить определяется: используемым адресным
- 12. Менеджер памяти
- 13. Корневой менеджер памяти σ0
- 14. Планирование машинного времени
- 15. Типы данных OC L4Ka Основные типы данных: уникальный идентификатор (UID – unique ID) flex-pages тайм-аут (timeout)
- 16. Уникальный идентификатор
- 17. Flex-pages Flex-page – это непрерывные регионы адресного пространства необходимы для операций map и grant передаются как
- 18. Тайм-аут (timeout) Тайм-аут используется для контроля ВМП. В 32-х битном поле определены четыре тайм-аута.
- 19. Тайм-аут (timeout) (2)
- 20. Результат одной коммуникации между нитями возвращается в 32х-битном поле. Поле «mwords» говорит о числе принятых 32х-битных
- 21. В L4Ka имеется только один параметр для планирования. Он содержит поля в которых закодирован приоритет и
- 22. Системный вызов l4_myself Системный вызов возвращает уникальный идентификатор текущей нити.
- 23. Системный вызов l4_unmap Регион памяти, описанный входным параметром fpage, будет освобожден (удален из адресного пространства нити).
- 24. Системный вызов l4_thread_ex_regs С помощью этого системного вызова можно получить или изменить регистры EIP и ESP
- 25. Системный вызов l4_thread_switch Вызывающая нить добровольно освобождает ресурсы процессора. Планировщик выбирает следующую нить.
- 26. Системный вызов l4_thread_schedule Изменение значений приоритета и длины кванта времени нити производится посредством передаче в качестве
- 27. Системный вызов l4_task_new Этот системный вызов удаляет и/или создает задачу. Удаление задачи означает удаление адресного пространства
- 29. Скачать презентацию