unsoundsystem
Kite: Lightweight Critical Service Domains
Try
HackMD
unsoundsystem
·
Follow
Last edited by
unsoundsystem
on
May 21, 2023
Linked with GitHub
Contributed by
0
Comments
Feedback
Log in to edit or delete your comments and be notified of replies.
Sign up
Already have an account? Log in
There is no comment
Select some text and then click Comment, or simply add a comment to this page from below to start a discussion.
Discard
Send
Kite: Lightweight Critical Service Domains
背景
問題意識
driver domainとかdaemonized VMの文脈におけるunikernel
ドライバをVMで動かすやつでGPOS乗せるのは明らかに無駄
問題への貢献
linuxのnet/storage周りのドライバをunikernel化して実装・評価(Kite)
ROPやらsyscall数やらを減らせた
イメージのサイズ・起動時間の短縮(いつもの)
https://github.com/ssrg-vt/kite
具体的な手法など
そのままのrunmprunだと
IOが適切なPV frontendにexposeされてない
backend driver for net/storage,
NetBSDのxenドライバはrumprunでサポートされてない
orchestration, bridgeとか便利スクリプトが使えない
rumprun向けにbackend driverを書いた
Kite: Lightweight Critical Service Domains
背景
問題意識
問題への貢献
具体的な手法など
Expand all
Back to top
Go to bottom
Kite: Lightweight Critical Service Domains
背景
問題意識
問題への貢献
具体的な手法など
Expand all
Back to top
Go to bottom
×
Sign in
Email
Password
Forgot password
or
By clicking below, you agree to our
terms of service
.
Sign in via Facebook
Sign in via Twitter
Sign in via GitHub
Sign in via Dropbox
Sign in with Wallet
Wallet (
)
Connect another wallet
New to HackMD?
Sign up
Comment