Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекции Компьют техн 10.doc
Скачиваний:
5
Добавлен:
15.09.2019
Размер:
100.35 Кб
Скачать

10.8. Заключение

Операционная система предоставляет процессам логическую среду, состоящую из времени ЦП и оперативной памяти. Операционные системы для многопользовательс­ких приложений и приложений реального времени имеют много общего, но техника программирования должна быть разной — приложения реального времени могут тре­бовать времени реакции порядка 1 мс. При программировании в реальном времени ис- I пользуются специальные функции для координации работы различных процессов. I Для обычных программ эти функции не требуются. Кроме этого, программы реального времени управляются прерываниями и могут явно ссылаться на время.

Центральная проблема многозадачного программирования и программирования в реальном времени — координация доступа к защищенным ресурсам. Существует много общего между распределением процессорного времени, защитой ресурсов и управлением доступом к общей шине. Во всех этих случаях ресурс — процессорное время, память, шина — в определенном смысле ограничен и должен распределяться между различными объектами безопасно, эффективно и справедливо. Стратегия раз­деления ресурсов, которая может основываться на простом циклическом или слож­ном динамическом механизме планирования, должна позволять избегать тупиков и блокировок, обеспечивать выделение ресурсов всем запрашивающим объектам и максимальную эффективность исполнения процессов. На нижнем уровне наиболее простым средством синхронизации является инструкция test_and_set. Наиболее ча­сто используемые методы синхронизации и связи — это семафоры и почтовые ящи­ки, которые в разных операционных системах реализуются по-разному.

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

6