>>491
仮想メモリ空間の切り替えにコストがかかる場合
ユーザ空間でスレッドのスケジューリングをする
アプローチもアリだと思うが