Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
WASI 0.2のinit処理
Search
asuka
February 28, 2025
Technology
1
96
WASI 0.2のinit処理
新宿御苑.wasm #2025.2.28
https://shinjukugyoen.connpass.com/event/342134/
asuka
February 28, 2025
Tweet
Share
More Decks by asuka
See All by asuka
Wasmで社内ツールを作って配布しよう
askua
0
130
Wasm元年
askua
0
180
wstdなんだか良さそう
askua
0
56
Dartでウェブ開発 (やりたい)
askua
0
53
Denoでパッケージを作りJSRに公開する
askua
0
36
TSのコードをRustで書き直した話
askua
4
1.1k
久しぶりに自作ライブラリをリファクタした話
askua
0
100
今年の振り返り
askua
0
86
Wasmってなに_ 新宿御苑.wasm #2024.12.11
askua
1
360
Other Decks in Technology
See All in Technology
TROCCO今昔
gtnao
0
210
なぜAI時代に 「イベント」を中心に考えるのか? / Why focus on "events" in the age of AI?
ytake
2
580
東京海上日動におけるセキュアな開発プロセスの取り組み
miyabit
0
140
PdM業務における使い分け
shinshiro
0
590
AIコードアシスタントとiOS開発
jollyjoester
1
230
AIを使っていい感じにE2Eテストを書けるようになるまで / Trying to Write Good E2E Tests with AI
katawara
3
1.6k
DATA+AI SummitとSnowflake Summit: ユーザから見た共通点と相違点 / DATA+AI Summit and Snowflake Summit
nttcom
0
220
そもそも AWS FIS について。なぜ今 FIS のハンズオンなのか?などなど
kazzpapa3
2
120
「手を動かした者だけが世界を変える」ソフトウェア開発だけではない開発者人生
onishi
12
5.2k
少人数でも回る! DevinとPlaybookで支える運用改善
ishikawa_pro
1
370
ObsidianをLLM時代のナレッジベースに! クリッピング→Markdown→CLI連携の実践
srvhat09
7
9.1k
複数のGemini CLIが同時開発する狂気 - Jujutsuが実現するAIエージェント協調の新世界
gunta
12
3.3k
Featured
See All Featured
Typedesign – Prime Four
hannesfritz
42
2.7k
Thoughts on Productivity
jonyablonski
69
4.7k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Practical Orchestrator
shlominoach
189
11k
Agile that works and the tools we love
rasmusluckow
329
21k
Building Adaptive Systems
keathley
43
2.7k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
8
710
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.9k
Statistics for Hackers
jakevdp
799
220k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
282
13k
Why You Should Never Use an ORM
jnunemaker
PRO
58
9.5k
StorybookのUI Testing Handbookを読んだ
zakiyama
30
5.9k
Transcript
WASI 0.2のinit処理 新宿御苑.wasm #2025.2.28
前提の話 2 • WASI → WebAssembly System Interface • WASI
0.1 (プレビュー1) ◦ コマンドとリアクター (ライブラリ)の2つのモジュール • WASI 0.2 (プレビュー2) ◦ 機能ごとのコンポーネント WASIに関する情報がまとまってます
WASI 0.1 (プレビュー1) • コマンドモジュール ◦ プログラムを実行するためのモジュール ◦ エントリポイント :
_start • リアクターモジュール ◦ コマンドモジュールが利用する (ライブラリ)モジュール ◦ エントリポイント : _initialize 3 ランタイム (wasmtime) コマンドモジュール cli.wasm リアクターモジュール lib.wasm $ wasmtime run --preload lib=./lib.wasm cli.wasm _start = main関数 (ランタイムが実行する ) _initialize = init関数 (ランタイムが実行する ) 利用
ランタイム (wasmtime) WASI 0.2 (プレビュー2) • コンポーネントモデルをベースにAPIを再定義 ◦ wasi:cli プログラムのエントリーポイントの定義
◦ wasi:filesystem ファイル操作に関するコンポーネント ◦ wasi:clocks 時刻に関するコンポーネント ◦ wasi:random 乱数に関するコンポーネント ◦ wasi:http HTTPサーバーのエントリーポイントの定義 4 コンポーネント wasi:cli コンポーネント wasi:filesystem 利用 run = main関数 incoming-handler ≒http.Handler (Go)
そういえば... WASI 0.2の仕様には コンポーネントの初期化に関する説明がない 5
• コンポーネントモデル をベースにAPIを再定義 ◦ WASI 0.2以降の仕様 : https://wa.dev/wasi WASI 0.2
(プレビュー2) 6 コンポーネントモデルではWasmのABIについて定義されている 初期化の情報はコンポーネントモデルにあるはず
コンポーネント import コンポーネントモデルの初期化処理 • コンポーネント内でモジュールを実行用のインスタンスに変換する時にWasmの start関数が実行される 7 モジュールB (start $func)
モジュールA (start $func) インスタンスA インスタンスB start関数を実行 start関数を実行 実行 Wasmに元々ある機能 (module (func $start) (start $start) ) モジュールのwat例
コンポーネント import コンポーネントモデルの初期化処理 • コンポーネント内でモジュールを実行用のインスタンスに変換する時にWasmの start関数が実行される 8 モジュールB (start $func)
モジュールA (start $func) インスタンスA インスタンスB start関数を実行 start関数を実行 実行 1. 複数のモジュールを内包できる 2. インスタンス化の方法を定義できる (component (core module $ModA (start $start)) (core module $ModB (start $start)) (core instance $mod_a (instantiate $ModA)) (core instance $mod_b (instantiate $ModB (with "mod_a" (instance $mod_a)))) ) コンポーネントのwat例
WASI 0.1ではなぜ_initialize関数を用意したのか • start関数は元々Wasmにある機能 おそらく... モジュールを合成しようとした時の名前の衝突が原因 9 a.c b.c a.o
b.o command.wasm compile どのstart関数を採用して良いかわからない 1つのモジュールにstart関数は1つだけ コンポーネント モジュールB モジュールA インスタンスA インスタンスB コンポーネントモデルは内部で モジュールが独立している (知っている人いたら教えて )
WASIの初期化処理 • WASI 0.1では_initialize関数が用意されていた • WASI 0.2ではコンポーネント内に個別のモジュールを持つことができる ◦ → Wasmのstart関数を利用して初期化を行う
10
WHOAMI asuka • 株式会社モニクル/SWE ◦ 技術書典17: Monicle Techbook vol.1 •
Wasm関連の同人誌・商業誌を執筆 ◦ ご注文はWASIですか?? ◦ Wasm Cookbook vol.2 ◦ 実践入門WebAssembly ◦ WebAssembly System Interface入門 • 技術書典18 (NEXT) ◦ Wasm Cookbook vol.3予定 ◦ (合同誌なので参加したい人募集してます ) 11 書いた本など
参考文献 • lldでwasmをリンクするまで - Qiita • 手書きで理解するWebAssembly Component Model |
株式会社ヌーラボ(Nulab inc.) • component-model/design/mvp/Explainer.md at main 12