Runtime Verification(rv) 도구 문서 | Linux 6.18.37

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

1. 요약·해설

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

요약·해설

index.rst:1-25

Runtime Verification 도구 문서 트리와 HTML 일반 색인 구성을 안내합니다.

2. 영어 원문 전체

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

원문 전체 펼치기

1 .. SPDX-License-Identifier: GPL-2.0

3 ==============================

4 Runtime verification (rv) tool

5 ==============================

7 **rv** tool provides the interface for a collection of runtime verification

8 (rv) monitors.

10 .. toctree::

11 :maxdepth: 1

13 rv

14 rv-list

15 rv-mon

16 rv-mon-wip

17 rv-mon-wwnr

18 rv-mon-sched

20 .. only:: subproject and html

22 Indices

23 =======

25 * :ref:`genindex`

3. 한국어 전문 번역

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

RV monitor 모음의 사용자 인터페이스

1-17

이 문서는 SPDX 식별자 `GPL-2.0`을 사용한다. `rv` 도구는 Runtime Verification monitor 모음을 다루는 사용자 인터페이스를 제공한다.

문서 트리는 명령 개요 `rv`, monitor 나열 `rv-list`, monitor 실행 `rv-mon`, 샘플 monitor `wip`·`wwnr`, scheduler monitor 모음 `rv-mon-sched`를 한 단계 깊이로 연결한다.

RV 문서 트리

문서내용

rvRuntime Verification 개요와 명령

rv-list사용 가능한 monitor 나열

rv-mon선택한 monitor 실행

rv-mon-wip / rv-mon-wwnr샘플 per-CPU / per-task monitor

rv-mon-schedscheduler monitor 모음

인덱스가 연결하는 사용자용 문서다.

.. SPDX-License-Identifier: GPL-2.0

==============================
Runtime verification (rv) tool
==============================

**rv** tool provides the interface for a collection of runtime verification
(rv) monitors.

.. toctree::
   :maxdepth: 1

   rv
   rv-list
   rv-mon
   rv-mon-wip
   rv-mon-wwnr

HTML 하위 프로젝트의 색인

18-25

이 문서가 HTML 하위 프로젝트로 빌드될 때 `Indices` 절과 일반 색인 `genindex` 링크를 추가한다.

HTML 인덱스 조건

subproject and htmlIndices section

Indices sectiongenindex

Sphinx의 `only` 조건에 따라 색인 노출 여부가 결정된다.

   rv-mon-sched

.. only::  subproject and html

   Indices
   =======

   * :ref:`genindex`