Correzioni varie, aggiornamento delle strutture per semafori e code di