Здравствуйте, DTF, Вы писали:
DTF>Вопрос: DTF>Есть ли гарантия, что поток-поставщик получит лок во второй раз строго после того, как все, DTF>кто ожидал во время нотификации получили эту нотификацию и проверили свои предикаты?
Нет. Ничто не мешает, например, пробуждать не первый тред в очереди, а последний. Более того, это разумно с точки зрения оптимизации кэширования: лучше пусть немного задач будет постоянно работать, а остальные посидят в глубокой спячке, чем если их 100500 будет пробуждаться каждая на короткое время.
DTF>Если нет, то как можно сделать такую упорядоченность?