Por que o código com canal e mutex não funcionará (qual é a causa do deadlock)?