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

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

Э.Таненбаум "Современные операционные системы" 2-е издание, Питер, 2006.
Стр.113:Что такое "указатель сообщения"? Что за "специальное слово"?

Э.Таненбаум "Современные операционные системы" 2-е издание, Питер, 2006.
Стр.114:Как он 'блокированный' занимается считыванием данных с диска?

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