Este ensayo técnico analiza dos patrones de diseño aplicados en sistemas de software críticos: la asignación estática de memoria y el principio de trabajo constante. El autor parte de los riesgos de seguridad del par malloc/free, donde un use-after-free puede convertirse en confusión de tipos y permitir ejecución arbitraria de código. Como solución, propone pools de objetos segregados por tipo: aunque menos eficientes en memoria, eliminan la confusión de tipos y mejoran la localidad de caché, una técnica inspirada en Fil-C y útil siempre que se evite embeber enums dentro de los objetos.
A partir de ahí, el texto detalla dos trucos del estilo de programación de TigerBeetle. El primero, la asignación estática, fija en el arranque el número máximo de órdenes u objetos que el sistema gestionará; si llega una solicitud por encima del límite, se rechaza. Esto evita fallos catastróficos: el sistema arranca solo si hay memoria suficiente y degrada con elegancia bajo sobrecarga, en lugar de ser terminado por el OOM killer del kernel y perder millones de operaciones. El segundo, el trabajo constante, mantiene siempre el mismo número de objetos activos introduciendo un estado neutro o reservado. El autor explica ventajas cognitivas —forzar a razonar sobre transiciones de estado explícitas y exhaustivas— y de rendimiento: al iterar sobre el conjunto completo sin índices dispersos, el compilador vectoriza mejor y la latencia P100 se mantiene estable bajo carga.
El artículo cierra con un matiz: estos trucos son útiles en el arsenal de cualquier ingeniero, pero no solucionan todos los problemas de programación.