¿Por qué el código con canal y mutex no funcionará (cuál es la causa del deadlock)?