- •1. Требования, предъявляемые к алгоритмам организации взаимодействия процессов.
- •2. Способы реализации взаимного исключения: запрещение прерываний
- •3. Способы реализации взаимного исключения: переменная-замок
- •4. Способы реализации взаимного исключения: строгое чередование
- •5. Способы реализации взаимного исключения: флаги готовности
- •6. Способы реализации взаимного исключения: алгоритм Петерсона
- •7. Способы реализации взаимного исключения: алгоритм булочной
- •8. Аппаратная реализация взаимоисключений.
- •9. СемафорныепримитивыДейкстры. Решение задачи производителя и потребителя с помощью семафоров.
- •10. Монитор Хоара как примитив синхронизации высокого уровня. Решение задачи производителя и потребителя с помощью мониторов.
- •11. Тупиковые ситуации.
- •12. Методы борьбы с тупиками: Игнорирование проблемы тупиков.
- •13. Методы борьбы с тупиками: Предотвращение тупиков.
- •14. Методы борьбы с тупиками: Алгоритм Банкира.
- •15. Методы борьбы с тупиками: Нарушение условий возникновения тупиков.
- •16. Методы борьбы с тупиками: Обнаружение тупиков.
- •17. Методы борьбы с тупиками: Восстановление после тупиков.
- •18. Иерархия памяти. Локальность.
- •22. Динамическое распределение памяти: разделы с подвижными границами. Уплотнение памяти. Свопинг.
- •23. Сегментная организация памяти.
- •24. Страничная организация памяти.
- •25. Таблицы страниц: одноуровневые, многоуровневые, инвертированные.
- •26. Сегментно-страничная организация памяти
- •27. Понятие виртуальной памяти. Страничный механизм трансляции.
- •28. Стратегии управления виртуальной памятью
- •29. Дисциплины замещения страниц: fifo
- •30. Дисциплины замещения страниц: оптимальный алгоритм
- •31. Дисциплины замещения страниц: выталкивание дольше всего не использовавшейся страницы.
- •32. Дисциплины замещения страниц: выталкивание редко используемой страницы.
- •33. Модель рабочего множества. Трешинг. Страничные демоны.
22. Динамическое распределение памяти: разделы с подвижными границами. Уплотнение памяти. Свопинг.
-Страничная память. Физическое адресное пространство разбивается на фреймы одинакового размера. Логическое пространство процесса разбивается на участи такого же размера, который называется страницами. Страницы всех процессов размещаются в свободных фреймах физической памяти, причем необязательно по порядку. Адрес в логическом адресном пространстве представляет собой пару чисел «номер страницы»: «смещение внутри страницы». Каждый процесс содержит таблицу страниц, который указывает соответствие логических страниц и физических фреймов+ некоторая служебная информация. При каждом обращении к памяти по номеру страницы из таблицы страниц выбирается номер физического фрейма, после чего зная номер и размер фрейма а также смещение вычисляется адрес физической ячейки, к которой происходит обращение.
Достоинства: +Минимизация фрагментации: чем меньше страниц тем меньше фрагментация, но тем больше объем таблиц страниц. Чем больше размер страницы, тем меньше таблицы страниц, тем больше фрагментация.
-Многоуровневые таблицы страниц. Каждому процессу соответствует не одна таблица страниц а несколько, адрес побитно содержит сначала номер страницы второго уровня, потом номер строки в этой странице, потом смещение. При связывании адреса из таблицы первого уровня получается адрес фрейма в котором хранится нужная таблица второго уровня, а уже в ней по номеру страницы получается адрес фрейма.
+Уменьшение используемой памяти для таблиц страниц
-Инвертированная таблица страниц. Вместо таблиц страниц каждого процесса есть одна общая таблица с соответствием фреймов и страниц процессов, которые находятся в этих фреймах. Благодаря этому объем памяти для таблиц значительно уменьшается, но поскольку эта таблица отсортирована по номерам фреймов, то поиск нужного фрейма по номеру страницы затруднен. Для улучшения может использоваться хеширование
23. Сегментная организация памяти.
-Сегментная память. Логическое адресное пространство разбивается на участки по смыслу, называемые сегментами, обычно это сегменты данных, кода, стека и т.д. Каждый сегмент отображается в свободном месте свободного адресного пространства. Поскольку нет разбиения адресного пространства на равные участки, то появляется проблема фрагментации физического пространства. Логический адрес представляет собой пару чисел «номер сегмента»: «смещение». По номеру сегмента из таблицы сегментов процесса получается адрес его начала в физической памяти с добавлением смещения этого адреса получается номер физической ячейки.
-Сегментно-страничная память. Логическое пространство процесса разбивается по смыслу на сегменты, каждый из которых разбивается на страницы одинакового размера. Страницы отображаются в фреймах физического пространства. Логический адрес представляет собой тройку чисел: номер сегмента, по которому получается его таблица страниц, номер страницы, по которой получается номер фрейма, в которой она отображена и смещение внутри страницы, с использованием которого получается адрес физической ячейки + осмысленность разбиения на сегменты сочетается с отсутствием фрагментации страничного подхода.