WEKO3
アイテム
wanco: ライブマイグレーションをサポートするWebAssemblyコンパイラ
https://ipsj.ixsq.nii.ac.jp/records/241053
https://ipsj.ixsq.nii.ac.jp/records/241053b2478bf0-34e1-4305-8058-fb2f582abe2b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ComSys2024006.pdf (1.8 MB)
2026年11月25日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, OS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Symposium(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-11-25 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | wanco: ライブマイグレーションをサポートするWebAssemblyコンパイラ | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | wanco: WebAssembly AOT compiler with live migration support | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 京都大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 京都大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 京都大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 京都大学 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyoto University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyoto University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyoto University | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Kyoto University | ||||||||||||||
| 著者名 |
田村, 来希
× 田村, 来希
× 小谷, 大祐
× 松本, 直樹
× 岡部, 寿男
|
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | データセンターやクラウドでの CPU の多様化に伴い，エッジコンピューティングの環境でも，異なる CPU アーキテクチャを持つ計算機を利用する需要が高まっている．WebAssembly は，さまざまなプラットフォームで動作するバイナリコード形式であり，可搬な計算機の状況に応じてエッジサーバー間で稼働中のサービスを移行するライブマイグレーション技術と組み合わせることで，異なる CPU アーキテクチャが混在する環境でのリソース効率を向上させることができる．WebAssembly ランタイムの AOT コンパイル方式では事前にコンパイルすることによりプログラムを高速に動作させることができるが，ターゲットの CPU アーキテクチャに従うバイナリコードに変換されるため，プラットフォームによらないランタイムの状態を保存・復元することが難しい．本研究では，AOT コンパイル方式の WebAssembly ランタイムにマイグレーション機能を追加する手法を提案する．提案手法は，WebAssembly モジュールのコンパイル時に，プラットフォームに依存しないスナップショットの形式を用いてランタイムの状態を保存・復元するための命令を計装することで，コンパイルしたプログラムがチェックポイント・リストアを行えるようにする．そして，提案手法を実装した WebAssembly コンパイラ wanco を開発し，その評価を行った．評価の結果，提案手法は Linux のプロセスライブマイグレーションツールである CRIU と比較して，スナップショットのサイズやプログラムの保存・復元にかかる時間を削減し，よりシームレスなプログラムの移行が可能であることを確認した． | |||||||||||||
| 論文抄録(英) | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | With the diversification of CPUs in data centers and clouds, there is a growing demand for computers with different CPU architectures in edge computing environments. WebAssembly is a binary code format that runs on a variety of platforms and can be used in conjunction with live migration technology to migrate services running across different CPU architectures according to mobile devices. The AOT compilation method of the WebAssembly runtime precompiles the code to make it run faster. However, it is difficult to preserve and restore the platform-independent state of the runtime because it is converted to binary code specific to the target CPU architecture. In this study, we propose a method to add migration capability to the WebAssembly runtime with AOT compilation method. The proposed method allows compiled programs to checkpoint and restore by instrumenting instructions to save and restore runtime state using a platform-independent snapshot format at compile-time of the WebAssembly module. We then developed and evaluated a WebAssembly compiler wanco that implements the proposed method. The evaluation results show that the proposed method reduces the size of snapshot files and the time required to save and restore programs, and enables more seamless program migration compared to CRIU, a process live migration tool for Linux. | |||||||||||||
| 書誌情報 |
コンピュータシステム・シンポジウム論文集 巻 2024, p. 41-49, 発行日 2024-11-25 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
