محلل رمز متزامن

Question

كنت أتساءل عما إذا كان هناك أي إطار أو تطبيق (تطبيق) / برنامج يمكن أن يحلل التزامن من أي رمز Java؟

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

هل أنا في عداد المفقودين على شيء ما أم أنه من السهل حقا؟ثم يجب أن يكون هناك أداة باردة تفعل هذا النوع من الأشياء؟أو هل ستؤدي هذه الأداة إلى مجموعة كبيرة من الجمود المحتملين التي يتم حفظها بالكامل بسبب بعض المنطق الأساسي للبرنامج / الأعمال؟يجب أن تكون شبكات بتري قوية بما يكفي للتعامل مع هذه المواقف؟

هذا من شأنه أن يوفر الكثير من ساعات الرجل من البحث عن الأخطاء التي قد تكون مرتبطة بقضايا القفل الميتة.

Answer 1

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

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

يتطلب ذلك اختبارات التشغيل (الوحدة) مقابل إصدار صائلي من التطبيق الخاص بك.مزيد من المعلومات الأساسية في هذا مقالة المطور .

Answer 2

هذا ورقة تصف الأداة التي تنفذ تحليل ثابت للمكتبة وتحدد إذا كان من الممكن الجمود.

Answer 3

بعض أكثر:

• klocwork
• li> التحقق من