celld usa simulación determinista para cazar un bug de alarmas en Cloudflare Workers
Deterministic Simulation Testing in Celld
celld, el runtime para Cloudflare Workers y Durable Objects, emplea simulación determinista para reproducir bugs difíciles. El simulador controla el orden de eventos, tareas asíncronas y fallos de almacenamiento. Así descubrió una condición de carrera: una tarea de limpieza eliminaba una wake entry necesaria para una alarma reprogramada, impidiendo que se ejecutara tras un reinicio. Ya corrigieron el diseño y añadieron una prueba de regresión.
En esta ejecución, tanto eliminar la alarma de las 10:00 como establecer la nueva alarma de las 10:05 devolvieron éxito mientras la limpieza antigua esperaba. Cuando el simulador finalmente avanzó esa limpieza, eliminó la wake entry de las 10:00 que la nueva alarma aún necesitaba.