11 noticias
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 perm
En programación concurrente conviven tres ideas distintas que conviene no mezclar: la cancelación síncrona, la cancelación asíncrona y el apagado graceful (graceful shutdown). La cancelación síncrona es una estructura de control, a menudo implícita. Desenrolla la pila al disparar una excepción o de
En una charla de 53 minutos y 59 segundos publicada en el canal de YouTube TigerBeetle, el ingeniero Gerard Holzmann presenta las denominadas reglas del poder del diez, un conjunto de directrices redactadas por él mismo en 2006 para escribir código destinado a sistemas críticos para la seguridad. El
El model checking de estados finitos —la verificación de sistemas mediante la exploración exhaustiva de todos sus estados posibles— ha sido técnicamente superado desde mediados de los años noventa por el model checking simbólico, capaz de manejar tamaños de modelo muy superiores. Sin embargo, sigue
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 vivac
Un asistente a la conferencia Systems Distributed 2026, celebrada en el Institute of Contemporary Art de Boston, relata su experiencia durante la charla final titulada Mission-Critical, impartida por Joran Dirk Greef, creador de TigerBeetle. Según el cronista, la presentación combinó definiciones ta
TigerBeetle es una base de datos especializada en libros mayores financieros escrita en Zig que prescinde de las técnicas habituales de escalado horizontal para centrarse en lo que sus creadores consideran el verdadero cuello de botella: el núcleo del sistema operativo, la fragmentación de memoria y
Marionette es una biblioteca de simulación determinista (DST) para el lenguaje Zig que permite probar sistemas distribuidos y de almacenamiento reproduciendo fallos difíciles de capturar en producción: escrituras truncadas por caídas, corrupciones de sectores, particiones de red o carreras entre tem
Las colas de trabajos son sistemas que permiten enviar, programar y ejecutar tareas por lotes, generalmente con un comportamiento FIFO. Aunque a primera vista parecen sencillos, esconden capas de complejidad que solo emergen al analizarlos con detalle. Resultan útiles en escenarios con altos requisi
La empresa TigerBeetle ha anunciado que su sistema ha procesado un billón de transacciones, marcando un hito en la escalabilidad y la resiliencia de los sistemas informáticos. El anuncio, realizado a través de un video de 22 minutos publicado en su canal, destaca que la verdadera medida de la escala
Este artículo de TigerBeetle aborda un problema común en la programación: los errores relacionados con la indexación y los cálculos de límites de arrays. Estos errores, a menudo sutiles, pueden ser difíciles de detectar incluso en código bien tipado, ya que los tipos de datos, aunque útiles, tienen