{
поднять приоритет работы процессора таким образом, чтобы заблокировать все прерывания;
перевести процесс в состояние приостанова;
включить процесс в хеш-очередь приостановленных процессов, базирующуюся на адресах приостанова;
сохранить адрес приостанова в таблице процессов;
сделать ввод для процесса приоритетным;
if (приостанов процесса НЕ допускает прерываний) {
выполнить переключение контекста;
/* с этого места процесс возобновляет выполнение, когда «пробуждается» */
снизить приоритет работы процессора так, чтобы вновь разрешить прерывания (как было до приостанова процесса);
return (0);
}
/* приостанов процесса принимает прерывания, вызванные сигналами */
if (к процессу не имеет отношения ни один из сигналов) {
выполнить переключение контекста;
/* с этого места процесс возобновляет выполнение, когда «пробуждается» */
if (к процессу не имеет отношения ни один из сигналов) {
восстановить приоритет работы процессора таким, каким он был в момент приостанова процесса;
return (0);
}
}
удалить процесс из хеш-очереди приостановленных процессов, если он все еще находится там;
восстановить приоритет работы процессора таким, каким он был в момент приостанова процесса;
if (приоритет приостановленного процесса позволяет принимать сигналы) return (1);
запустить алгоритм longjump;
}
Рисунок 6.31. Алгоритм приостанова процесса
На Рисунке 6.31 приведен алгоритм приостанова процесса. Сначала ядро повышает приоритет работы процессора так, чтобы заблокировать все прерывания, которые могли бы (путем создания конкуренции) помешать работе с очередями приостановленных процессов, и запоминает старый приоритет, чтобы восстановить его, когда выполнение процесса будет возобновлено. Процесс получает пометку «приостановленного», адрес приостанова и приоритет запоминаются в таблице процессов, а процесс помещается в хеш-очередь приостановленных процессов. В простейшем случае (когда приостанов не допускает прерываний) процесс выполняет переключение контекста и благополучно «засыпает». Когда приостановленный процесс «пробуждается», ядро начинает планировать его запуск: процесс возвращает сохраненный в алгоритме sleep контекст, восстанавливает старый приоритет работы процессора (который был у него до начала выполнения алгоритма) и возвращает управление ядру.
алгоритм wakeup /* возобновление приостановленного процесса */
входная информация: адрес приостанова
выходная информация: отсутствует
{
повысить приоритет работы процессора таким образом, чтобы заблокировать все прерывания;
найти хеш-очередь приостановленных процессов с указанным адресом приостанова;
for (каждого процесса, приостановленного по указанному адресу) {
удалить процесс из хеш-очереди;
сделать пометку о том, что процесс находится в состоянии «готовности к запуску»;
включить процесс в список процессов, готовых к запуску (для планировщика процессов);
очистить поле, содержащее адрес приостанова, в записи таблицы процессов;
if (процесс не загружен в память)
возобновить выполнение программы подкачки (нулевой процесс);
else if (возобновляемый процесс более подходит для исполнения, чем ныне выполняющийся)
установить соответствующий флаг для планировщика;
}
восстановить первоначальный приоритет работы процессора;
}
Рисунок 6.32. Алгоритм возобновления приостановленного процесса
Чтобы возобновить выполнение приостановленных процессов, ядро обращается к алгоритму wakeup (Рисунок 6.32), причем делает это как во время исполнения алгоритмов реализации стандартных системных функций, так и в случае обработки прерываний. Алгоритм iput, например, освобождает заблокированный индекс и возобновляет выполнение всех процессов, ожидающих снятия блокировки. Точно так же и программа обработки прерываний от диска возобновляет выполнение процессов, ожидающих завершения ввода-вывода. В алгоритме wakeup ядро сначала повышает приоритет работы процессора, чтобы заблокировать прерывания. Затем для каждого процесса, приостановленного по указанному адресу, выполняются следующие действия: делается пометка в поле, описывающем состояние процесса, о том, что процесс готов к запуску; процесс удаляется из списка приостановленных процессов и помещается в список процессов, готовых к запуску; поле в записи таблицы процессов, содержащее адрес приостанова, очищается. Если возобновляемый процесс не загружен в память, ядро запускает процесс подкачки, обеспечивающий подкачку возобновляемого процесса в память (подразумевается система, в которой подкачка страниц по обращению не поддерживается); в противном случае, если возобновляемый процесс более подходит для исполнения, чем ныне выполняющийся, ядро устанавливает для планировщика специальный флаг, сообщающий о том, что процессу по возвращении в режим задачи следует пройти через алгоритм планирования (глава 8). Наконец, ядро восстанавливает первоначальный приоритет работы процессора. При этом на ядро не оказывается никакого давления: «пробуждение» (wakeup) процесса не вызывает его немедленного исполнения; благодаря «пробуждению», процесс становится только доступным для запуска.
Все, о чем говорилось выше, касается простейшего случая выполнения алгоритмов sleep и wakeup, поскольку предполагается, что процесс приостанавливается до наступления соответствующего события. Во многих случаях процессы приостанавливаются в ожидании событий, которые «должны» наступить, например, в ожидании освобождения ресурса (индексов или буферов) или в ожидании завершения ввода-вывода, связанного с диском. Уверенность процесса в неминуемом возобновлении основана на том, что подобные ресурсы могут быть предоставлены только во временное пользование. Тем не менее, иногда процесс может приостановиться в ожидании события, не будучи уверенным в неизбежном наступлении последнего, в таком случае у процесса должна быть возможность в любом случае вернуть себе управление и продолжить выполнение. В подобных ситуациях ядро немедленно нарушает «сон» приостановленного процесса, посылая ему сигнал. Более подробно о сигналах мы поговорим в следующей главе; здесь же примем допущение, что ядро может (выборочно) возобновлять приостановленные процессы по сигналу и что процесс может распознавать получаемые сигналы.