X



Linuxカーネル内にWebAssemblyランタイムを組み込んで爆速稼働 [787645228]
■ このスレッドは過去ログ倉庫に格納されています
0001番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ 6f05-YzDs)
垢版 |
2023/01/25(水) 19:16:28.41ID:qY2yFXz30?2BP(2222)

 
Linuxカーネル内にWebAssemblyランタイムを実装し、ネイティブバイナリよりも高速に実行可能にする「Kernel-WASM」登場  2023年1月25日

代表的なWebAssemblyランタイムの1つであるWasmerを開発しているWasmer社は、
Linuxカーネル内にWebAssemblyランタイムを実装することで、安全かつ通常のLinuxバイナリよりも高速に
WebAssemblyバイナリを実行可能にするオープンソースソフトウェア「Kernel-WASM」を公開しています。

同社はLinuxカーネル内にWebAssemblyランタイムを実装する理由として、性能と柔軟性が得られるとしています。
性能面では、WebAssemblyランタイムとはそもそも保護された仮想マシン内で命令セットを実行するものであるため、
仮想マシンであるWebAssemblyランタイムをOS上のユーザー空間内で実装するよりも、カーネル内でランタイムを実装する方が、
システムコール時のコンテキストスイッチやメモリ内容のコピーといったオーバーヘッドをなくせるとしています。

また、カーネル内での実装によって低レイヤでの制御ができることで、仮想メモリのような操作やパケットフィルタリングのような
カーネルでのイベント処理など、ユーザー空間で実行されるソフトウェアでは困難かもしくは処理が重くなってしまうような機能も
高速に実行可能なソフトウェアが実現できるとしています。

---

ただしKernel-WASMはまだ開発中で、WASIの実装は進行中。Linuxカーネルイベントのepollのサポートによる非同期ネットワーキングに対応、
ソフトウェア障害を分離する完全なサンドボックスによる実行環境などは実装されており、
ネイティブバイナリを上回る高速化、WebAssembly内でのeBPFの実装などはこれから実現とのことです。

またLinuxカーネル内でコードを実行することは非常に危険であるため、現時点でスタックオーバーフローのチェックや
メモリ境界のチェックなどのセキュリティ確保のための仕組みはあるものの、今後さらにセキュリティ面の強化もしていくとしています。

https://www.publickey1.jp/blog/23/linuxwebassemblykernel-wasm.html
0004番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 4389-95+E)
垢版 |
2023/01/25(水) 19:25:11.49ID:xATSgSsP0
ELFより早いのかどういうこっちゃ
0005番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ e30d-fO7d)
垢版 |
2023/01/25(水) 19:25:43.41ID:pHq2lgEW0
WASIが作った
0006番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 3305-QOBx)
垢版 |
2023/01/25(水) 19:28:05.19ID:5C6uT+lf0
Windows化やんワロス
0007番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロロ Spc7-muqp)
垢版 |
2023/01/25(水) 19:38:46.95ID:ed6X8mSdp
web assemblyっていま流行ってるの?
なんかよくみるよな
0008番組の途中ですがアフィサイトへの転載は禁止です (テテンテンテン MM7f-+KeU)
垢版 |
2023/01/25(水) 19:43:53.71ID:I4F/E/WAM
>>6
IEみたいなもん?
0009番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 63a2-DMzE)
垢版 |
2023/01/25(水) 19:53:42.51ID:TH+uIYp10
echoサーバーで~10%高速化ってめっちゃ微妙に感じる…
echoサーバーなんてまともに書けば実行処理の90%以上はシステムコール呼出しだろうにそれくらいしか変わらないのは何か草
昔見たeBPFでmemcached作ってみたみたいなのは十倍以上高速化してた気がするけど
0010番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ bf00-JuhH)
垢版 |
2023/01/25(水) 19:55:31.74ID:4J95Tfx30
カーネル処理出来ても、手足が遅かったら一緒だろハゲ。
0011番組の途中ですがアフィサイトへの転載は禁止です (スップ Sd1f-brZQ)
垢版 |
2023/01/25(水) 19:58:41.04ID:a4034JkZd
webサイトをカーネルに取り込むってことやんけ
0014番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロ Spc7-nEvP)
垢版 |
2023/01/25(水) 20:23:05.31ID:ZLD2luqzp
この発想はなかった
コンテナ作ったところの偉いさんが
webassemblyあったら作らなかったというくらい
よくできてるらしい
つまりユーザー空間どころかも今まだとやばいとされた
カーネル寄りでも安全を確保できてしまうということか
0015番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロ Spc7-nEvP)
垢版 |
2023/01/25(水) 20:24:04.13ID:ZLD2luqzp
>>12
どうせ大半の開発者はwebassemblyを直接みることはほぼない
0016番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 63af-alGn)
垢版 |
2023/01/25(水) 20:26:29.07ID:1rVgHGzI0
>>8
どちらかって言うとIISじゃね?
サーバサイドならね
0018番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイ ff02-gfMI)
垢版 |
2023/01/25(水) 21:37:54.84ID:yGTediJA0
将来的にサーバーosだったりchrome osみたいなweb osの処理が捗るって認識でおk?
0019番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW a3a2-vn9c)
垢版 |
2023/01/26(木) 00:21:53.43ID:KOjadyNr0
頭が混乱してきたわ…
0021番組の途中ですがアフィサイトへの転載は禁止です (アウアウウー Saa7-YEEt)
垢版 |
2023/01/26(木) 00:30:49.78ID:oijVlOb9a
kvmみたいなもんか
0022番組の途中ですがアフィサイトへの転載は禁止です
垢版 |
2023/01/26(木) 00:35:43.01ID:PcwC4h40
どこの誰が書いたのかもわからんバイトコードがwebの彼方から飛んできて、お前の手元のPCやスマホのカーネル空間で逐次翻訳実行されます。
バイトコードのパッケージは暗号化され実行中のバイナリもユーザーには検証の手段すらありませんが、高速から信頼しろ


個人的には NO THANK YOUだなあ…まあ、ActiveXとかJAXAとか叩いていた連中は、同等かそれ以上の熱量をもって叩き潰しておくれよ。
0023番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW 73a2-jzc+)
垢版 |
2023/01/26(木) 00:46:38.23ID:U8+bNL3x0
どうやって安全性が担保されてるのか調べてもよくわからないの…(^o^)
0024番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW a3a2-vn9c)
垢版 |
2023/01/26(木) 01:07:54.79ID:KOjadyNr0
>>22
副作用のあるものは全てインターフェースが管理するらしい
wasmはlinuxのelfやmicrosoft windowsのpeのようなオブジェクトファイルでしかない
スマホアプリのように細かくパーミッションを与えて動かすことになる、
とすれば既存バイナリよりは安全に見える

WebAssemblyはJVMやeBPFのリバイバルではない WasmがWeb以外でもアツい理由 - ログミーTech
https://logmi.jp/tech/articles/324956
0026番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロ Spc7-nEvP)
垢版 |
2023/01/26(木) 04:55:52.31ID:LXgcSxTsp
>>20
発祥はブラウザの中で動かす目的のアセンブラ
JavaScriptをJITするとブラウザと同じ環境のバイナリができる
でもテキストコードから変換すると
ダウンロード→変換→実行と無駄が多いので
もうちょい変換→実行しやすいフォーマットにしようぜってのがwebassembly

ところがブラウザの中はサンドボックスである必要があるので
この辺を意識してしっかり設計したのでブラウザの外や
カーネル近くに持っていっても耐えるって話になったのでは

古いゲーム機のエミュレータ上で動くROMイメージだって
ホストOSに迷惑かけないし
0027番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロ Spc7-nEvP)
垢版 |
2023/01/26(木) 04:59:12.59ID:LXgcSxTsp
>>25
MSのブラウザが採用してたactiveXのようなやりたい放題の
変なルート作らなきゃいいだけよ
今のブラウザだってプラグインは排除するもブラウザが
担保した安全なルートでホストOSとの連絡手段は用意されてるし
0029番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロ Spc7-nEvP)
垢版 |
2023/01/26(木) 05:05:35.91ID:LXgcSxTsp
>>28
だからその仮想マシンを安全に作り込むだけでしょ
実際ブラウザでそうやってるんだし
0031番組の途中ですがアフィサイトへの転載は禁止です (ワンミングク MM9f-q5JT)
垢版 |
2023/01/26(木) 06:23:39.80ID:iYrXp8TUM
>>28
Wasmは自由に制限できる(むしろ標準がゼロで最小限の機能を許可)からこそ
今回のような用途にもブラウザ内での用途にも向いている
0033番組の途中ですがアフィサイトへの転載は禁止です (ササクッテロ Spc7-nEvP)
垢版 |
2023/01/26(木) 06:46:12.05ID:LXgcSxTsp
Javaも.netも中間コードを配布してるので
思想似たようなもんだよ
あれもJITしてたよね

問題はどっちもブラウザ上はプラグインだった
アプレットとsilverlight

webassemblyの登場でブレイザーだっけ?
.netのランタイム動くって無理やり感あるのやってるけどww
0034番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW a3a2-vn9c)
垢版 |
2023/01/26(木) 08:30:48.46ID:KOjadyNr0
>>33
wasmはオープンで仕様も単純なスタックマシンと小さいのが良いらしいな
じゃあ高速化には限界があるんじゃないかという気もする
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況