update tp 6, use 2 different semaphores