大会名称 |
---|
2018年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2018 |
発行日 |
2018-09-12 |
セッション番号 |
2b |
セッション名 |
ソフトウェア(2) |
講演日 |
2018/09/19 |
講演場所(会議室等) |
C棟C33 |
講演番号 |
IB-003 |
タイトル |
PicoDriver: Fast-path Device Drivers for Multi-kernel Operating Systems |
著者名 |
Balazs Gerofi, Aram Santogidis, Dominique Martinet, Yutaka Ishikawa, |
キーワード |
high-performance computing, operating systems, lightweight kernels, multi kernels, device drivers |
抄録 |
Multi-kernel operating systems, where a lightweight kernel (LWK) is run side-by-side with Linux, have been proposed to address the shortcomings of standalone LWKs. In multi-kernel systems the LWK implements only performance critical kernel services and the rest is offloaded to Linux. Access to device drivers is attained via offloading. In this paper, we propose PicoDriver, a novel device driver architecture, where only a small part of the driver is ported to the LWK and access to the rest remains transparent via Linux. We implemented this system in IHK/McKernel and demonstrate that we can outperform Linux by up to 30%. |
本文pdf |
PDF download (142.5KB) |