Documentation/tools/rv/rv-list.rst GitHub 원문 ↗

Linux 6.18.37 · Kernel Tools

rv-list: 사용 가능한 monitor 나열

사용 가능한 Runtime Verification monitor를 나열하고 rv mon 실행으로 연결하는 방법을 설명합니다.

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

요약·해설, 영어 원문, 전체 번역을 구분해 실었습니다. API 이름, 코드 심벌, 소스 경로는 원문 표기를 유지합니다.

1. 요약·해설

원문의 핵심 내용을 정리하고 커널 프로그래밍에 필요한 설명을 덧붙였습니다. 아래의 전체 번역과는 별도로 작성한 해설입니다.

요약·해설

rv-list.rst:1-43

사용 가능한 Runtime Verification monitor를 나열하고 rv mon 실행으로 연결하는 방법을 설명합니다.

2. 영어 원문 전체

번역에 사용한 Linux v6.18.37 원문입니다. 줄 번호는 해당 버전의 소스 파일을 기준으로 합니다.

원문 전체 펼치기
1 .. SPDX-License-Identifier: GPL-2.0
2
3 =======
4 rv-list
5 =======
6 -----------------------
7 List available monitors
8 -----------------------
9
10 :Manual section: 1
11
12 SYNOPSIS
13 ========
14
15 **rv list** [*OPTIONS*]
16
17 DESCRIPTION
18 ===========
19
20 The **rv list** command prints all available monitors. These monitors
21 can be enabled using the **rv mon** command.
22
23 OPTIONS
24 =======
25
26 **-h**, **--help**
27
28 Print help menu.
29
30 SEE ALSO
31 ========
32
33 **rv**\(1), **rv-mon**\(1)
34
35 Linux kernel *RV* documentation:
36 <https://www.kernel.org/doc/html/latest/trace/rv/index.html>
37
38 AUTHOR
39 ======
40
41 Written by Daniel Bristot de Oliveira <[email protected]>
42
43 .. include:: common_appendix.rst
44

3. 한국어 전문 번역

영어 원문의 문단 순서와 의미에 맞춰 전체 내용을 번역했습니다. 코드, 함수명, 코드 심벌, URL은 원문 표기를 유지합니다.

monitor 목록과 도움말

1-25

`rv list [OPTIONS]`는 시스템에서 사용할 수 있는 모든 Runtime Verification monitor를 출력한다. 나열된 monitor는 `rv mon` 명령으로 활성화할 수 있다.

`-h` 또는 `--help`는 도움말 메뉴를 출력한다.

monitor 선택
rv listAvailable monitor names
Select monitorrv 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 <[email protected]>

.. include:: common_appendix.rst