Операционные системы - стр. 11
2.1 Процессы
В многозадачной системе процессор переключается между программами, предоставляя каждой от десятков до сотен миллисекунд. В каждый конкретный момент времени процессор работает только с одной программой, создавая иллюзию параллельной работы, т.е. псевдопараллелизм [14]. Настоящая параллельная работа присутствует в многопроцессорных и многоядерных системах, таких как Core 2 Duo. Следить за работой параллельно идущих процессов достаточно трудно, поэтому со временем разработчики операционных систем создали концептуальную модель последовательных процессов, упрощающую эту работу.
В этой модели все функционирующее на компьютере программное обеспечение организовано в виде набора последовательных процессов. С позиции модели у каждого процесса есть собственный виртуальный центральный процессор. На рисунке 10, а представлена схема компьютера, работающего с 4 программами. На рисунке 10, б представлены 4 процесса каждый со своим логическим счетчиком команд, идущие независимо друг от друга. На самом деле существует только один физический счетчик команд, который загружается и сохраняется при переключении процессов. На рисунке 10, в видно, что за достаточно большой промежуток времени изменилось состояние всех 4 процессов.
Поскольку процессор переключается между программами, скорость, с которой процессор производит свои вычисления, будет непостоянной и, возможно, даже будет отличной при каждом новом запуске программы.
Существует четыре основных события, приводящие к созданию процессов:
• инициализация системы;
• выполнение изданного работающим процессом системного запроса на создание процесса;
• запрос пользователя на создание процесса;
• инициирование пакетного задания.
Программист для создания процесса в UNIX должен вызвать комбинацию из двух функций fork и execve, а в Windows – CreateProcess [12].
Процесс может завершиться благодаря одному из следующих действий:
• обычный выход (преднамеренно);
• выход по ошибке (преднамеренно);
• выход по неисправимой ошибке (непреднамеренно);
• уничтожение другим процессом (непреднамеренно).
Для завершения процесса программист в UNIX должен вызвать системный запрос kill, соответствующая функция в Win32 API – TerminateProcess.
Основным отличием структуры процессов в Windows и UNIX является связь между родительским и дочерним процессами. Так в UNIX существует иерархия процессов, а в Windows все процессы равноправны. Единственное, в чем проявляется что-то вроде иерархии процессов в Windows – создание процесса, в котором родительский процесс получает специальный маркер (так называемый дескриптор), позволяющий контролировать дочерний процесс. Но маркер можно передать другому процессу, нарушая иерархию.
Рисунок 10 – 4 программы в многозадачном режиме (а); модель 4 независимых последовательных процессов (б); в каждый момент времени активна только одна программа (в)
Процесс может находиться в 3 возможных состояниях (Рисунок 11):
• работающий (в конкретный момент времени использующий процессор);
• готовый к работе (процесс временно приостановлен, чтобы позволить выполняться другому процессу);
• заблокированный (процесс не может быть запущен прежде, чем произойдёт некое внешнее событие).
Рисунок 11 – Процесс может находиться в рабочем, готовом и заблокированном состоянии