goncurrency analysis framework

Go Concurrency Analysisフレームワークのためのデモツール

基本ツールは、実行可能なコードエディターで構成されています（プレイグラウンドパッケージで使用）。 GOコードの中間形式への2段階変換のために設計され、次に外部ツールを使用して分析します。

ツールサポート

• CFSMアプローチ
  • CFSM合成
  • 論文：同時の静的デッドロック検出グローバルセッショングラフ合成によるGO
• ゴングアプローチ
  • Gong Safety and Livension Checker
  • 論文：フェンシングオフゴー：チャネルベースのプログラミングの責任と安全性
• Godel Checker
  • MigoinferとGodel-Checker
  • 論文：動作タイプを使用してGOに渡すメッセージの静的検証フレームワーク

構成と使用法

サーバー側：HTTPハンドラー

WebServiceハンドラーは、 webservice/webservice.goで定義されており、名前とinit機能として定義されています。 InitFunc 、httpハンドラーパスをセットアップします（デフォルトのhttp.HandleFuncを使用）。

 type Handler struct {
    Name     string
    InitFunc func()
}

HTTPハンドラーは、実行可能ファイルのフラグによって選択的にロードできます。デフォルトでは、Godelのみがロードされます。

クライアント側：JavaScript

イベントハンドラーはstatic/script.jsでAjaxが呼び出すようにセットアップされます。応答はJSONオブジェクトとしてエンコードする必要があります。

• Migo（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 Checker
  • エンドポイント： '/godel'
  • 応答： { 'Godel': godel_output, 'time': execution_time, 'Error': error }