WebAssemblyを進化させる「WASI Preview 2」が安定版に到達。OSや言語に依存しないコンポーネントモデルを実現

今回は「WebAssemblyを進化させる「WASI Preview 2」が安定版に到達。OSや言語に依存しないコンポーネントモデルを実現」についてご紹介します。

関連ワード (対応言語、普及、相互等) についても参考にしながら、ぜひ本記事について議論していってくださいね。

本記事は、Publickey様で掲載されている内容を参考にしておりますので、より詳しく内容を知りたい方は、ページ下の元記事リンクより参照ください。


WebAssembly関連仕様の標準化を行っているW3C WebAssembly Community GroupのWASI Subgroupミーティングにおいて、2024年1月25日に行われた投票で「WASI Preview 2」(もしくはWASI 0.2.0)仕様が承認され、安定版に到達したことが明らかになりました。

fig

WASI Preview 2では、WebAssemblyアプリケーションがOSなどのプラットフォームに依存せず、さまざまなプログラミング言語で開発したWebAssemblyコンポーネントを組み合わせて開発できるように、「コンポーネントモデル」とそのインターフェイスを記述するIDL(Interface Definition Language)である「WIT(WebAssembly Interface TypeもしくはWasm Interface Type)」を基盤にしたものになっています。

WASI Preview 2登場の背景

WASI Preview 2がどのような背景の下で登場したのか、簡単にこれまでのWebAssemblyの歴史を振り返ってみましょう。

プロセッサ非依存のバイナリフォーマットとして登場
WebAssemblyはもともと、Webブラウザ上で高速に実行可能なバイナリフォーマットとして登場し、2019年12月にW3Cの勧告に到達し、Google Chrome、Firefox、Safariなど事実上全てのモダンブラウザが対応しました。

これによりWebAssemblyはプロセッサのアーキテクチャに依存せず、x86プロセッサでもArmプロセッサでもRISC-Vプロセッサでも高速に実行可能な、ユニバーサルなバイナリフォーマットとして知られるようになります。

また、RustやGoなどさまざまなプログラミング言語がWebAssemblyバイナリを生成可能です。このような多言語対応もWebAssemblyの特徴の1つです。

WASIによりOS非依存のクロスプラットフォーム対応に
WebAssemblyをWebブラウザだけでなくOS上のスタンドアロンなWebAssemblyランタイムでも実行可能にしようと、OSのAPIを抽象するために登場したのがWASI(WebAssembly System Interface:現在のWASI Preview 1)です。

WASI Preview 1の登場で、例えばOSによって異なるファイルシステムへのアクセスなどが抽象化されました。WASI Preview 1に対応したWebAssemblyアプリケーションであれば、WASI Preview 1対応ランタイムを用いることでWebブラウザでもmacOSでもLinuxでもWindowsでも、そのまま実行可能になりました。

そしてWasmtimeやWasmer、Cloudflare Workers、Fastly Compute@Edgeなど主要なWebAssemblyランタイムがWASI Preview 1に対応したことで、WebAssemblyは単一アプリケーションでのクロスプラットフォーム対応を実現したのです。

ガベージコレクション機能で対応言語がさらに拡大
また2023年にはWebAssemblyのガベージコレクション機能がGoogle Chromeを始めとするWebAssemblyランタイムに実装されるようになりました。

これによりプログラミング言語をWebAssemblyに対応させる際に、プログラミング言語自身でガベージコレクタを実装する必要がなくなります。つまり以前より容易にさまざまなプログラミング言語がWebAssemblyに対応可能になりました。

このガベージコレクション機能を利用して、KotlinやDartといったプログラミング言語がWebAssembly対応を進めています。今後さらに多くのプログラミング言語がWebAssembly対応になると見られます。

こうして着実に進化してきたWebAssemblyですが、WASI Preview 1にはいくつかの課題がありました。

WASI Preview 1の課題

WASI Preview 1にはOSのAPIを抽象化するという目的があったため、UNIXをベースにしたAPIの標準規格であるPOSIX(Portable Operating System Interface)の主要なAPIを手本としてWASI Preview 1が実装されました。その後、WASIの仕様を拡張してさまざまな機能を拡充していく際にはモジュール的にAPIを追加していく予定でした。

しかしUNIXがCで実装されたOSであるという歴史的経緯からPOSIXもC言語を指向したAPIとなっています。WASI Preview 1はこのPOSIXを手本にしたことで、多言語でインターフェイスを実装するのに向いていないこと、ソケットは十分にサポートできず、インターフェイスの仮想化も困難、コンポーネントを組み合わせるためのインターフェイスとして用いるのが困難、などの課題が浮かび上がりました。

これについてはWASIの実装と普及を推進する団体であるBytecode Allianceが2月1日に公開した動画「Bytecode Alliance Community Meeting」で説明しています。下記はその動画内で説明に使われたスライドです。

fig

そこで、さまざまなプログラミング言語に対応するなどのWebAssemblyの特徴を活かすため、多言語に対応したコンポーネントによる機能拡張やアプリケーションの構築を実現すべく、WASI Preview 1を刷新して新たにコンポーネントモデルとそのためのインターフェイスであるWITをベースに開発されたのが、今回安定版となった「WASI Preview 2」(もしくはWASI 0.2.0)なのです。

コンポーネントモデル、WIT、Worlds

WASI Preview 2は前述の通り、コンポーネントモデルとそのインターフェイスを記述するIDL(Interface Definition Language)である「WIT(WebAssembly Interface TypeもしくはWasm Interface Type)を基盤にしています。

コンポーネントモデルによるコンポーネントとは、実体はWebAssemblyファイルであり、そのなかに1つから複数のWebAssemblyモジュールを含んでいます。

WITで表現されるコンポーネントのインターフェイスは、プロセッサのアーキテクチャやOS、開発に用いられたプログラミング言語に依存せず相互に通信できるようになっています。

WITは、コンポーネントのインターフェイスを主にfunction(関数)とType(型)によって記述することで、コンポーネントの入出力を定義します。

下記はそのサンプルコードです。hostというインターフェイスにはlogという関数があり、その関数はstring型の引数が1つとなっている、といったことが記述されています。

このWITを基に、さまざまなプログラミング言語に対応したコンポーネントの初期コードの生成を可能にするツールなども用意される予定です。

また、WITを複数束ねて名前を付けた「WIT Worlds」もWASI Preview 2の大きな特徴です。

WIT Worldsによってコンポーネントの外部のアプリケーションとの入出力についてより上位のレベル、例えば「HTTPプロキシ」としてのやりとりや「コマンドラインツール」としてのやりとりを記述できます。コンポーネントとは、このWIT Worldsの実装を内部定義したものとも言えます。今後さまざまなWorldを実装したコンポーネントが登場することが期待されます。

WASI Preview 2は、このコンポーネントモデルとWITを基盤に次の7つのシステムインターフェイスも公開されました。

  • wasi-io :抽象化されたI/Oのインターフェイス
  • wasi-clocks:現座時刻などを取得するインターフェイス
  • wasi-random:乱数を取得するインターフェイス
  • wasi-filesystem:ファイルシステムにアクセスするインターフェイス
  • wasi-sockets:TCPとUDPのソケット通信およびドメイン名のルックアップのためのインターフェイス
  • wasi-cli:コマンドラインインターフェイスを実装するためのインターフェイス
  • wasi-http:HTTPのリクエストとレスポンスを送受信するためのインターフェイス

WASI Preview 3へ

WASIは今後、WASI Preview 3、Preview 4と進化していく予定です。次のWASI Preview 3では、非同期コンポーネントの実現などについてフォーカスしていく予定だとされています。

参考

  • WASI 0.2.0 and Why It Matters | wasmCloud
  • WASI Preview 2 Launched · sunfishcode’s blog

関連記事

  • WebAssemblyにスレッドやコンポーネントモデルなど導入へ、Bytecode Allianceがロードマップを公開
  • WebAssemblyの「WASI Preview 2」で、WebAssemblyコンポーネントの組み合わせによるアプリケーション開発を実現へ

COMMENTS


Recommended

TITLE
CATEGORY
DATE
マイクロソフト、量子コンピューティングへの取り組み状況を報告
IT関連
2022-06-30 13:07
耐量子暗号のスキル構築を急げ–量子技術が「ゲームチェンジャー」になる可能性
IT関連
2022-06-28 18:45
マイクロソフト、AIの新たな規制を呼びかけ–リスク低減に向け
IT関連
2023-05-27 23:52
テスラがカナダ企業の特許を使い安価で環境に優しい新バッテリーを開発中
モビリティ
2021-05-06 02:41
ロシアへの輸出など順次停止–日立、ウクライナ危機下の対応説明
IT関連
2022-03-12 18:09
アマゾン傘下Zooxのロボタクシーは一般の人や車両が通行するセミプライベートなコースでテスト中
IT関連
2022-02-13 08:29
シャープ、法人向け情報漏えい抑制装置を発売
IT関連
2023-04-07 22:37
臨床試験参加者を製薬会社に紹介しオーダーメイド医療研究を支援するSano Geneticsが3.5億円調達
バイオテック
2021-01-27 12:56
SMBCグループ、グループ各社の人事システムを刷新–人事給与業務の合理化と効率化を推進
IT関連
2022-06-29 19:31
人のやさしさを感じる会社に–ITの刷新と定着で文化を変えた日鉄工営の5年間
IT関連
2024-12-10 17:45
業務のデジタル化が進むも関与は二極化–ドリーム・アーツ調査
IT関連
2022-09-28 14:01
なんとフェイスブックがまたもプライバシー設定を変更
ネットサービス
2021-08-06 18:16
オリコと日本IBM、DX推進で協業
IT関連
2021-05-08 15:42
AWSやGoogle Cloudの設定ミスによる情報漏洩、防げてますか? クラウドの膨大な設定リスクを一覧表示、詳しく説明してくれる新サービス「Shisho Cloud」[PR]
AWS
2023-11-21 13:05