← Documents Documentation/tools/rv/rv-mon.rst GitHub 원문 ↗

Linux 6.18.37 · Kernel Tools

rv-mon: Runtime Verification monitor 실행

monitor 이름, monitor별 옵션, rv list와 개별 도움말을 사용해 RV monitor를 실행하는 방법을 설명합니다.

Source pathDocumentation/tools/rv/rv-mon.rst
Source versionLinux v6.18.37
TranslationDUJINLABS 전문 번역 + 해설

요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.

1. 요약·해설

원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.

요약·해설

rv-mon.rst:1-55

monitor 이름, monitor별 옵션, rv list와 개별 도움말을 사용해 RV monitor를 실행하는 방법을 설명합니다.

2. 영어 원문 전체

번역 기준이 된 Linux v6.18.37 원문입니다. 줄 번호는 이 버전의 파일 좌표입니다.

원문 전체 펼치기
1 .. SPDX-License-Identifier: GPL-2.0
2
3 ======
4 rv-mon
5 ======
6 -----------------------
7 List available monitors
8 -----------------------
9
10 :Manual section: 1
11
12 SYNOPSIS
13 ========
14
15 **rv mon** [*-h*] **monitor_name** [*-h*] [*MONITOR OPTIONS*]
16
17 DESCRIPTION
18 ===========
19
20 The **rv mon** command runs the monitor named *monitor_name*. Each monitor
21 has its own set of options. The **rv list** command shows all available
22 monitors.
23
24 OPTIONS
25 =======
26
27 **-h**, **--help**
28
29 Print help menu.
30
31 AVAILABLE MONITORS
32 ==================
33
34 The **rv** tool provides the interface for a set of monitors. Use the
35 **rv list** command to list all available monitors.
36
37 Each monitor has its own set of options. See man **rv-mon**-*monitor_name*
38 for details about each specific monitor. Also, running **rv mon**
39 **monitor_name** **-h** display the help menu with the available
40 options.
41
42 SEE ALSO
43 ========
44
45 **rv**\(1), **rv-mon**\(1)
46
47 Linux kernel *RV* documentation:
48 <https://www.kernel.org/doc/html/latest/trace/rv/index.html>
49
50 AUTHOR
51 ======
52
53 Written by Daniel Bristot de Oliveira <[email protected]>
54
55 .. include:: common_appendix.rst
56

3. 한국어 전문 번역

영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 URL은 원문 표기를 유지합니다.

monitor 이름과 개별 옵션

1-25

`rv mon [-h] monitor_name [-h] [MONITOR OPTIONS]`는 `monitor_name`으로 지정한 monitor를 실행한다. monitor마다 고유한 옵션 집합이 있으며 `rv list`가 사용 가능한 monitor를 보여 준다.

`-h` 또는 `--help`는 도움말 메뉴를 출력한다. 명령 전체 도움말과 monitor 이름 뒤의 개별 도움말을 각각 요청할 수 있다.

monitor 실행
rv listmonitor_name
rv mon monitor_name -hMonitor-specific options
rv mon monitor_name MONITOR_OPTIONSRun monitor

목록에서 이름을 고르고 monitor 전용 옵션을 적용한다.

도움말 위치
형식결과
rv mon -hmon 명령 도움말
rv mon monitor_name -h선택한 monitor의 옵션

`-h`의 위치에 따라 확인하는 범위가 달라진다.

.. SPDX-License-Identifier: GPL-2.0

======
rv-mon
======
-----------------------
List available monitors
-----------------------

:Manual section: 1

SYNOPSIS
========

**rv mon** [*-h*] **monitor_name** [*-h*] [*MONITOR OPTIONS*]

DESCRIPTION
===========

The **rv mon** command runs the monitor named *monitor_name*. Each monitor
has its own set of options. The **rv list** command shows all available
monitors.

OPTIONS
=======

사용 가능한 monitor 찾기

26-42

`rv`는 monitor 집합의 인터페이스를 제공한다. `rv list`로 사용 가능한 monitor를 나열한다.

각 monitor의 상세 옵션은 `rv-mon-monitor_name` 형식의 man 페이지에서 확인하거나 `rv mon monitor_name -h`로 바로 출력한다.

monitor 정보 경로
경로내용
man rv-mon-monitor_namemonitor별 상세 매뉴얼
rv mon monitor_name -h현재 빌드에서 제공하는 옵션 메뉴

정적 매뉴얼과 실행 시 도움말 두 경로가 있다.


**-h**, **--help**

        Print help menu.

AVAILABLE MONITORS
==================

The **rv** tool provides the interface for a set of monitors. Use the
**rv list** command to list all available monitors.

Each monitor has its own set of options. See man **rv-mon**-*monitor_name*
for details about each specific monitor. Also, running **rv mon**
**monitor_name** **-h** display the help menu with the available
options.

SEE ALSO

관련 문서와 작성 정보

43-55

관련 매뉴얼은 `rv(1)`과 원문에 기재된 `rv-mon(1)`이며, 커널 RV 인덱스에서 구현 문서를 확인한다.

이 문서는 Daniel Bristot de Oliveira가 작성했고 공통 부록을 포함한다.

관련 자료
문서역할
rv(1)명령 전체 개요
rv-list(1)사용 가능한 monitor 검색
Kernel RV documentation커널 monitor 모델과 구현

monitor 발견·실행·구현 문서를 구분한다.

========

**rv**\(1), **rv-mon**\(1)

Linux kernel *RV* documentation:
<https://www.kernel.org/doc/html/latest/trace/rv/index.html>

AUTHOR
======

Written by Daniel Bristot de Oliveira <[email protected]>

.. include:: common_appendix.rst