--- [article] title = "PHP の処理系を Emscripten で WebAssembly にコンパイルする" description = "PHP の処理系 (php/php-src) を Emscripten で WebAssembly にコンパイルし、任意のコードを隔離された環境で評価できるようにした。" tags = [ "php", "wasm", ] [[article.revisions]] date = "2023-10-02" remark = "公開" ---
はじめに

Emscripten を用いて PHP の処理系WebAssembly にコンパイルした。機能をある程度絞ることで、思ったよりも簡単に実現できたので、備忘録として記しておく。

なお、この記事では Emscripten や WebAssembly とは何か知っていることを前提とする。

バージョン情報

この記事中で使用するソフトウェア等のバージョンを記載する。

なお、Docker から下は Docker 上で導入するので、ホストマシンにはインストールしなくてよい。

本記事のゴール

先にこの記事のゴールを示しておく。これから示す手順のとおりに進めると、次のようなコードが動くようになる。 このコードはこのあと使うので、index.mjs の名前で保存しておくこと。

標準入力から与えたコードを WebAssembly にコンパイルされた PHP 処理系の上で実行している。このような php-wasm.mjs (とそこから呼び出される php-wasm.wasm) を作成する。

ビルド
C のエントリポイントを書く

先ほどのコードでも使っていたエントリポイントである php_wasm_run を用意する。

#include #include #include int EMSCRIPTEN_KEEPALIVE php_wasm_run(const char* code) { zend_result result; int argc = 1; char* argv[] = { "php.wasm", NULL }; PHP_EMBED_START_BLOCK(argc, argv); result = zend_eval_string_ex(code, NULL, "php.wasm code", 1); PHP_EMBED_END_BLOCK(); fprintf(stdout, "\n"); fflush(stdout); fprintf(stderr, "\n"); fflush(stderr); return result == SUCCESS ? 0 : 1; } ]]>

ほとんどはただの PHP の公開 API を使ったコードだが、Emscripten 向けの注意点が 2点ある。

まずは EMSCRIPTEN_KEEPALIVE について。 これは Emscripten が用意している特殊なマクロである。 このマクロが付与されている関数は、どこからも使用されていなくともコンパイル後の WebAssembly バイナリから削除されない。 もしこれを付け忘れると、未使用の関数とみなされ削除される。

次に、コードを評価したあとに呼んでいる標準出力と標準エラー出力に対する改行の出力について。 出力バッファから出力させるためだけなら改行を出力させなくとも fflush() だけで事足りると考えたのだが、ないと動かなかったので追加した。 これにより、PHP コードの出力の後ろに余分な改行が追加されてしまう。 改行を出力せずともバッファを消費させる手段をご存知のかたはご教示願いたい。

WebAssembly にコンパイルする

それでは WebAssembly にコンパイルしていこう。ここからは Dockerfile 上のコマンドとして操作を示す。

まずは Emscripten 公式が提供している Docker イメージを使って、PHP 処理系と先ほど示した C 言語のソースコードを WebAssembly にコンパイルする。

次に、php/php-src から PHP 処理系のソースコードを取得し、ビルドに必要な apt パッケージを取ってくる。 有効にする拡張を増やしたいなら、ここでインストールするパッケージも増やすことになるだろう。

続けて、Emscripten のツールチェインを用いて PHP 処理系をビルドする。

ここまでと比べると少し複雑なので、それぞれ詳しく見ていこう。

まず、buildconf は PHP 処理系をビルドするときに (Emscripten とは関係なく) 使うツールである。 このツールの最も重要な仕事は、configure の生成である。

次に configure するわけだが、ここで emconfigure を使う。 これを使うことで、Emscripten が上手く諸々のツールチェインを WebAssembly のビルド向けに調整しながら configure してくれる。

configure の後ろに指定してあるフラグは、通常の PHP 処理系のビルドで使う configure と同じなので、詳しくはそちらの cofigure --help を参照していただきたい。 ほとんどは、機能の無効化のために指定している (依存するライブラリを減らし、ビルドをより簡単にするため)。

通常の C のビルドなら、configure の次は make するところだが、ここでも emmake を使う。 役割はほとんど emconfigure と同様である。 指定してある EMCC_CFLAGS という環境変数は、Emscripten の C コンパイラへのフラグで、ここでは ERROR_ON_UNDEFINED_SYMBOLS を無効化している。 これにより、コンパイル中に出現した解決できなかったシンボルを無視するようになる (代わりに、そのシンボルを呼ぼうとしたタイミングで実行時エラーになる)。 すべての依存を完全に解決するのは面倒なので、あまり使わない機能については無視してもよいだろう。

ここまでを実行すると libs/libphp.a が生成される。これは後で使うので移動させている。

さて、PHP 処理系をライブラリ化できたので、次に先ほど載せた C のソースコードをビルドしていこう。 Dockerfile と同じ場所に php-wasm.c という名前で保存し、次のようにする。

emcccc (C コンパイラ/リンカ) の Emscripten 版で、-c は「コンパイル」の意。 -o-I は普通の C コンパイラと同様、出力ファイルの指定とインクルードパスの指定である。

libphp.aphp-wasm.o が手に入ったので、これらをリンクして WebAssembly のバイナリとそのラッパである JavaScript ファイルを生成する。 これにも emcc コマンドを使う。

それぞれのフラグについて解説する。

-s ENVIRONMENT=node は、生成する WebAssembly/JavaScript の実行環境を指定する。 今回は node を指定しているので、Node.js 向けのファイルが生成される。

-s ERROR_ON_UNDEFINED_SYMBOLS=0 についてはすでに述べたので省略する。

-s EXPORTED_RUNTIME_METHODS='["ccall"]' は、生成される JavaScript から公開される API である。 すでに index.mjs で使用しているが、ccall('関数名', '返り値の型', ['仮引数の型', ...], ['実引数', ...]) のように使う。

-s EXPORT_ES6=1 は、JavaScript コードを ECMAScript 6 に準拠した module として生成する。 これを指定することで、require() ではなく import できる JavaScript を生成させられる。

-s INITIAL_MEMORY=16777216 は呼んで字のごとく。用途に合わせて適当に決めてほしい。

-s INVOKE_RUN=0 は、module をロードしたときに勝手に main() を呼ぶかどうか (だと思う)。 今回は php_wasm_run() しか使うつもりがないので切っている。

-s MODULARIZE=1 は、実質的にほぼ必須のオプションであり、1 を指定することで「WebAssembly module をインスタンス化する関数」をエクスポートするような JavaScript ファイルを生成するようになる。 これを指定しないと、生成物の JavaScript ファイルを読み込むと WebAssembly module が即座にインスタンス化されてしまい、起動のタイミングを制御できない。

ここまで実行すると、php-wasm.jsphp-wasm.wasm が作られる。 では、ここからはこれらの実行環境を作っていこう。

といっても、Node.js はビルトインで WebAssembly をサポートしているので、ほとんどやることはない。 先ほど掲載した JavaScript のコードは、Dockerfile と同じディレクトリに index.mjs で配置すること。

実行

Dockerfilephp-wasm.cindex.mjs を用意したら、Docker コンテナをビルドして実行する。

まとめ

ここまでをまとめた Git リポジトリを用意した。 簡単にコンパイルできるので、興味があれば試してみてほしい。

参考リンク