pthread_cond_signal и возможное голодание потока

Question

Если более чем один поток ожидает переменную условия, каков порядок пробуждения для pthread_cond_signal.Я читал, что pthread_cond_signal не обязательно просыпаться в порядке сна.Так что это может вызвать голод ... не так ли?

Спасибо

Answer 1

Это определяется политикой планирования, которая должна быть справедливой.

Если потоки не испытывают недостатка в расписании - они тоже не должны этого делать.

Из spec :

Если для переменной условия заблокировано более одного потока, политика планирования определяет порядок, в котором потоки разблокированы.

Answer 2

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

Answer 3

Этот вопрос предполагает злоупотребление условной переменной. Использование условной переменной служит для предупреждения потока о возникновении условия. Когда вы активируете только один поток, это должно быть потому, что любой поток может обслуживать условие. Если вам важно, какой поток просыпается, то это не тот случай, когда какой-либо поток может обслуживать условие.

Хотя вы, вероятно, получите то, что вы хотите в большинстве реализаций, возможно, есть лучший способ сделать то, что вы пытаетесь сделать.