Методические указания к лабораторной работе № 2
"Разработка программы, организующей выполнение нескольких процессов или потоков"
по дисциплине
Системное и прикладное программное обеспечение
Направление подготовки: 010400 «Прикладная математика и информатика»
Профиль подготовки: 010400 «Прикладная математика и информатика»
Квалификация выпускника: бакалавр прикладной математики и информатики
Форма обучения: очная
Тула 2011 г.
М1 2 Сентября 11
етодические указания к лабораторной
работе составлены доц. С.А. Скобельцыным
и обсуждены на заседании кафедры
прикладной математики и информатики
механико-математического факультета
протокол №___ от "___"____________ 20___ г.
Зав. кафедрой ________________ В.И. Иванов
Методические указания к лабораторной работе пересмотрены и утверждены на заседании кафедры прикладной математики и информатики механико-математического факультета
протокол №___ от "___"____________ 20___ г.
Зав. кафедрой ________________ В.И. Иванов
1. Цель и задачи работы
Освоить средства и приемы организации выполнения нескольких процессов или потоков в программе, работающей в среде Windows XP.
2. Общие положения (теоретические сведения)
Одной из основополагающих концепций, помогающих понять структуру операционных систем, является концепция процессов. Этот термин впервые был применен в 60-х годах разработчиками операционной системы Multics и с тех пор широко используется. Есть много определений термина "процесс", в том числе:
выполняющаяся программа;
экземпляр программы, выполняющейся на компьютере;
объект, который можно идентифицировать и выполнять на процессоре;
единица активности, которую можно охарактеризовать единой цепочкой последовательных действий, текущим состоянием и связанным с ней набором системных ресурсов.
В процессе развития компьютерных систем при решении проблем, связанных с распределением времени и синхронизацией, был сделан определенный вклад в развитие концепции процесса: разработаны системы групповой обработки нескольких программ, разделения времени и транзакций в реальном времени. Как мы уже могли убедиться, многозадачный режим дает возможность процессору и устройствам ввода-вывода работать одновременно, повышая тем самым эффективность использования компьютерной системы. При этом используется механизм, принцип работы которого заключается в следующем: в ответ на сигналы, свидетельствующие о завершении транзакций ввода-вывода, процессор переключается с одной программы на другую (при условии, что в оперативную память одновременно загружено несколько программ).
Другим направлением развития являются системы разделения времени. Основная цель их разработки - удовлетворение потребностей каждого пользователя при условии их одновременной работы. В этих системах используется тот факт, что пользователь реагирует на события намного медленнее, чем компьютер. К примеру, если потребность пользователя во времени процессора для обработки его действий в среднем составляет 2 с в течение 1 мин, то одной и той же системой, не мешая друг другу, могут пользоваться до 30 пользователей. Конечно же, в таких расчетах нужно учитывать время, которое требуется для работы самой операционной системы.
Еще одним важным направлением развития являются системы обработки транзакций в реальном времени. При работе таких систем некоторое число пользователей отправляют запросы в базу данных или вносят в нее изменения. Пример - система бронирования авиабилетов. Основное различие между системой обработки транзакций и системой разделения времени состоит в том, что в первой из них выполняются одно-два приложения, в то время как пользователи системы с разделением времени могут заниматься разработкой программ, запускать их и пользоваться многими различными приложениями. В обоих случаях ключевым фактором является время отклика системы.
Прерывание было важным инструментом, который стал доступен системным программистам еще на ранних стадиях развития многозадачных и многопользовательских интерактивных систем. Выполнение любого задания может быть прервано при наступлении определенного события, например завершения ввода-вывода. При этом процессор должен сохранить определенную информацию (такую, как содержимое программного счетчика, общих и системных регистров) и переключиться на выполнение программы обработки прерываний, которая выясняет природу прерывания, обрабатывает его, а затем возобновляет исполнение одного из заданий.
Устройство системного программного обеспечения, координирующего подобные процессы, оказалось очень сложным. При одновременной обработке многих заданий, каждое из которых включает в себя длинную последовательность действий, нельзя проанализировать все возможные комбинации последовательностей событий. Ввиду отсутствия систематических средств обеспечения координации и взаимодействия разных видов деятельности систем программисты обратились к специальным методам, основанным на представлении о той среде, работу которой должна контролировать операционная система. При этом они подвергались риску допустить трудноуловимые ошибки, которые проявляются только в очень редких случаях, при выполнении определенных последовательностей событий. Такие ошибки трудно обнаружить, потому что их нужно отличить от ошибок в приложениях и ошибок, возникающих при сбоях аппаратного обеспечения. Еще одной особенностью, затрудняющей определение причины этих ошибок (когда они обнаружены), является то, что воспроизвести точные условия, в которых эти ошибки проявляются, крайне трудно. Ниже перечислены основные причины подобных ошибок [DENN80a].
Неправильная синхронизация. Часто случается так, что программа должна приостановить свою работу и ожидать наступления какого-то события в системе. Например, программа, которая начала операцию ввода-вывода, не сможет продолжать работу, пока в буфере не будут доступны необходимые ей данные. В этом случае требуется передача сигнала от какой-то другой программы. Недостаточная надежность сигнального механизма может привести к тому, что сигнал будет потерян или что будет получено два таких сигнала.
Сбой взаимного исключения. Часто один и тот же совместно используемый ресурс одновременно пытаются использовать несколько пользователей или несколько программ. Например, в системе бронирования авиабилетов два пользователя могут запросить доступ к базе данных и при наличии свободных мест изменить ее, забронировав билеты. Если этот доступ не контролируется должным образом, возможно возникновение ошибок. Для корректной работы требуется некоторый механизм взаимного исключения, позволяющий в каждый момент времени выполнять транзакцию только одной программе. Правильность реализации такого взаимного исключения при всех возможных последовательностях событий крайне трудно проверить.
Недетерминированное поведение программы. Результат работы каждой программы обычно должен зависеть только от ее ввода и не должен зависеть от работы других программ, выполняющихся в этой же системе. Однако в условиях совместного использования памяти и процессора программы могут влиять на работу друг друга, переписывая общие области памяти непредсказуемым образом. При этом результат работы программ может зависеть от порядка, в котором они выполняются.
Взаимоблокировки. Возможны ситуации, в которых две или большее число программ зависают, ожидая действий друг друга. Например, двум программам может понадобиться, чтобы устройства ввода-вывода выполнили некоторую операцию (например, копирование с диска на магнитную ленту). Одна из этих программ осуществляет управление одним из устройств, а другая - другим. Каждая из них ждет, пока другая программа освободит нужный ресурс. Выйти из такой тупиковой ситуации может помочь система распределения ресурсов.
Для решения перечисленных проблем нужен систематический метод, основанный на слежении за различными выполняющимися процессором программами и управлении ими. В основе такого метода лежит концепция процесса. Мысленно процесс можно разделить на три компонента.
Выполняющаяся программа.
Данные, нужные для ее работы (переменные, рабочее пространство, буферы и т.д.).
Контекст выполнения программы.
Последний элемент является очень важным. Контекст выполнения (execution context), или состояние процесса (process state), включает в себя всю информацию, нужную операционной системе для управления процессом, и процессору - для его выполнения. Данные, характеризующие это состояние, включают в себя содержимое различных регистров процессора, таких, как программный счетчик и регистры данных. Сюда же входит информация, использующаяся операционной системой, такая, как приоритет процесса и сведения о том, находится ли данный процесс в состоянии ожидания какого-то события, связанного с вводом-выводом.
На рис. 1 показан пример реализации процессов. Два процесса, А и В, находятся в различных областях основной памяти. Другими словами, каждому процессу отведен блок памяти, в котором содержатся код программы, данные и информация о состоянии процесса. Каждый процесс заносится в список процессов, который создается и поддерживается операционной системой. Часть этого списка, соответствующая определенному процессу, содержит указатель размещения этого процесса в памяти. Кроме того, сюда же частично или полностью может входить и информация о состоянии процесса. Остальные данные могут храниться в самом процессе. В регистре индекса процесса содержится индекс выполняющегося в текущий момент времени процесса, идентифицирующий его в списке процессов. Содержимое программного счетчика указывает на очередную инструкцию, которую нужно выполнить. Базовый и граничный регистры задают область памяти, занимаемую процессом. В базовый регистр заносится адрес начальной ячейки этой области, а в граничный - ее размер (в байтах или словах).
Схема взаимодействия процессов
Содержимое программного счетчика и всех ссылок на данные отсчитывается от значения базового регистра; по своей величине эти ссылки не могут превосходить значение граничного регистра (что защищает процессы от воздействия друг на друга).
Регистр индекса процесса, изображенный на рис. 1, указывает, что выполняется процесс В. До этого выполнялся процесс А, но он временно прерван. Содержимое всех регистров в момент прекращения этого процесса записано в виде данных о состоянии процесса. Впоследствии операционная система сможет вернуться к выполнению процесса А; при этом будет сохранен контекст выполнения процесса В и восстановлен контекст выполнения процесса А. Когда в программный счетчик загружается значение, указывающее на область кода программы процесса А, автоматически возобновляется выполнение этого процесса.
Таким образом, процесс реализуется в виде структуры данных. Он может выполняться или находиться в состоянии ожидания. Состояние процесса в каждый момент времени заносится в специально отведенную область данных. Использование структуры позволяет развивать мощные методы координации и взаимодействия процессов. В рамках операционной системы на основе данных о состоянии процесса путем их расширения и добавления в них дополнительной информации о процессе можно разрабатывать новые возможности операционных систем. При чтении книги нам встретится множество примеров использования описанной структуры в решении задач, возникающих при разработке многозадачных и многопользовательских операционных систем.
3. Объекты исследования, оборудование, материалы и наглядные пособия
Объект исследования – средства и приемы организации выполнения нескольких процессов или потоков в программе, работающей в среде Windows XP
В качестве оборудования используются персональные компьютеры учебных классов кафедры ПМиИ (ауд. 12-207, 12-209, 12-211).
В качестве операционной системы используется операционная система MS Windows XP SP2.
Среда разработки/выполнения: консольный и графические интерфейсы операционной системы, среда разработки "Microsoft Visual Studio 8", текстовый редактор.
Средства ввода: клавиатура или текстовый файл.
Средства ввода: экран ПК или текстовый файл.
4. Задание на работу (рабочее задание)
В среде операционной системы Windows XP с использованием консольного (графического) интерфейса операционной системы разработать и проверить программу, формирующую при выполнении несколько процессов или потоков.
5. Ход работы (порядок выполнения работы)
В среде операционной системы Windows XP с использованием консольного (графического) интерфейса операционной системы разработать и проверить программу, формирующую при выполнении несколько процессов или потоков.
Для всех задач и используемых нетривиальных процедур/функций разработать контрольные программы/примеры, результаты выполнения которых очевидны или легко проверяются.
Сохранить результаты работы (протоколы решения основных и контрольных задач) в текстовом файле или в документе Word.
Составить отчет о выполнении работы.
6. Содержание отчета
Отчет должен содержать:
Титульный лист;
Формулировку цели и задач работы;
Индивидуальное задание на работу
Описание использованных программных и аппаратных средств для выполнения работы;
Описание хода работы с указанием этапов и пояснениями используемых решений (методов, программ, процедур, библиотек);
Список использованных источников.
7. Список библиографических источников
Таненбаум, Э. Современные Системное и прикладное программное обеспечение / Э. Таненбаум.– М., СПб.: Питер, 2006.– 1038 с.
Гордеев, А.В. Системное и прикладное программное обеспечение / А.В. Гордеев.– М., СПб.: Питер, 2005.– 416 с.
Пфаффенбергер, Б. Linux: спец. справочник / Б. Пфаффенбергер.– СПб.: Питер, 2001.– 576 с.
Чекмарев, А.Н. Microsoft Windows Server 2003: наиболее полное руководство / А.Н. Чекмарев, А.В. Вишневский, О.И. Кокорева.– СПб.: БХВ-Петербург, 2007.– 1120 с.
Министерство образования и науки РФ
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тульский государственный университет»
Кафедра «Прикладной математики и информатики»