サスペンションポイントが静的に決定できることとタスク内でスレッドをブロックしないという仮定が上手く使われた仕組みっぽい