カーネル内でロックするよりも、共有メモリでメッセージをやり取りする
マイクロカーネルの方が速いと思われてたのってどういう事情によるの？