Primera página Regresar Siguiente Última página Resumen Imagen

# Modificaciones para comportamiento conservador

- ## Deadlock: se crea un nuevo tipo de evento, al que llamamos evento nulo.

- ## Cada vez que un objeto va a procesar un evento, envía un evento nulo con el tiempo del evento que va a procesar más su lookahead a todos sus posibles destinos.

- ## Si en la cola de salida hay un mensaje nulo con igual timestamp y destino que un evento común, se aniquila al evento nulo.

- ## Finalización de una simulación

- ## Cuando circula el mensaje de tipo CheckIdleMsg por los objetos de la simulación, se asumirá que un objeto está ocioso cuando:

- ## No está simulando evento alguno y

- ## No tiene eventos que no sean nulos sin procesar en su cola de entrada