IB-003
PicoDriver: Fast-path Device Drivers for Multi-kernel Operating Systems

○Balazs Gerofi（理研）・Aram Santogidis（CERN）・Dominique Martinet（CEA）・Yutaka Ishikawa（理研）

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%.