Использование двоичного семафора как Mutex - это голодание бесплатно?

Question

Рассмотрим следующее использование:

Shared data: semaphore lock; // initially lock = 1 
... 
down(lock); 
CRITICAL SECTION 
up(lock); 

делает этот код удовлетворяет свободу голодание (т.е. если процесс ожидает, чтобы попасть внутрь КС, это удастся в конце концов)?

Answer 1

Это действительно зависит от политики, используемой при выборе потока, когда несколько потоков ждут down(lock).

например.

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

Например, подсчет Java Semaphore при создании может быть настроен как «справедливый» или нет. Здесь «справедливость» относится к тому факту, что ожидающие потоки будут помещены в FIFO, так что сначала будут выполняться нити, ожидающие наибольшего времени.