7.8.2 Недостатки алгоритма банкира
1) алгоритм предполагает фиксированное количество ресурсов
3) алгоритм требует постоянное количество пользователей
4) алгоритм предполагает гарантированное удовлетворение запроса за конечное время
алгоритм требует чтоб клиенты вовремя возвращали ресурсы
5) необходимо чтобы пользователь указывал точную потребность в ресурсе.
7.9 предотвращение тупиков за счет предотвращения условий их возникновения
ели нарушить одно из 4-х условий возникновения тупиков гарантировано, что тупика не будет
7.9.1 нарушение условий взаимоисключения
Если в системе отсутствуют монопольные ресурсы, то тупика не будет
7.9.2 нарушение условий ожидания дополнительных ресурсов
возможная стратегия:
каждый процесс должен запрашивать все требуемые ресурсы сразу. Если все ресурсы не предоставлены, то он не начинает работу
если процесс удерживает ресурс и получает отказ в выделении остальных, то он должен вернуть ранее захваченные ресурсы
7.9.3 нарушение принципа о неперераспределяемости.
можно отобрать ресурс у процесса, не дожидаясь его окончания.
7.9.4 нарушение условия кругового ожидания
Правило: чтобы каждый процесс в кокой-то промежуток времени мог использовать только один ресурс.
7.10 Родственные проблемы
7.10.1 Двухфазная локализация
_______ ресурсного типа
8. Простейшие схемы управления памятью
Задача управления памятью – менеджер памяти (часть ОС, отвечающая за управление памятью). Если процессы работают параллельно, значит, в памяти есть несколько разделов, занятых кодом.
8.1 Физическая организация памяти компьютера
Выделяют:
основную память – массив пронумерованных байтов, номер есть адрес (модель памяти)
вторичную память
|
Регистры процессора (регистровая память) Цена бита Время доступа |
|
Кэш процессора |
|
Оперативная память |
|
Электронные диски |
|
Магнитные диски |
|
Магнитные ленты |
8.1.1 Локальность
Известно, что по мере снижения скорости доступа к памяти снижается и частота обращения к ней. Свойство реальных программ в течение ограниченного времени работать с небольшим набором адресов памяти называется локальностью(принцип локальности или принцип локализации обращений). При использовании принципа локальности реальное время доступа к памяти определяется временем доступа к верхним уровням.
В некоторых случаях для организации вычислений используются овирлейные структуры – это означает, что программа разбивается на части и каждая из частей последовательно загружается в оперативную память.
8.2 Логическая память
Большинство программ – это набор модулей независимых друг от друга (слабо зависимых). В общем случае модули одной программы размещаются в разных областях памяти зачастую не смежных друг с другом – лучший способ.
Область данных, в которой размещены фрагменты программы, называется сегментом. Внутри сегмента поддерживается линейная адресация. Сегмент может содержать отдельную функцию, большой объем данных. Отдельные участки памяти, хранящие совместно используемую информацию, которую ОС отображает в память нескольких процессов, и называются сегментами. При использовании сегментов есть возможность контролировать характер работ с конкретным сегментом, используя атрибуты.
|
|
|
Стек процесса P2 |
|
|
|
Библиотека |
|
|
|
Данные процесса P1 |
|
Код процесса P1 |
|
|
|
Данные процесса P2 |
|
|
|
Стек процесса P1 |
|
|
|
Стек процесса P2 |
|
|
|
ОС |
Большинство современные ОС поддерживает сегментную организацию памяти. Фирма Intel поддерживает сегментацию аппаратно (обычно более эффективна). Адреса в исходных текстах обычно символические. Компилятор связывает символические адреса с перемещаемыми адресами (n-байт от начала модуля). Такой адрес, сгенерированный программой, называют логическим адресом (в системах с виртуальной памятью этот адрес называют виртуальным). Совокупность всех логических адресов называетсялогическим (виртуальным) адресным пространством.