BinGo:バイナリー分析によるGoにおける並行性バグのピンポインティング【JST・京大機械翻訳】

Zhong Chongxin; Zhao Qidong; Liu Xu

プレプリント

J-GLOBAL ID：202202205124056948 整理番号：22P0275913

BinGo:バイナリー分析によるGoにおける並行性バグのピンポインティング【JST・京大機械翻訳】

BinGo: Pinpointing Concurrency Bugs in Go via Binary Analysis

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年01月18日プレプリントサーバーでの情報更新日： 2022年01月26日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

Golang(短期のGoとしても知られる)は,分散システムにおける同時性プログラムの構築に普及している。ユニークな特徴として,Goは軽量Goroutineを使用して,ユーザ空間における高度に並列性をサポートする。さらに,Goは,スレッド間の明示的な通信を可能にするためのチャネルを利用する。しかし,最近の研究では,同時性バグがGoアプリケーションでは稀ではないことを示した。実際のGoアプリケーションにおけるこれらの同時性バグの指摘は,重要で挑戦的である。既存の手法は,2つの制限を持つコンパイラ支援静的または動的解析に基づいている。第1に,既存の手法は,ソースコードのアベイラビリティと再コンパイルを必要とし,これは,アプリケーションと外部ライブラリの両方に利用できるソースコードのない生産環境よりむしろ試験にうまく働く。第2に,既存の手法は,Goと他の言語との混合プログラムではなく,純粋なGoコードベースのみに働く。これらの限界に取り組むために,動的バイナリ分析によるGoアプリケーションにおける同時性バグを同定するための第一ツールであるBinGoを開発した。BinGoはGo意味論と二値実行を相関させ,新しいバグ検出アルゴリズムを採用した。BinGoは,Goエコシステムにおけるソースコード,コンパイラ,およびランタイムの修正なしに,生産環境における展開に準備できるエンドツールである。著者らの実験は,BinGoが偽陽性のない同時性バグの高度なカバレッジを有することを示した。中程度のオーバヘッドを持つ実際のアプリケーションにおける同時性バグを同定するために,BinGoを使用できる。【JST・京大機械翻訳】

, , , , , , , , , , ,
, , , , 【Automatic Indexing@JST】

言語プロセッサ , 計算機システム開発

, , , ,

前のページに戻る