Protocolo de Time Warp (D. Jefferson)

Los métodos optimistas no evitan errores de causalidad sino que los detectan y recuperan. En contraste con los mecanismos conservadores, no precisan determinar cuándo es seguro proceder, sino que detectan un error e invocan un procedimiento de recuperación (rollback).
No existe el concepto de canal entre dos procesos (no es preciso conocer el grafo de comunicación entre objetos).
Cada proceso lógico posee, además de su reloj local y su estado interno, una cola de entrada, una cola de salida de mensajes y una cola de estados.
La cola de entrada contiene todos los mensajes arribados en orden creciente de timestamp.
La cola de salida contiene copias negativas de los mensajes que el proceso ha enviado recientemente (antimensajes), almacenadas por el orden de su tiempo virtual de envío.
En la cola de estados se almacenan las copias de los estados recientes en que estuvo el proceso. Debe haber al menos un estado almacenado que sea menor que el tiempo virtual global (GVT).

Los métodos optimistas no evitan errores de causalidad sino que los detectan y recuperan. En contraste con los mecanismos conservadores, no precisan determinar cuándo es seguro proceder, sino que detectan un error e invocan un procedimiento de recuperación (rollback).