Como ocorre o bloqueio ao tentar libertar um semáforo (ler de um canal), se não houver elementos no canal?