![見出し画像](https://assets.st-note.com/production/uploads/images/111413396/rectangle_large_type_2_c764e4712a0e1d9b96f8c3273cb670c8.png?width=1200)
【完全保存版】Binaryenについて学んでみよう!
この記事は、下のGithubの「Binaryen」の項目を翻訳・編集したものです。
1 概要
Binaryenは、C++で書かれたWebAssemblyのためのコンパイラおよびツールチェインインフラストラクチャライブラリです。
一般的に、ツールチェインはソースコードから実行可能なソフトウェアを生成するまでの過程で必要な一連のツールを指します。
これらのツールは互いに密接に関連していて、各ツールの出力は次のツールの入力となります。
例えば、コンパイラはソースコードを受け取り、アセンブラ用のコードを出力します。
次にアセンブラはそのコードを受け取り、オブジェクトコードを生成します。
最後に、リンカはこれらのオブジェクトコードを組み合わせて、実行可能なバイナリを生成します。
![](https://assets.st-note.com/img/1689969459692-t8nT6LEOQ8.png?width=1200)
![](https://assets.st-note.com/img/1689969687303-dd59Gc6idI.png?width=1200)
WebAssemblyへのコンパイルを簡単に、速く、効果的にすることを目指しています。
1 簡単
Binaryenには単純なC APIがあり、単一のヘッダーから利用することができます。
翻訳者注
BinaryenのシンプルなC APIとは、Binaryenが提供する関数群のことを指します。
これらの関数はC言語で書かれており、開発者はこれを用いてBinaryenの機能にアクセスすることができます。
![](https://assets.st-note.com/img/1689970065998-gb2x5fD9XU.png?width=1200)
また、JavaScriptからも使用できます。
入力としてWebAssembly形式を受け入れるだけでなく、一般的な制御フローグラフ(CFG)も受け入れます。
翻訳者注
制御フローグラフ(CFG)は、プログラムの実行フロー(つまり、プログラムがどのように実行されるか)をグラフとして表現したものです。
ノードは命令(または命令ブロック)を表し、エッジは制御が一つの命令から次にどのように移るかを表します。
これは通常、コンパイラがソースコードの構造を理解し、最適化を行うために用いられます。
![](https://assets.st-note.com/img/1689970456297-FHJjp1ejrt.png?width=1200)
2 高速
Binaryenの内部IRはコンパクトなデータ構造を使用しており、完全に並列なコード生成と最適化を可能にし、利用可能なすべてのCPUコアを使用します。
翻訳者注
ここでの "IR" は "Intermediate Representation"(中間表現)の略語です。
コンパイラの設計において、IRはソースコードと目的のマシンコードとの間に存在する抽象的なコード表現です。
一般的に、コンパイラはまずソースコードをこのIRに変換し、次にそれを最適化し、最後にそれをマシンコードに変換します。
![](https://assets.st-note.com/img/1689971129081-iOQU5XB661.png?width=1200)
BinaryenのIRは、実質的にWebAssemblyのサブセットであるため、WebAssemblyに非常に簡単かつ迅速にコンパイルすることができます。
翻訳者注
"サブセット"とは、ある集合の一部である別の集合を指します。
![](https://assets.st-note.com/img/1689971399499-Ulxm1RVhfR.png?width=1200)
3 効果的:
Binaryenの最適化器には、コードのサイズと速度を改善するための多くのパス(一連の最適化手順)があります。
これらの最適化は、Binaryenをコンパイラのバックエンドとして使用するのに十分なパワーを提供することを目指しています。
翻訳者注
つまり、Binaryenは、他のツールなしでプログラムの最適化とコンパイルを行うことを目指しています。
特に焦点を当てているのは、WebAssembly固有の最適化(一般的なコンパイラでは行わないかもしれないもの)で、これはJavaScriptやCSSなどの最小化と同様に、言語固有の最小化と考えることができます。
翻訳者注
これは、不要なスペース、改行、コメントなどを取り除くことでコードを縮小し、結果としてロード時間を短縮し、パフォーマンスを改善するプロセスを指します。
この場合はWebAssemblyのコードが最適化されているため、結果としてより効率的に実行できるコードが生成されます。
2 Binaryenを使用するコンパイラ
Binaryenを使用するコンパイラには以下のものがあります。
AssemblyScript:TypeScriptのバリアントをWebAssemblyにコンパイルします
wasm2js:WebAssemblyをJSにコンパイルします
Asterius:HaskellをWebAssemblyにコンパイルします
Grain:GrainをWebAssemblyにコンパイルします
3 提供するツールチェーンユーティリティ
Binaryenはまた、以下のツールチェインユーティリティを提供します。
1 パースと発行
WebAssemblyのパースと発行。
特に、WebAssemblyをロードし、Binaryenを使用して最適化し、再発行することで、一つのコマンドでwasm-to-wasm最適化器を実装します。
![](https://assets.st-note.com/img/1690006883068-0tXpm0hj8S.png?width=1200)
2 解釈とSpecテスト
WebAssemblyを解釈し、WebAssemblyのspecテストを実行します。
翻訳者注
BinaryenがWebAssemblyのコードを読み込み、それを解釈して実行できることを示しています。
つまり、WebAssemblyのコードをCPUが直接実行する代わりに、Binaryenがその役割を果たします。
仕様テストはBinaryenがWebAssemblyの正確な実装であることを確認するための重要な手段です。
仕様テストは、ある特定の技術の実装がその技術の公式仕様に準拠していることを確認するための一連のテストを指します。
したがって、BinaryenがWebAssemblyの仕様テストを実行できるということは、それがWebAssemblyの公式仕様に準拠した動作をすることが検証できる、ということを意味します。
3 Emscriptenとの統合
Emscriptenと統合して、CおよびC++からWebAssemblyへの完全なコンパイラツールチェインを提供します。
翻訳者注
Emscriptenは、CやC++のようなプログラムをWebAssemblyまたはJavaScriptにコンパイルするためのオープンソースのコンパイラです。
この文は、BinaryenがEmscriptenと協力して、CやC++からWebAssemblyへの全体的なコンパイルと最適化のプロセス(つまり、ツールチェーン)を支援していることを示しています。
これは、BinaryenがEmscriptenと一緒に動作して、CやC++のコードをWebAssemblyに効率的にコンパイルするために使用できる最適化とツールを提供することを意味します。
![](https://assets.st-note.com/img/1690007708445-oQ8gZ16z8V.png?width=1200)
4 ブラウザがまだネイティブサポートを提供していない場合
ブラウザがまだネイティブサポートを提供していない場合には、JavaScriptにコンパイルされたインタープリタでWebAssemblyをPolyfillすることで実行します(テストに便利)。
翻訳者注
ここでの"Polyfill"とは、新しい機能が既存の環境(この場合は特定のブラウザ)でまだネイティブにサポートされていない場合に、その機能をエミュレート(模倣)するためのコードのことを指します。
これにより、開発者は新しい機能が広く利用可能になる前にそれを使用することができ、それがどのように動作するかをテストできます。
つまり、BinaryenはJavaScriptにコンパイルされたインタープリタを通じてWebAssemblyを実行することで、WebAssemblyがまだネイティブにサポートされていないブラウザでWebAssemblyのコードを実行する能力を提供します。
これにより、WebAssemblyのコードがどのように動作するかをテストするために使用できます。
JavaScriptにコンパイルされたインタープリタとは、WebAssemblyのコードを読み込み、JavaScriptのコードとしてそれを実行するプログラムを指します。
このインタープリタは、JavaScriptを理解できる任意の環境(この場合はブラウザ)でWebAssemblyのコードを実行することができます。
以上です。
いいなと思ったら応援しよう!
![ユウキ](https://assets.st-note.com/production/uploads/images/52347520/profile_e7d36b385c74618d7fec56da47f68a35.jpeg?width=600&crop=1:1,smart)