Bounded buffer com notifyAll: o notifyAll é mesmo necessário?

[Francisco Reverbel <reverbel@xxxxxxxxxx>]

Na última aula vimos uma implementação de bounded buffer que usava
notifyAll (e portanto tinha nos problemas de desempenho decorrentes do
uso de notifyAll) e depois escrevemos uma segunda implementação de
bounded buffer, que não usava notifyAll mas era completamente diferente
da primeira.

Depois da aula um aluno me fez uma pergunta muito relevante: a gente
precisava mesmo ter tido tanto trabalho só para se livrar do notifyAll?
Se simplesmente trocássemos as duas chamadas a notifyAll na primeira
implementação por chamadas a notify, a classe resultante não estaria
correta?

Para referência, esta é a implementação de bounded buffer com notifyAll:
http://www.ime.usp.br/~reverbel/mac438-06/java-src/BoundedBufferWithStateTracking.java

No caso geral, não dá nem para pensar em sair trocando chamadas a
notifyAll por chamadas a notify. Neste caso particular, entretanto, isso
parece fazer sentido. Apesar do conjunto de espera manipulado pelas
operações  wait/notify/notifyAll ser usado por duas condições distintas
("há dado no buffer" e "há espaço no buffer"), a espera por essas
condições não deve ser simultânea (ou se espera por dado, ou se espera
por espaço). Já que se está esperando por dado ou por espaço, por que
não usar um notify simples em vez de notifyAll? Dessa forma se acordaria
apenas uma das threads esperando por dado (no caso da notificação gerada
pelo método put) ou uma das threads que estão esperando por espaço (no
caso da notificação gerada pelo método take)?

O raciocínio acima é válido ou não? Em outras palavras, é ou não correta
a classe

http://www.ime.usp.br/~reverbel/mac438-06/java-src/BoundedBufferWithStateTracking2.java

obtida a partir da primeira implementação de bounded buffer pela simples
troca de notifyAll por notify? 

Discutiremos essa questão na próxima aula. (Não percam essa aula, pois a
questão é importante e, até onde eu sei, não é tratada em livro algum.)
O assunto mais geral subjacente é o do compartilhamento de um mesmo
conjunto de espera entre condições logicamente distintas. Para a nossa
discussão ser mais interessante e produtiva, gostaria que todos vocês
pensassem na questão antes da aula e tivessem sua própria resposta. 

Pensem bem... A resposta não é óbvia!

Reverbel