كاشف السباقات في جو: بقعة عمياء للـ Mutex

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