Hola,
No es como decís, ahí tiene que ir primero el hilo 2. "La prioridad está definida por el tiempo de cómputo restante (más tiempo, más prioridad) y luego por menor identificador, es decir..." y después más abajo dice "En todos los casos, los empates se resuelven con el mismo criterio que la prioridad."
No es como decís, ahí tiene que ir primero el hilo 2. "La prioridad está definida por el tiempo de cómputo restante (más tiempo, más prioridad) y luego por menor identificador, es decir..." y después más abajo dice "En todos los casos, los empates se resuelven con el mismo criterio que la prioridad."
Dado que el hilo 2 tiene más tiempo de cómputo que el hilo 1 el empate al iniciar se resuelve de esta manera.
Saludos!