Come modificare il semaforo Acquire/Lock in modo che l'attesa possa essere annullata o limitata nel tempo?