Реализация системы управления реального времени в ОС Windows курсовая по информатике , Дипломная из Информатика

Скачай Реализация системы управления реального времени в ОС Windows курсовая по информатике и еще Дипломная в формате PDF Информатика только на Docsity! Кафедра «Программное обеспечение ЭВМ и информационные технологии» Курсовая работа на Тему: «Реализация системы управления реального времени в ОС Windows» Содержание 1. Введение 2. Конструкторская часть 2.1. Общие принципы 2.2. Програмное обеспечение 2.2.1. Драйвер режима ядра 2.2.2. Управляющее приложение 2.2.3. Приложение для создания нагрузки 2.2.4. Обратная связь 3. Технологическая часть 3.1. Выбор средства разработки 3.2. Организация задержек 3.3. Взаимодействие с драйвером 4. Исследовательская часть 4.1. Цели и задачи 4.2. Конфигурация тестового стенда 4.3. Работа на небольших частотах 4.4. Точность изменения задержек 4.5. Точность работы таймера 4.6. Увеличение частоты срабатывания 4.7. Работа параллельно с другими приложениями 4.7.1. Нагрузка на подсистему GDI 4.7.2. Работа со страничными отказами 5. Заключение 2. Конструкторская часть 2.1 Общие принципы Одним из возможных способов решения поставленной задачи может быть использование специальных потоков реального времени ОС Windows. Такие потоки имеют приоритеты от 16 до 31 и выполняются в режиме ядра. Кроме того, важным отличием таких потоков от обычных является то, что они являются потоками с добровольной передиспетчеризацией. Это означает, что если такой поток получает процессор (как системный ресурс), то он будет занимать его до тех пор, пока сам добровольно не вернет его системе, т.е. не перейдет в состояние блокировки (например в ожидание на функции WaitForSingleObject). Именно этой особенность системных потоков реального времени мы и попробуем воспользоваться при реализации системы управления реального времени в ОС Windows. 2.2 Программное обеспечение Для проведения исследований нам понадобится следующий набор программных средств: драйвер режима ядра, управляющее приложение, приложение для создания нагрузки, обратная связь. Каждый из этих пунктов подробнее рассматривается далее в этом разделе. 2.2.1 Драйвер режима ядра Для создания системных потоков нам необходимо использовать драйвер, которым в нашем случае является драйвер виртуального устройства. Связано это с тем, что в ходе наших исследований использование реального устройства было невозможно, кроме того, в этом не было острой необходимости. Работу реального устройства мы будем эмулировать при помощи еще одного системного потока внутри нашего драйвера. Итак, при начальной инициализации (в функции DriverEntry) драйвер запускает два системных потока. Первый из них (эмулирующий реальное устройство, управляющий поток, см. Приложение 1) исполняется с приоритетом 31 и ждет на системном объекте «ожидающий таймер» (waitable timer). Это позволяет потоку пробуждаться через заранее определенные промежутки времени и будить второй поток, имитируя тем самым приход некоторых данных от внешнего устройства. Второй поток (рабочий поток, см. Приложение 2) выполняется с настраиваемым приоритетом (от 16 до 30) и предназначен для обработки данных приходящих от внешнего устройства. Для этого он ждет на событии до тех пор пока оно не будет взведено управляющим потоком. Затем поток выполняет некоторое число холостых циклов на процессоре для имитации обработки данных. Количество таких циклов зависит от того, какую длительность задержки мы хотим использовать. 2.2.2 Управляющее приложение При помощи специального приложения происходит управление работой драйвера. Внешний вид этого приложения показан на рис. 2.1. Рис 2.1. Внешний вид управляющего приложения. Верхняя кнопка позволяют установить драйвер. Следующие три поля ввода 3. Технологическая часть 3.1 Выбор средства разработки Для разработки драйверов наиболее широкое применение получили языки C/C++ и Ассемблер. Для разработки настоящего драйвера был выбран язык C++, поскольку он сочетает в себе простоту разработки программ с возможностью использования ассемблерных вставок для критических участков кода. Кроме того, заголовочные файлы для этого языка идут в стандартной поставке DDK. Для сборки конечного драйвера использовались компилятор и линковщик из DDK. 3.2 Организация задержек Для имитации обработки данных, полученных от устройства необходимо создавать задержки. Для этого можно использовать вызов специальной функции ядра KeStallExecutionProcessor, однако в этом случае мы не можем контролировать что на самом деле произойдет с потоком и мы получим меньше информации о том сколько тактов центрального процессора было востребовано. Кроме того, при реальной работе вместо фиктивных задержек будут использованы реальные математические вычисления на центральном процессоре. Наиболее удачной имитацией этого на наш взгляд будет создание холостых циклов при помощи ассемблерных вставок например такого вида: mov ecx, count label: xchg eax,eax loop label Здесь параметр count определяет, сколько именно холостых циклов нужно выполнить, причем мы даже можем приблизительно предположить, сколько тактов центрального процессора на это уйдет. Для приблизительного пересчета числа холостых циклов во временные интервалы при начальной инициализации драйвера выполняется порядка 108 холостых циклов с вычислением времени которое было затрачено на эту операцию. Далее необходимое число холостых циклов для организации задержки рассчитывается по следующей формуле: , где count0 и time0 соответственно количество холостых циклов и время на их выполнение при начальной инициализации драйвера, time — требуемая длина задержки. 3.3 Взаимодействие с драйвером Управление параметрами работы драйвером производится при помощи следующей структуры: struct ControlStruct { int Priority; int Frequency; int Delay;}; Поле Priority задает текущий приоритет рабочего потока драйвера (приоритет управляющего потока всегда 31). Поле Frequency задает частоту прихода данных от эмулируемого внешнего устройства. Поле Delay определяет длительность задержек на обработку данных от устройства. Передача обновленной структуры из управляющего приложения в драйвер осуществляется следующим образом. Приложение открывает виртуальное устройство, ассоциированное с драйвером, а замет вызовом WriteFile передает в драйвер нужные данные. Драйвер получает данные в своей функции DispatchWrite и сохраняет их в глобальной переменной, внося необходимые изменения в свою работу. 4.3 Работа на небольших частотах Начнем наше исследование с запуска драйвера на небольших частотах, а именно ограничимся частотой в 1 Гц и пронаблюдаем какие максимальные задержки мы сможем выставить сохраним стабильную работу драйвера. Для простоты пока будем предполагать что кроме нашего драйвера система больше не загружена никакими ресурсоемкими приложениями. То есть в диспетчере задач более 95% процессорного времени приходится на псевдо-процесс Idle («Бездействие системы»). Приоритет рабочего потока выставим в значение 16. Частота 1 Гц дает нам приход запросов от имитируемого устройства каждые 1000 мс. Изначально была выставлена задержка 100 мс. Это дает системе 900 мс на «накладные расходы», что позволило драйверу стабильно выполнить необходимые действия. На прикладном уровне работа драйвера без привлечения специальных средств не ощущалась. Затем мы стали увеличивать длительность задержки. Значение было доведено до 990 мс (что дает системе 10 мс на обработку «накладных расходов»). При такой задержке стабильная работа драйвера сохранилась, однако на прикладном уровне серьезно ощущались «рывки» — система тратила 99% времени на обработку в драйвере. Возможно, длительность задержки можно было еще увеличить, однако это было сделать довольно трудно, т.к. система плохо реагировала на действия пользователя. При значении задержки 1000 мс, как и следовало ожидать, стабильность работы драйвера нарушалась. Еще нужно сказать о том, что если для частоты 1 Гц затраты на накладные расходы системы длиной в 10 мс можно считать нормальными, то на более высоких частотах (выше 100 Гц) это будет недопустимо большой паузой. 4.4 Точность изменения задержек Далее по ходу исследования нам будет необходимо увеличивать частоту запросов и уменьшать длительность задержек. Не лишним будет по логу работы драйвера убедится, что выбранный нами способ организации задержек работает корректно. На рис 4.1 показан один из участков лога. Рис 4.1. Точность измерения задержек Начало задержки 990 мс — время 398.11619158, конец — 399.10677251. Расхождение с расчетным временем составило 0.00058093 с. Конечно, при уменьшении задержек и при включении внешней нагрузки погрешность увеличится, однако такой результат все равно можно назвать достаточно хорошим. 4.5 Точность работы таймера Вместо внешнего устройства мы использовали ожидающий таймер, поэтому интересно будет проверить, насколько точно он позволит нам выдерживать необходимую частоту срабатывания. На рис. 4.5 представлены два момента срабатывания таймера для частоты 1 Гц. Рис. 4.5. Точность работы таймера Как видно, разница составила 0.000195 с, что тоже можно считать хорошим результатом. Посмотрим какие задержки мы сможем использовать в случае более высоких частот (до 1 кГц) и что будет если запустить драйвер не на «холостых оборотах» системы, а с наличием внешней нагрузки. 4.6 Увеличение частоты срабатывания Драйвер был запущен для частоты 1 кГц. Увеличивая постепенно время задержки было получении предельное значение около 200 мкс. Как видно, увеличение частоты в 1000 раз привело к уменьшению длительности задержки более чем в 1000 раз. В принципе даже такого интервала задержки могло бы хватить для реализации системы управления реального времени, однако следует учесть еще один фактор. В реальной системе помимо нашего драйвера выполняются еще и другие приложения, которые тоже требуют процессорного времени и других системных ресурсов. Проверим работу драйвера в присутствии таких приложений. 4.7 Работа параллельно с другими приложениями Для проведения исследования этого рода было написано специальное приложение, которое может создавать нагрузку определенного рода. Приложение 1 Исходный код управляющего потока VOID TimerThreadProc(PVOID startContext) {TRACE("-> TimerThreadProc, IRQL = %d", KeGetCurrentIrql()); KeSetPriorityThread((PKTHREAD)pTimerThread,31); KPRIORITY priority = KeQueryPriorityThread((PKTHREAD)pTimerThread); TRACE("TimerThread Priority: %d",priority); SetTimer(); while(!bExitThread) {KeWaitForSingleObject(&kTimer, Executive,KernelMode,FALSE,0); if (bExitThread) break; LONG state = KeReadStateEvent(&kEvent); if (state == 0) {TRACE("TimerThreadProc: KeSetEvent"); KeSetEvent(&kEvent,FALSE,FALSE);} else {TRACE("[!] Event already in signaled " "state; aborted"); bTimerWorks = false; break;}} KillTimer(); ТВАСЕ("<- ТипегГргеа4Ргос, ех1 пя"); РэТегиипаебуетТгеа($ТАТО$ _$9ССЕ$5);} Приложение 2 Исходный код рабочего потока VOID ThreadProc(PVOID startContext) {TRACE("-> ThreadProc, IRQL = %d",KeGetCurrentIrql()); KeSetPriorityThread((PKTHREAD)pThread,curSett.Priority); for(int i = 0;!bExitThread;i++) {TRACE("* ThreadProc: loop %d, " "priority %d",i, KeQueryPriorityThread((PKTHREAD)pThread)); KeWaitForSingleObject(&kEvent,Executive,KernelMode, FALSE,0); if (bExitThread) break; // имитируем работу TRACE(">> Start \"working\""); DELAY(curSett.Delay); TRACE(">> Stop \"working\""); // сбрасываем событие чтобы снова начать его ждать KeResetEvent(&kEvent);} TRACE("<- ThreadProc, exiting"); PsTerminateSystemThread(STATUS_SUCCESS);}