Come avviene il blocco nel tentativo di liberare un semaforo (leggere da un canale) se nel canale non ci sono elementi?