結局

Scheduler に仕込んで取得した頻繁切替え EIP は Message::receive と syscall_mtread_yield のブロック解除直後の EIPだった。
メッセージを頻繁にやりとりしすぎなのかもしれない。
特に file の seek が数千回発行されていてオーバーヘッドが高いかも。

バイナリを眺めていると int 0x80 が目印になって、システムコールID が特定されてこのバイナリはあのコードだっ!
とか分かって楽しいね。