goncurrency analysis framework

أداة العرض التوضيحي لإطار تحليل التزامن

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

دعم الأدوات

• نهج CFSM
  • تخليق CFSM
  • الورقة: اكتشاف قاتل ثابت للتزامن مع توليف الرسم البياني العالمي للجلسة
• نهج غونغ
  • مدقق السلامة والحيوية غونغ
  • الورق: سياج الخروج: litivy والسلامة للبرمجة القائمة على القناة
• مدقق جوديل
  • ميغوينفر و godel-checker
  • الورق: إطار التحقق الثابت لتمرير الرسائل في GO باستخدام أنواع السلوك

التكوين والاستخدام

جانب الخادم: معالج HTTP

يتم تعريف معالج خدمة الويب في webservice/webservice.go ، المعرّفة كاسم ودالة init. يقوم InitFunc بإعداد مسار معالج HTTP (باستخدام http.HandleFunc الافتراضي).

 type Handler struct {
    Name     string
    InitFunc func()
}

يمكن تحميل معالجات HTTP بشكل انتقائي عن طريق الأعلام في القابلة للتنفيذ. بشكل افتراضي ، يتم تحميل Godel فقط.

جانب العميل: JavaScript

يتم إعداد معالجات الأحداث في static/script.js كمكالمات Ajax ، يجب تشفير الاستجابات ككائن JSON.

• ميجو (V1 و V2)
  • نقطة النهاية: '/migo.v1' و '/migo.v2'
  • الاستجابة: { 'MiGo': migo_output, 'time': execution_time, 'Error': error }
• تخليق CFSM
  • نقطة النهاية: '/cfsm'
  • الاستجابة: { 'CFSM': cfsm_output, 'time': execution_time, 'Error': error }
• غونغ
  • نقطة النهاية: '/gong'
  • الاستجابة: { 'Gong': gong_output, 'time': execution_time, 'Error': error }
• مدقق جوديل
  • نقطة النهاية: '/godel'
  • الرد: { 'Godel': godel_output, 'time': execution_time, 'Error': error }