요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.
1. 요약·해설
원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.
2. 영어 원문 전체
번역 기준이 된 Linux v6.18.37 원문입니다. 줄 번호는 이 버전의 파일 좌표입니다.
원문 전체 펼치기
1
.. SPDX-License-Identifier: GPL-2.0
3
=======
4
rv-list
5
=======
6
-----------------------
7
List available monitors
8
-----------------------
10
:Manual section: 1
12
SYNOPSIS
13
========
15
**rv list** [*OPTIONS*]
17
DESCRIPTION
18
===========
20
The **rv list** command prints all available monitors. These monitors
21
can be enabled using the **rv mon** command.
23
OPTIONS
24
=======
26
**-h**, **--help**
28
Print help menu.
30
SEE ALSO
31
========
33
**rv**\(1), **rv-mon**\(1)
35
Linux kernel *RV* documentation:
36
<https://www.kernel.org/doc/html/latest/trace/rv/index.html>
38
AUTHOR
39
======
41
Written by Daniel Bristot de Oliveira <bristot@kernel.org>
43
.. include:: common_appendix.rst
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 URL은 원문 표기를 유지합니다.
monitor 목록과 도움말
1-25`rv list [OPTIONS]`는 시스템에서 사용할 수 있는 모든 Runtime Verification monitor를 출력한다. 나열된 monitor는 `rv mon` 명령으로 활성화할 수 있다.
`-h` 또는 `--help`는 도움말 메뉴를 출력한다.
rv list→Available monitor names
Select monitor→rv mon monitor_name
목록 조회 결과를 실제 monitor 실행으로 연결한다.
입력결과
rv list사용 가능한 모든 monitor 출력
rv list -h도움말 메뉴 출력
목록 명령의 입력과 결과다.
.. SPDX-License-Identifier: GPL-2.0
=======
rv-list
=======
-----------------------
List available monitors
-----------------------
:Manual section: 1
SYNOPSIS
========
**rv list** [*OPTIONS*]
DESCRIPTION
===========
The **rv list** command prints all available monitors. These monitors
can be enabled using the **rv mon** command.
OPTIONS
=======
관련 문서와 작성 정보
26-43관련 매뉴얼은 `rv(1)`과 `rv-mon(1)`이다. 커널 RV 전체 설명은 kernel.org의 `trace/rv/index.html`에서 확인한다.
이 문서는 Daniel Bristot de Oliveira가 작성했으며, 마지막에 오류 보고·GPLv2·저작권을 담은 `common_appendix.rst`를 포함한다.
문서용도
rv(1)RV 명령 전체 개요
rv-mon(1)선택한 monitor 실행
Kernel RV documentationRuntime Verification 커널 구현 설명
목록에서 실행과 내부 개념 문서로 이동한다.
**-h**, **--help**
Print help menu.
SEE ALSO
========
**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 <bristot@kernel.org>
.. include:: common_appendix.rst
요약·해설
rv-list.rst:1-43사용 가능한 Runtime Verification monitor를 나열하고 rv mon 실행으로 연결하는 방법을 설명합니다.