Каково поведение pthread rwlock в этих обстоятельствах?

Question

Каково указанное поведение rwlock pthread, когда:

• Читатели читают,
• Писатель ожидает блокировки записи,
• Требуется блокировка чтения

Блокировка чтения разрешена или нет? Если да, есть ли способ запретить блокировку чтения до тех пор, пока не будет обслужен писатель?

Answer 1

Это один из недостатков всех интерфейсов блокировки POSIX: стандарт добровольно оставляет такое поведение открытым, чтобы допустить слабость в реализации.Если вы хотите написать переносимый код, вы не можете полагаться ни на что из этого.

Это делает реализацию и доказательства для алгоритмов без тупиков особенно утомительными.Это одна из причин, почему в недавней работе мы исследовали блокировки, которые навязывают более строгие правила, а именно политику FIFO для захвата блокировки.