Protocolo conservador de simulación de eventos discretos distribuida (J. Misra)

Los protocolos de simulación conservadores evitan la posibilidad de que ocurran errores de causalidad. Logran esto mediante el uso de una estrategia que les permite procesar un evento sólo cuando es seguro hacerlo.
Un PL puede procesar un evento (cambio de estado) sólo cuando tiene todos sus canales de entrada completos. En ese caso, el proceso lógico extrae el evento con menor timestamp de los canales de entrada y lo procesa.
Pueden ocurrir deadlocks (abrazo mortal), en cuyo caso la simulación queda bloqueada y no puede finalizar.
Para evitar el abrazo mortal, se define un nuevo tipo de mensaje en la simulación: mensaje nulo.
Cuando el PLi envía un mensaje (t,null) al PLj, le está diciendo que el próximo mensaje que le enviará tendrá un timestamp de, al menos, t.
Para este fin cada PL utiliza su precálculo (lookahead), que es el conocimiento acerca de cuánto demora en procesar un evento.

Los protocolos de simulación conservadores evitan la posibilidad de que ocurran errores de causalidad. Logran esto mediante el uso de una estrategia que les permite procesar un evento sólo cuando es seguro hacerlo.