Find XO: Crónica de un desarrollador que creó un depurador capaz de reproducir incluso el orden de ejecución de hilos con Nix(fzakaria.com)

- El autor original ejecuta compilaciones de Nix en Rewind, una máquina virtual determinista, para encontrar errores de condición de carrera. El punto clave es que, con la misma entrada, se reproduce igual incluso el orden de ejecución de los hilos. - Las derivaciones de Nix tratan el código fuente, el compilador, las bibliotecas y la configuración como entradas explícitas. El autor explica que esto permitió que otras personas recibieran de la misma forma los registros de ejecución y la información que necesita el depurador. - Según el original, nixpkgs guarda la información de depuración en cache.nixos.org, y debuginfod obtiene los símbolos y el código fuente a partir del ID de compilación. El autor afirma que con este método incluso puede consultar el código fuente del kernel de Linux. - El programa de ejemplo, bank, tiene un error en el que dos hilos sobrescriben el mismo saldo y se pierde dinero. En la medición del autor en un portátil con 16 núcleos, hubo pérdidas en 396 de 1,000 ejecuciones, y al fijarlo a un solo núcleo nunca ocurrieron.