40 64-byte messages were placed on queue, 2560 bytes total 32 128-byte messages were placed on queue, 4096 bytes total 16 256-byte messages were placed on queue, 4096 bytes total 8 512-byte messages were placed on queue, 4096 bytes total 4 1024-byte messages were placed on queue, 4096 bytes total 2 2048-byte messages were placed on queue. 4096 bytes total 50 identifiers open at once

alpha X limits

maximum amount of data per message = 8192 40 8-byte messages were placed on queue, 320 bytes total 40 16-byte messages were placed on queue. 640 bytes total 40 32-byte messages were placed on queue. 1280 bytes total 40 64-byte messages were placed on queue. 2560 bytes total 40 128-byte messages were placed on queue. 5120 bytes total 40 256-byte messages were placed on queue, 10240 bytes total 32 512-byte messages were placed on queue. 16384 bytes total 16 1024-byte messages were placed on queue, 16384 bytes total 8 2048-byte messages were placed on queue, 16384 bytes total 4 4096-byte messages were placed on queue, 16384 bytes total 2 8192-byte messages were placed on queue, 16384 bytes total 63 identifiers at once

Причина, no которой в Digital Unix 4.0B получился результат 63 идентификатора, a не 64, как в табл. 6.2, заключается в том, что один идентификатор всегда используется системным демоном.

6.11. Резюме

Очереди сообщений System V аналогичны очередям сообщений Posix. При создании новых приложений следует рассмотреть возможность использования очередей сообщений Posix, но большое количество существующих программ использует очереди сообщений System V. Тем не менее переписать их для использования очередей Posix вместо очередей System V не должно быть слишком сложно. Главный недостаток очередей Posix заключается в невозможности считывания сообщений с произвольным приоритетом. Ни один из типов очередей не использует обычные дескрипторы, что делает сложным применение функций select и poll для очередей сообщений.

Упражнения

1. Почему на рис. 6.2 для сообщений, передаваемых серверу, используется тип 1 ?

2. Что произойдет с программой с рис. 6.2, если злоумышленник отправит на сервер множество сообщений, но не будет считывать ответы? Что в такой же ситуации произойдет с программой с рис. 6.3?

3. Переделайте реализацию очередей сообщений Posix из раздела 5.8 для использования очередей сообщений System V вместо отображения в память.

ЧАСТЬ 3

СИНХРОНИЗАЦИЯ

ГЛАВА 7

Взаимные исключения и условные переменные

7.1. Введение

Эта глава начинается с обсуждения синхронизации - принципов синхронизации действий нескольких программных потоков или процессов. Обычно это требуется для предоставления нескольким потокам или процессам совместного доступа к данным. Взаимные исключения (mntnal exclnsion - mntex) и условные переменные (conditional variables) являются основными средствами синхронизации.

Взаимные исключения и условные переменные появились в стандарте Posix.l для программных потоков, и всегда могут быть использованы для синхронизации отдельных потоков одного процесса. Стандарт Posix также разрешает использовать взаимное исключение или условную переменную и для синхронизации нескольких процессов, если это исключение или переменная хранится в области памяти, совместно используемой процессами.

ПРИМЕЧАНИЕ -

Эта возможность является дополнительной согласно Posix, но обязательной в Unix 98 (см. табл. 1.3).

В этой главе мы разберем тспассическую схему производитель-потребитель, используя взаимные исключения и условные переменные. В примере будут использоваться программные потоки, а не процессы, поскольку предоставить потокам общий буфер данных, предполагаемый в этой задаче, легко, а вот создать буфер данных между процессами можно только с помощью одной из форм разделяемой памяти (которая будет описана только в четвертой части книги). Еще одно решение этой задачи, уже с использованием семафоров, появится в главе 10.

7.2. Взаимные исключения: установка и снятие блокировки

Взаимное исключение (mutex) является простейшей формой синхронизации. Оно используется для защиты критической области (critical region), предотвращая одновременное выполнение участка кода несколькими потоками (если взаимное исключение используется потоками) или процессами (если взаимное исключение