Ottimizzato codice, cavato ReleaseLock