ReleaseMutex(thb->b_guard);
CloseHandle(thb->b_guard);
CloseHandle(thb->b_broadcast);
free(thb);
return 0;
}
Возможности реализованного выше объекта порогового барьера в интересах простоты были намеренно ограничены. Вообще говоря, было бы желательно эмулировать объекты Windows следующим образом:
• Разрешив объектам иметь атрибуты защиты (глава 15).
• Разрешив присвоение имен объектам.
• Допуская наличие у одного объекта нескольких "дескрипторов" и не уничтожая их до тех пор, пока счетчик ссылок не станет равным 0.
• Разрешив совместное использование объекта несколькими процессами.
На Web-сайте доступна полная реализация одного из таких объектов — сложного (multiple-wait) семафора, допускающего изменение счетчика семафора сразу на несколько единиц, которая использует методы, применимые по отношению к любому из объектов, рассматриваемых в данной главе.
До сих пор мы связывали с каждым мьютексом только одно событие, но в общем случае могут существовать несколько предикатов переменных условий. Например, в случае очереди, действующей по принципу "первым пришел, первым ушел" (first in first out, FIFO), поток, который пытается удалить элемент из очереди, должен дождаться события, указывающего на то, что очередь не является пустой, а поток, помещающий элемент в очередь, должен дождаться события, указывающего на то, что очередь не является заполненной. Решение заключается в предоставлении двух событий — по одному для каждого условия.
В программе 10.3 представлены необходимые объявления объекта очереди и его функций. В объявлениях намеренно применяется стиль, отличающийся от того, который принят в Windows и который мы использовали до сих пор. Эта программа была получена преобразованием ее первоначального варианта, реализованного в UNIX на основе потоков Pthreads, чем и объясняется происхождение использованного нами стиля. Точно так же и вы можете наследовать тот или иной стиль или определить собственный, который соответствует вашему вкусу или принятым в вашей организации требованиям. В упражнении 10.7 вам предлагается преобразовать приведенный стиль к стилю Windows.
Программы 10.4 и 10.5 представляют функции очереди и программу, которая их использует.
/* Объявления структуры обычной ограниченной синхронизированной очереди.*/
/* Очереди закольцованы и реализованы в виде массивов с индексацией */
/* последнего и первого сообщений. */
/* Кроме того, каждая очередь содержит защитный мьютекс и */
/* переменные условий "очередь не пуста" и "очередь не заполнена". */
/* Наконец, имеется указатель массива сообщений произвольного типа. */
typedef struct queue_tag { /* Универсальная очередь. */
HANDLE q_guard; /* Защита блока сообщения. */
HANDLE q_ne; /* Очередь не пуста. Вручную сбрасываемое событие. (Автоматически сбрасываемое событие для "сигнальной модели".) */
HANDLE q_nf; /* Очередь не заполнена. Вручную сбрасываемое событие. (Автоматически сбрасываемое событие для "сигнальной модели".) */
volatile DWORD q_size; /* Максимальный размер очереди. */
volatile DWORD q_first; /* Индекс первого сообщения. */
volatile DWORD q_last; /* Индекс последнего сообщения. */
volatile DWORD q_destroyed; /* Получатель сообщений очереди завершил выполнение. */
PVOID msg_array; /* Массив q_size сообщений. */
} queue_t;
/* Функции управления очередью. */
DWORD q_initialize(queue_t *, DWORD, DWORD);
DWORD q_destroy(queue_t *);
DWORD q_destroyed(queue_t *);
DWORD q_empty(queue_t *);
DWORD q_full(queue_t *);