一つのI2Cバスに接続された二つのセンサがある。それぞれのセンサー値を読み込む二つのタスクを排他的に制御したい。利用するリアルタイムOSの機能として，適切なものはどれか。