Программное обеспечение вычислительной системы

В микропроцессорах i80х86 размер страницы равен 2¹²=4096=4Кбайт, а поле номера страницы, имеющей размер 20 битов, разбивается на два поля и осуществляется двухшаговая страничная трансляция. Для описания каждой страницы создается соответствующий 32-битовый дескриптор. Это дает возможность адресоваться к любому байту из 2³², а шина адреса как раз и позволяет использовать физическую память с таким объемом. Так что можно отказаться от сегментного способа адресации. Т.е. можно считать, что задача состоит из одного сегмента, который разбит на страницы. Такой подход получил название «плоская память».  При использовании плоской памяти упрощается  создание ОС и систем программирования. Поэтому в большинстве 32-разрядных ОС для микропроцессоров i80х86 используется плоская модель памяти.

 

4. Система прерываний 32-разрядных микропроцессоров i80х86

 

      В реальном режиме работы система прерываний работает так же, как и для 16-разрядного микропроцессора i8086/8088. Имеется 16 линий запросов на прерывания (IRQ – Interrupt ReQuest), реализуемых с помощью двух контроллеров прерываний i8259A, соединенных каскадным образом.

      Линии IRQ:

1. 1 – контроллер клавиатуры;
2. 3 – COM2;
3. 4 – COM1;
4. 6 – контроллер FDD;
5. 8 – часы реального времени с автономным питанием;
6. 12 – контроллер мыши типа PS/2;
7. 13 – математический сопроцессор;
8. 14 – контроллер IDE (первый канал);
9. 15 – контроллер IDE (второй канал);
10. 16 – Intel (R) 82801DB/DBM USB Universal Host Controller – 24C2 ;
11. 17 – SoundMax Integrated Digital Audio;
12. 18 – Intel (R) 82801DB/DBM USB Universal Host Controller – 24C7;
13. 19 – Intel (R) 82801DB/DBM USB Universal Host Controller – 24C4;
14. 20 – ASUSTeK/Broadcom 440x10/100 Int…
15. 22 –  Microsoft  ASPI – Compliant System
16. 23  –  Intel PCI to USB enhanced Host Controller

 

 

В защищенном режиме система прерываний действует совершенно иначе. Вместо таблицы векторов используется таблица дескрипторов прерываний IDT. Здесь хранятся не адреса обработчиков прерываний ISR, а специальные системные структуры данных, доступ к которым пользовательским программам запрещен. Каждый элемент в таблице дескрипторов прерываний имеет 8-байтовую структуру и может принадлежать к одному из трех типов:

1. Коммутатор прерывания;
2. Коммутатор перехвата;
3. Коммутатор задачи.

        При обнаружении  запроса на прерывание и при условии, что прерывания сейчас разрешены, процессор действует в зависимости от типа дескриптора, соответствующего номеру прерывания. Первые два типа дескриптора прерываний вызывают переход на соответствующие сегменты кода, принадлежащие виртуальному адресному пространству текущего вычислительного процесса. Последний тип дескриптора вызывает полное переключение процессора на новую задачу.

       Рассмотрим обработку прерываний в контексте текущей задачи. После  анализа дескриптора процессор выполняет следующие действия:

1. В стек на уровне привилегий текущего сегмента кода помещаются:

1. значения SS и SP, если уровень привилегий в коммутаторе выше уровня привилегий ранее исполнявшегося кода;

2. регистр флагов EFLAGS;
3. регистры CS и IP.

2. Если тип дескриптора – коммутатор прерывания, то другие прерывания запрещаются, если – коммутатор перехвата, новые прерывания на период обработки текущего прерывания не запрещаются;

3. Поле селектора из дескриптора прерываний используется для индексирования таблицы дескрипторов задачи. Дескриптор сегмента заносится в теневой регистр, а смещение относительно начала нового сегмента определяется полем смещения из дескриптора прерывания.

      Совершенно  иначе обрабатываются прерывания, если дескриптор является коммутатором  задачи. В этом случае происходит полное переключение на новую задачу, при этом сохраняются все регистры процессора.

       В  основном обработку прерываний  осуществляют в контексте текущей  задачи, так как это повышает  быстродействие системы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Управление задачами в операционных системах

 

Время центрального процессора и оперативная память являются основными  ресурсами при реализации мультипрограммных  вычислений.

Операционная система  выполняет следующие основные функции, связанные с управлением задачами:

1. Создание и удаление задачи;
2. Планирование процессов и диспетчеризация задач;
3. Синхронизация задач, обеспечение их средствами коммуникации.

Система управления задачами обеспечивает прохождение их через  компьютер. Создание и удаление задач  осуществляется по соответствующим запросам от пользователей или от самих задач. Задача может породить новую задачу. Основным подходом к организации того или иного метода управления процессами является организация очередей и ресурсов.

На распределение ресурсов влияют конкретные потребности  тех задач, которые должны выполняться параллельно. Можно столкнуться с ситуациями, когда невозможно эффективно распределять ресурсы с тем, чтобы они не простаивали. Например, устройство с последовательным доступом не может распределяться между параллельно выполняющимися процессами. Если же мы возьмем набор таких процессов,  которые не будут конкурировать между собой за неразделяемые ресурсы при параллельном выполнении, то  процессы смогут выполниться быстрее. Таким образом, возникает задача подбора такого множества процессов, что при выполнении они будут как можно реже конфликтовать из-за имеющихся в системе ресурсов. Такая задача называется планированием вычислительных процессов.

В настоящее время  на первый план вышли задачи динамического (краткосрочного) планирования, т.е. текущего наиболее эффективного распределения ресурсов, возникающего практически при каждом событии. Задачи динамического планирования называют диспетчеризацией.

Долгосрочный планировщик  решает, какой из процессов, стоящий во входной очереди, должен быть переведен в очередь готовых процессов в случае освобождения ресурсов памяти. Краткосрочный планировщик решает, какая из задач, находящихся в очереди готовых к выполнению, должна быть предана на исполнение. В большинстве современных ОС долгосрочный планировщик отсутствует.

 

Планирование  процессов и диспетчеризация  задач

 

1. Стратегии планирования (диспетчеризации)

 

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

 

1. по возможности заканчивать вычислительные процессы в том же самом

            порядке, в котором они были начаты;

2. отдавать предпочтение более коротким процессам;
3. предоставлять всем процессам пользователей одинаковые услуги, в том

           числе и одинаковое время ожидания.

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

 

2. Дисциплины диспетчеризации

 

Известно большое количество правил (дисциплин) диспетчеризации, в соответствии с которыми формируется список (очередь) готовых к выполнению задач. Различают два больших класса таких дисциплин – бесприоритетные и приоритетные. При реализации приоритетных дисциплин отдельным задачам предоставляется преимущественное право попасть  в состояние исполнения.

Рассмотрим кратко некоторые наиболее часто используемые дисциплины диспетчеризации.

Самой простой в реализации является дисциплина FCFS (first come – first served), согласно которой задачи обслуживаются в порядке очереди, т.е. в порядке их появления. Те задачи, которые были заблокированы в процессе работы, после перехода в состояние готовности ставятся в эту очередь перед теми задачами,  которые еще не выполнялись, т.е. образуется две очереди – одна из новых задач, а вторая очередь – из ранее  выполнявшихся, но попавших в состояние ожидания. Такой подход позволяет реализовать стратегию обслуживания «по возможности заканчивать вычислительные процессы в порядке их появления».

 

Рис.1. Дисциплина FCFS

 

К достоинствам этой дисциплины можно  отнести простоту реализации и малые  расходы системных ресурсов на формирование очереди задач.

Но она приводит к тому, что  при увеличении загрузки вычислительной системы растет и среднее время ожидания обслуживания, причем короткие задания вынуждены ожидать столько же, сколько и трудоемкие задания. Избежать этого недостатка позволяют дисциплины SJN и SRT.

Дисциплина обслуживания SJN (shortest job next – следующим будет выполняться кратчайшее задание) требует, чтобы для каждого задания была известна оценка в потребностях машинного времени. Для этого были разработаны специальные языковые средства, например, язык JCL (job control language – язык управления заданиями). Пользователи должны были указывать предполагаемое время выполнения, а чтобы они не  ловчили, ввели подсчет реальных потребностей. Если обнаруживался обман, то задание ставилось в конец очереди или оплата шла по более высоким тарифам.

Дисциплина обслуживания SJN предполагает, что имеется только одна очередь заданий, готовых к выполнению. И задания, которые в процессе своего выполнения были временно заблокированы, вновь попадают в конец очереди. Это приводит к тому, что задания, которым требуется очень немного времени для завершения, ожидают процессор наравне с длительными работами.

Для устранения этого  недостатка была предложена дисциплина SRT (shortest remaining time) – следующее задание требует меньше всего времени для своего завершения.

Все эти три дисциплины могут использоваться для пакетных режимов обработки, когда пользователь сдает свое задание, не ожидает реакции системы, а ему нужен только результат вычислений. Для интерактивных вычислений желательно обеспечить приемлемое время реакции системы и равенство в обслуживании, если система является мультитерминальной. Для однопользовательских систем с возможностью мультипрограммной обработки желательно, чтобы программы, с которыми работают непосредственно, имели лучшее время реакции, чем фоновые задания. Для решения подобных проблем используется дисциплина обслуживания RR (round robin – круговая, карусельная) и приоритетные методы обслуживания.

Дисциплина RR предполагает, что каждая задача получает процессорное время порциями (квантами времени q). После окончания  кванта времени q задача снимается с процессора,  и он передается следующей задаче. Снятая задача ставится в конец очереди задач, готовых к исполнению. Для оптимальной работы системы необходимо правильно выбрать закон, по которому кванты времени выделяются задачам.

Величина кванта времени q выбирается как компромисс между приемлемым временем реакции системы на запросы пользователей и накладными расходами на частую смену контекста задачи (надо запоминать много информации для прерываний).

Дисциплина RR – это одна из самых распространенных дисциплин диспетчеризации. В своей простейшей реализации на предполагает, что все задачи имеют одинаковый приоритет. Для введения приоритетного обслуживания вводят несколько очередей. Процессорное время будет предоставляться в первую очередь тем задачам, которые стоят в самой привилегированной очереди. Если она пустая, то диспетчер задач начнет просматривать остальные очереди. По такому алгоритму действует диспетчер задач в Windows NT.

 

Рис.2. Дисциплина RR

 

Диспетчеризация без  перераспределения процессорного  времени, т.е. не вытесняющая многозадачность – это такой способ диспетчеризации процессов, при котором активный процесс выполняется до тех пор, пока он сам не отдаст управление диспетчеру задач. Дисциплины FCFS, SJN, SRT относятся к не вытесняющим.

Диспетчеризация с перераспределением процессорного времени между  задачами, т.е. вытесняющая многозадачность – это такой способ, при котором решение о переключении с одного процесса на другой принимается диспетчером задач, а не самой активной задачей. Дисциплина RR относится к вытесняющим.

       Для  сравнения алгоритмов диспетчеризации  обычно используют следующие  критерии:

1. использование (загрузка) CPU – центрального процессора;
2. пропускная способность CPU – количество процессов, выполняющихся в

           единицу времени;

3. время оборота – интервал от момента появления процесса во входной

            очереди до момента его завершения;

4. время ожидания – суммарное время нахождения в очереди готовых

            процессов;

5. время отклика – время, прошедшее от момента попадания во входнуюъ