Esa solución dice específicamente que no da prioridad ni a los lectores ni a los escritores. Es intencional que los escritores despiertan con prioridad a los lectores si hay alguno esperando para dejarles lugar. Y lo mismo al revés hacen los lectores. Esa condición en el IF que comentás es por la misma idea de que cada proceso trata de darle prioridad al otro.
El problema de los lectores-escritores está bien resuelto siempre que no se mezclen los lectores con los escritores y no haya más de un escritor a la vez. Las prioridades son un agregado pero no son parte del problema en sí.
Saludos