Find XO: سجل مطور بنى مصحِّحا يعيد إنتاج ترتيب تنفيذ الخيوط حتى مع Nix(fzakaria.com)

- يشغّل الكاتب الأصلي بناءات Nix على Rewind، وهي آلة افتراضية حتمية، للعثور على أخطاء حالة السباق. النقطة الأساسية أنه مع الدخل نفسه يُعاد إنتاج ترتيب تنفيذ الخيوط نفسه أيضا. - تتعامل مشتقات بناء Nix مع المصدر والمترجم والمكتبات والإعدادات بوصفها مدخلات صريحة. ويوضح الكاتب أن ذلك مكّن الآخرين من الحصول على سجلات التنفيذ والمعلومات التي يحتاجها المصحِّح بالطريقة نفسها. - بحسب الأصل، تحفظ nixpkgs معلومات التصحيح على cache.nixos.org، ويجلب debuginfod الرموز والمصادر بحسب معرّف البناء. ويدّعي الكاتب أن هذا الأسلوب يتيح له الاطلاع حتى على مصدر نواة Linux. - البرنامج المثال، bank، فيه خلل تكتب فيه خيطان فوق الرصيد نفسه فيضيع المال. وفي قياس الكاتب على حاسوب محمول بـ 16 نواة، وقعت الخسارة في 396 من أصل 1,000 مرة، وعند تثبيته على نواة واحدة لم تحدث أبدا.