goncurrency analysis framework

Herramienta de demostración para el marco de análisis de concurrencia GO

La herramienta básica consiste en un editor de código ejecutable (para usar con el paquete de juegos). Diseñado para la transformación de 2 etapas del código GO a un formato intermedio, luego análisis con una herramienta externa.

Soporte de herramientas

• Enfoque de CFSM
  • Síntesis de CFSM
  • Documento: Detección de punto muerto estático para la Síntesis de Gráficos de Session Global
• Enfoque de gong
  • Gong Safety y Livials Checker
  • Documento: esgrima Off Go: Livial y seguridad para la programación basada en canales
• Checker godel
  • Migoinfer y Godel Comprobante
  • Documento: un marco de verificación estática para el paso de mensajes en el uso de tipos de comportamiento

Configuración y uso

Lado del servidor: controlador HTTP

Un controlador de servicio web se define en webservice/webservice.go , definido como nombre y una función init. InitFunc establece la ruta del controlador HTTP (usando el http.HandleFunc predeterminado).

 type Handler struct {
    Name     string
    InitFunc func()
}

Los manejadores HTTP se pueden cargar selectivamente por banderas en el ejecutable. Por defecto, solo Godel está cargado.

Lado del cliente: JavaScript

Los manejadores de eventos se configuran en static/script.js como llamadas AJAX, las respuestas deben codificarse como objeto JSON.

• MIGO (V1 y V2)
  • Punto final: '/migo.v1' y '/migo.v2'
  • Respuesta: { 'MiGo': migo_output, 'time': execution_time, 'Error': error }
• Síntesis de CFSM
  • Punto final: '/CFSM'
  • Respuesta: { 'CFSM': cfsm_output, 'time': execution_time, 'Error': error }
• Gong
  • Punto final: '/gong'
  • Respuesta: { 'Gong': gong_output, 'time': execution_time, 'Error': error }
• Checker godel
  • Punto final: '/Godel'
  • Respuesta: { 'Godel': godel_output, 'time': execution_time, 'Error': error }