No, lo que pasa en ese caso es que no entra ninguno. En el primer while deberían verificar que no haya otro proceso con la bandera levantada y como habría más de uno pero no es el turno de ninguno de ellos quedarían esperando su turno. Al generalizar hay que agregar un chequeo de que si el turno no es de ninguno de los que tiene la bandera levantada el turno debería pasarse a alguno de ellos.