مصحح أخطاء جينكس

كان جينكس أداةً لتصحيح أخطاء التزامن ، تتحكم بشكلٍ حتمي في تداخل أحمال العمل عبر أنوية المعالج، مع التركيز على تفاعلات الذاكرة المشتركة. وباستخدام هذا النهج الحتمي، سعى جينكس إلى زيادة وتيرة حدوث أخطاء الذاكرة المشتركة الخفية، والتي تُعرف أحيانًا باسم أخطاء هايزن . لم يعد جينكس متاحًا. فقد استحوذت شركة F5 Networks على شركة Corensic، الشركة التي كانت تُطوّر جينكس، وتم إلغاء مشروع جينكس. ^{[ 1 ]}

عملت Jinx من خلال بناء مجموعة من التداخلات المحتملة ديناميكيًا (أي الاحتمالات البديلة، أو سيناريوهات التنفيذ، التي ستحدث في ظل بعض الظروف المستقبلية) والتي من المرجح أن تؤدي إلى أخطاء التزامن، واختبرت مسارات التنفيذ هذه بسرعة للكشف عن مشاكل التزامن مثل حالات الجمود ، وحالات التنافس ، وانتهاكات الذرية الموجودة في تطبيقات المعالجة المتعددة .

على عكس أدوات التحقق من النماذج، لم يتطلب Jinx تحديد نموذج. وعلى عكس أساليب تحليل الشفرة الديناميكية والثابتة ، تميز Jinx بعدم إنتاجه أي نتائج إيجابية خاطئة (تقارير أخطاء زائفة). ويعود ذلك إلى أن Jinx اختبر السيناريوهات التي يُحتمل أن تكون أخطاءً، بدلاً من مجرد استنتاج هذه السيناريوهات من خلال تحليل الشفرة المصدرية أو مراقبة تنفيذ البرنامج.

تم تنفيذ جينكس كبرنامج مراقبة الأجهزة الافتراضية ، مما منحه القدرة على مراقبة تأثيرات جميع عناصر بيئة البرمجيات على تداخل الخيوط. وقد عمل جينكس بشكل مستقل عن أي لغة برمجة أو مكتبات أو أدوات خاصة بالخيوط.

تم تطوير Jinx بواسطة شركة (أصبحت الآن غير موجودة) تدعى Corensic في سياتل، واشنطن، استنادًا إلى بحث تم إجراؤه في جامعة واشنطن ^{[ 2 ]} وتم تقديمه في البداية في مؤتمر ASPLOS لعام 2009.