"На рис. 2.7 показан один из способов организации web-сервера. Один поток, называемый диспетчером, считывает приходящие по сети запросы. После этого он находит свободный(т.е. блокированный) рабочий поток и передает ему запрос, скажем,записывая указатель сообщения в специальное слово, связанное с каждым потоком."

"После активации рабочий поток проверяет возможность удовлетворения запроса в кэше web-сервера, к которому имеют доступ все потоки. В случае отрицательного ответа поток начинает операцию чтения read, чтобы считать страницу с диска, и блокируется до завершения этой операции"

malor (23.07.2007)

---

Что такое "указатель сообщения"?

malor (23.07.2007)

---

Что за "специальное слово"?

malor (23.07.2007)

---

Как он 'блокированный' занимается считыванием данных с диска?

Итак, мы рассмотрели два возможных варианта: web-сервер с одним потоком и несколькими потоками. Представьте себе, что многопоточная система невозможна, но хочется увеличить эффективность системы с одним потоком. Возможен третий вариант web-сервера в случае существования системного запроса read без блокировки. На сервер приходит запрос, его считывает и проверяет единственный поток. Если запрашиваемая web-страница есть в кэше - хорошо, если нет - запускается дисковая операция без блокировки.
Сервер записывает в таблицу текущее состояние запроса и переходит к следующему событию. Оно может быть как новым запросом, так и ответом предыдущей операции. В случае нового запроса он начинает обрабатываться, в противном случаесоответствующая информация считывается из таблицы и формируется ответ. В случае процедуры ввода-вывода с диска без блокировки ответ может иметь форму сигнала или прерывания.
При такой схеме модель "последовательных процессов" которая была справедлива в первых ситуациях, не действует. Состояние программы должно явно сохраняться и восстанавливаться в таблице каждый раз, когда сервер переключается между запросами. Фактически мы имитируем потоки и стеки, причем не самым простым способом. Такая модель, в которой каждому расчету соответствует сохраненное состояние и есть несколько событий, кроторые могут изменить это состояние, называется машиной с конечным числом состояний или конечным автоматом. Эта модель широко используется в программировании.

malor (28.07.2007)

---

Что за "расчеты"? Что за "несколько событий"?

Когда время, отведенное текущему запросу, заканчивается, физический счетчик команда сохраняется в логическом счетчике команд процесса в памяти

Когда на UNIX работает X Window, новый процесс получает то окно, в котором был запущен.

После выполнения запроса fork двум процессам - родительскому и дочернему - соответствуют одинаковые образы памяти, строки окружения и одни и те же открытые файлы. Обычно дочерний процесс выполняет системный вызов execve(или похожий) для изменения своего образа памяти и запуска новой программы. Так, когда пользователь наберет на клавиатуре команду sort, оболочка создаст путем ветвления дочерний процесс, который и выполняет программу sort. Смысл этого двухступенчатого процесса заключается в том, что дочерний процесс успевает обработать описания файлов после fork, но до execve,
чтобы выполнить перенаправление стандартных устройств ввода и вывода и потока сообщений об ошибках