WebAssembly コンポーネント モデルとは何ですか?

WebAssembly は、ほぼすべての新しいコード実行プラットフォームで見られる問題に直面しています。つまり、完全に異なるプログラミング言語ツールチェーンによって生成される可能性のある個別のコード ユニット間で、データを安全かつ確実に、効率的に共有するにはどうすればよいかということです。 一般的に、2 つの個別の WebAssembly モジュールは、多くのシステムと同様に、JSON、Protobuf、またはその他の一般的なデータ交換形式でモジュール間でデータを渡すことができます。 これらの形式のシリアル化とデシリアル化はかなりコストがかかります。結局のところ、相互に通信する 2 つのモジュールは、ネットワーク経由ではなく、同じランタイムによって並行して実行される可能性が高いため、この実装の方が優れている可能性があります。

問題は、各プログラミング言語がデータを表現する方法にあります。 言語の実装では、文字列に異なるエンコーディングを使用することを選択する場合があり、ある言語では順次データを配列として保存することを好む一方で、別の言語ではリンク リストを好む場合があります。 異なる言語のコードが相互に通信できるようにするには、すべてのタイプのデータに対して共通の形式に同意する必要があります。 これはapplicationバイナリ インターフェイス (ABI) として知られています。実際には、どれも一致しません。 通常、ある言語で書かれたコードを別の言語で書かれたコードと通信させたい場合、気の毒な開発者が座って、2 つの言語間で変換するコードを慎重に (そして苦労して) 書かなければなりません。 両方の言語がどのように機能するかについての詳細な知識が必要であり、エラーが極めて発生しやすくなります。 一部の言語エコシステムでは、これを自動的に実行できるツールを作成できましたが、それでも、それは特定の言語に限られます。

ありがたいことに、コンポーネント モデルは、標準ABI と呼ばれるすべての言語に共通のデータ形式を定義します。人間にとって物事を簡単にするために、コンポーネント インターフェイスを記述するための WebAssembly インターフェイス タイプ (WIT) と呼ばれるインターフェイス定義言語も存在します。