Counter dla waiting_queue, poprawiona synchronizacja waiting flag