Kernel de simulación Warped

• Detección de terminación de una simulación:

• Warped utiliza un tipo especial de mensaje, llamado CheckIdleMsg.

• Estos mensajes circulan por todos los procesos lógicos para determinar si hay uno de ellos que no esté ocioso.

• Cuando un proceso lógico recibe este mensaje, reenvía el mismo al proceso lógico con id inmediatamente superior (o al de id 0 si él es el último proceso lógico), en caso de que se encuentre ocioso. En caso contrario, reenvía el mensaje al proceso lógico 0 con el campo idle = false.

• Cuando este evento haya circulado por todos los objetos de la simulación y no haya sufrido modificación en su campo iddle, notará que todos los objetos de la simulación están ociosos, por lo que se podrá finalizar en forma correcta y segura la simulación.