TigerBeetle, una base de datos distribuida que emplea el protocolo de replicación Viewstamped Replication (VSR), ha incorporado a su metodología de pruebas un simulador determinista con conciencia de protocolo (protocol-aware DST). Esta aproximación permite verificar invariantes de seguridad y vivacidad no solo desde la API externa, como hacen herramientas como Jepsen o hipervisores deterministas como Antithesis, sino también desde el interior del sistema, examinando el estado de cada réplica en los niveles de consenso y almacenamiento.
El artículo explica los fundamentos: en un sistema distribuido basado en consenso, la seguridad implica que las réplicas no diverjan (acuerdo), mientras que la vivacidad exige que el sistema siga respondiendo mientras exista una mayoría de nodos activos. TigerBeetle garantiza, además de determinismo lógico —código sin concurrencia en el plano de control—, determinismo físico: las réplicas convergen a un estado idéntico byte a byte, lo que facilita la simulación determinista de pruebas (DST).
Su herramienta VOPR reemplaza las interacciones no deterministas (red, disco, tiempo real) por versiones controladas, permitiendo ejecutar la base de datos completa en un único proceso y explorar en minutos escenarios que en producción tardarían meses. Gracias a la conciencia de protocolo, el simulador puede formular preguntas profundas sobre el estado interno de cada réplica, detectando interleavings sutiles donde se esconden errores difíciles de reproducir. Esto acelera tanto la detección como la depuración de fallos en infraestructura crítica, especialmente relevante para aplicaciones financieras construidas sobre TigerBeetle, que dependen de garantías estrictas de serializabilidad.