Estou acostumado a programar usando esse while em problemas que envolvem sincronização de threds
pois é assim que as API's geralmente pedem para fazer, mas nunca me questionei o por quê de ser assim. Estou fazendo um curso de sistemas operacionais para rever os conceitos que aprendi na universidade e me deparei com esta dúvida.
Este breve vídeo (em inglês) fala sobre exclusão mútua e o clássico produtor-consumidor.
Nele, a professora diz que o consumidor deve esperar em um loop while (condição)
até que ele seja notificado por um produtor. Por quê não utilizar um simples if
ao invés de um while
?
O problema abordado no vídeo é o seguinte: Os produtores (threads concorrentes) adicionam valores na lista e quando esta lista enche, o consimidor é notificado. O consimidor deve então exibir o conteúdo da lista e depois limpá-la.
No vídeo, ela diz também que a implementação do wait
deve fazer um unlock
no mutex
m e logo depois fazer um lock
novamente. Não entendi a necessidade desse unlock/lock
dentro do wait.
Alguém pode me esclarecer estas duas dúvidas? Se possível, exemplificar em C.