Объясните плз, почему TEventFlag.Wait() работает по-разному (очищает флаг или нет) в зависимости от того взведен флаг на момент запроса или нет? Я для себя никаких плюсов этого не вижу, а сумятицу в голову (в мою конкретно) вносит. Насколько понял, это сделано для множественной побудки, т.е. если в ожидании уснули вдвоем, то оба и проснутся. Но кто же должен тогда очистить флаг? Оба сразу? А если один из проснувшихся (первый) хочет инициировать новую операцию с новым ожиданием флага, а второй потом проснется и без разбора очистит флаг?

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

Нет, флаг чистится всегда если есть хоть один ждущий процесс. Будятся все ждущие процессы и чистится флаг.
Должен быть очищен. В момент выхода из wait() он может быть уже снова взведен, но в момент пробуждения ждущего процесса он очищается.

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

Что-то я не пойму.

Вот код из ветки https://scmrtos.svn.sourceforge.net/svnroot...os/trunk/Common, 268 revision:


В ветке else я не вижу очистки флага. Да и вопрос возник-то из практики: думал, что флаг сбрасывается всегда, написал некий код, запускаю - то работает, то нет. Оказалось, что флаг иногда остается взведенным.



Да в общем и целом, конечно понятно. А как разбуженные узнают, кто из них сейчас самый приоритетный ИЗ ОЖИДАЮЩИХ? Ведь самый-самый мог сейчас события и не ждать. Но мой вопрос даже не в том "почему сделано так, а не эдак", а как имея данный механизм корректно вручную из процесса флаг сбрасывать? И почему не сделали сброс внутри wait()? Ведь сам факт побудки процесса с результатом true уже говорит о том, что событие произошло! Зачем мне после выхода еще анализировать что-то и сбрасывать флаг?
Конечно, в самом простом случае, когда один сигналит, а другой ждет, можно тупо всегда после wait() делать сброс, но тогда небольшой оверхед получим.

Посмотрел внимательнее и понял, что флаг не взводится если его уже ждут процессы. А у меня он видимо все-же не "оставался взведенным", а уже сигналил повторно. Думаю, вопрос закрыт...