6.2. オンラインランタイムモニター
ランタイム検証 (RV) モニターは、システム実行中にイベントを捕捉するオンラインモニターと、イベント発生後にトレースを処理するオフラインモニターに分類されます。
RV モニターは、以下の種類に分類されます。
オンラインモニターは、システムの実行中にトレースにイベントをキャプチャーします。
イベント処理がシステム実行に関連付けられている場合、オンラインモニターは同期されます。これにより、イベント監視中にシステムがブロックされます。オンラインモニターは、実行がシステムから切り離され、別のマシンで実行される場合、非同期になります。ただし、その場合は保存された実行ログファイルが必要です。
オフラインモニターは、イベントの発生後に生成されるトレースを処理します。
オフラインのランタイム検証は、保存されたトレースログファイルを通常は永続ストレージから読み取ることによって情報をキャプチャーします。オフラインモニターは、イベントがファイルに保存されている場合にのみ機能します。