lab 04 senza synchronized senza deadlock