高信頼性が求められるシステムで採用される「ロックステップ方式」のプロセッサ構成はどれか。

リアルタイムOSのミューテックス（Mutex）とセマフォ（Semaphore）の違いについて、ミューテックス特有の性質はどれか。