goncurrency analysis framework

Демо -инструмент для анализа параллелизма GO

Основной инструмент состоит из управляемого редактора кода (для использования с Playground Package). Предназначен для двухэтапного преобразования кода GO в промежуточный формат, затем анализ с помощью внешнего инструмента.

Поддержка инструментов

• Подход CFSM
  • Синтез CFSM
  • Бумага: Статическое обнаружение тупика для одновременного Go Синтез Глобального сессии Синтеза
• Гонг подход
  • Проверка безопасности гонга и долговременной жизни
  • Бумага: ограждение Go: Livensy and Safety для программирования на основе каналов
• Годель Шекер
  • Мигоинфер и Годель-Чеккер
  • Бумага: Статическая структура проверки для передачи сообщений в Go с использованием поведенческих типов

Конфигурация и использование

Серверная сторона: http handler

Обработчик веб -сервиса определяется в webservice/webservice.go , определяемый как имя и функция инициирования. InitFunc устанавливает путь обработчика HTTP (с помощью http.HandleFunc ) по умолчанию).

 type Handler struct {
    Name     string
    InitFunc func()
}

Обработчики HTTP могут быть выборочно загружены флагами в исполняемом файле. По умолчанию только Гогель загружен.

Клиентская сторона: 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 }