C言語でWASMインタプリタを実装した話

概要 公式のcore testが全て(UTF8, WAT, SIMD関連のものは除く)通るWASMインタプリタをC言語でフルスクラッチで実装した。自作WASMランタイムで省略されがちなValidation Stageも実装した。この記事はWebAssembly Advent Calendar 2023の三日目の記事である。 目的 このWASMランタイムを実装するにあたり、「できるだけ仕様に従って実装する」ことを心掛けた。WASMの仕様書は以下のissueが立つほど読みにくいものとなっているが、ランタイムをどのように実装すべきかが詳しく書いてあり、一応仕様書を頑張って読めばランタイムが作れるようになっている。 この自作WASMランタイムの目的は、できるだけ仕様に従った実装を与えることで、仕様の理解を助けることである。早さや効率性よりも分かりやすさを優先しているため、実用には向かない。仕様書を

[atsushieno]

スタックマシンのアセンブリ言語は一般的にはレジスタマシンのアセンブリ言語より抽象度上がりがちだよね / インタープリタ、パフォーマンス的には実用性はほぼなく、GC統合できずに「廃る」可能性はほぼ無い気がする

[sadness_ojisan]

“WASMのDesign Goalsの一つに「Portable」がある。OSやCPUに依存しない「汎用的なバイナリ」を作れることがWASMの利点の一つであるが、その汎用性は結局、 「みんなが使っているから」 実現されている。みんなに使ってもらうた

[onesplat]

面白そう

[mohno]

WASMのバイトコードを実行するんじゃなくて文法を解釈するのか。なんかスゲェ。「WASMランタイムを実装する中で、仕様書にバグや不明瞭な点を見つけて報告した」「WASMの命令は抽象度がかなり高い」←そりゃ理解も進む。

[tattyu]

大変そうだけど楽しそうですな。

[yarumato]

“仕様の理解を助けるのが目的。早さや効率性よりも、仕様に従って実装することで分かりやすさを優先しているため、実用には向かない。”

[forest1040]

Exceptional

[udzura]

みんなじさくしてる