Hacker News Front Page · Yusuke Tanaka ·
Deterministic simulation testing in celld: exploring execution orders and reproducing bugs
celld utiliza deterministic simulation testing para explorar distintos órdenes de solicitudes, tareas, fallos de almacenamiento y avances del tiempo, mientras ejecuta el código de producción y comprueba invariantes. El simulador encontró una carrera en la que la limpieza retrasada de una alarma antigua podía eliminar la entrada de activación que necesitaba una alarma nueva, aunque esta ya se hubiera confirmado al cliente. El equipo reprodujo el fallo con la misma semilla, rediseñó las entradas de activación y convirtió la secuencia en una prueba de regresión que verifica la invariante durante toda la ejecución.
How celld controls time and execution order to find bugs with deterministic simulation testing, explained through interactive diagrams, pseudocode, and a race it discovered.