組込みリアルタイムOSで用いられる、優先度に基づくプリエンプティブなスケジューリングの利用方法として、適切なものはどれか。