From 8101ba079b8b358a015f4de9acbfc85d89c335da Mon Sep 17 00:00:00 2001 From: nsfisis Date: Wed, 25 Oct 2023 17:34:54 +0900 Subject: 作成 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- slide.saty | 106 +++++++++++++++++++++++++++++++++++++++++++++++++++++++------ 1 file changed, 96 insertions(+), 10 deletions(-) (limited to 'slide.saty') diff --git a/slide.saty b/slide.saty index 43e5b59..3d13583 100644 --- a/slide.saty +++ b/slide.saty @@ -5,12 +5,34 @@ @require: code-printer/code-theme @require: figbox/figbox -let-block +code-block-php source = +let plain-syntax = + let void-rule = CodePrinter.syntax-rule-fun (fun _ -> None) in + CodePrinter.make-syntax (| + line-comment = void-rule; + block-comment = void-rule; + string = void-rule; + keywords = []; + identifier = void-rule; + others = []; + |) + +let config-of s = + CodePrinter.make-config s CodeTheme.iceberg-light + |> CodePrinter.set-number-fun CodeDesign.number-fun-null + +let-block +file-printer-js path = + '< + +file-printer?:(config-of CodeSyntax.javascript)(path); + > + +let-block +file-printer-c path = + '< + +file-printer?:(config-of CodeSyntax.c)(path); + > + +let-block +file-printer path = '< - +code-printer?:( - CodePrinter.make-config CodeSyntax.php CodeTheme.iceberg-light - |> CodePrinter.set-number-fun CodeDesign.number-fun-null - )(source); + +file-printer?:(config-of plain-syntax)(path); > open FigBox @@ -50,23 +72,87 @@ document '< %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +frame{任意コードを安全に実行したい}< - +p{TODO} + +p{任意の (危険かもしれない) コードを実行したい} + > + + +frame{任意コードを安全に実行したい}< + +p{任意の (危険かもしれない) コードを実行したい} + +p{} + +p{WebAssembly による隔離} > +frame{WebAssembly とは}< - +p{TODO} + +p{ポータブルな仮想マシンのコード (別名 Wasm)} + +p{} + +p{元々はブラウザにおける処理の高速化を目的として制定されたが、さまざまなプラットフォームに活躍の場を広げつつある} + +p{} + +p{プラットフォームに依存しない、言語に依存しない、外から隔離された実行環境} > +frame{先行研究}< - +p{TODO} + +p{PHP の処理系を WebAssembly にコンパイル} + +p{} + +p{PHPerKaigi 2023: 「PHPをブラウザで動かす技術」} + +p{Zenn: 「WebAssemblyを使ったPHPのリアルタイムPlaygroundを作りました。」} + +p{WordPress Playground} > +frame{WebAssembly にビルドする}< - +p{TODO} + +p{C言語でエントリポイントを書く} + + +file-printer-c(`files/php-wasm.c`); + > + + +frame{Emscripten}< + +p{C 等から WebAssembly へのコンパイルに使用するツールチェイン} + +p{} + +p{LLVM を利用し、C や C++ などから WebAssembly のコードを生成する} + > + + +frame{WebAssembly にビルドする}< + +file-printer(`files/1`); + +p{} + +p{PHP の通常のビルド手順} + > + + +frame{WebAssembly にビルドする}< + +file-printer(`files/2`); + +p{} + +p{configure の代わりに emconfigure} + +p{make の代わりに emmake} + > + + +frame{ビルドを楽にするために}< + +file-printer(`files/3`); + +p{なるべく disable/without して、ビルド対象を減らす} + > + + +frame{ビルドを楽にするために}< + +file-printer(`files/4`); + +p{} + +p{\code(`ERROR_ON_UNDEFINED_SYMBOLS`); を 0 にして、未定義のシンボルがあってもエラーにならないように} + > + + +frame{WebAssembly にビルドする}< + +file-printer(`files/5`); + +p{} + +p{\code(`ENVIRONMENT`); で動かす環境を指定、\code(`INITIAL_MEMORY`); で確保するメモリを指定、等} + +p{\code(`php-wasm.wasm`); と \code(`php-wasm.js`); が生成される} + > + + +frame{使ってみる}< + +file-printer-js(`files/6`); + +p{} + +p{\code(`ccall`); に、関数名、返り値の型、仮引数の型、実引数を渡して呼び出す} > +frame{まとめ}< - +p{TODO} + +listing{ + * Emscripten を使って、PHP の処理系を WebAssembly にコンパイルできる + * WebAssembly を使って、環境を隔離できる + * Git リポジトリ: https://github.com/nsfisis/tiny-php.wasm + ** Docker があれば構築可能 + } > > -- cgit v1.2.3-70-g09d2