요약·해설과 원문, 전문 번역을 서로 분리했습니다. API 이름, symbol, source path는 원문 표기를 사용합니다.
1. 요약·해설
원문의 핵심 논리와 kernel programming 관점의 보충 설명입니다. 아래의 전문 번역과는 별도로 작성했습니다.
2. 영어 원문 전체
번역 기준이 된 Linux v6.18.37 원문입니다. 줄 번호는 이 버전의 파일 좌표입니다.
원문 전체 펼치기
1
====================
2
Runtime Verification
3
====================
5
.. toctree::
6
:maxdepth: 2
7
:glob:
9
runtime-verification.rst
10
deterministic_automata.rst
11
linear_temporal_logic.rst
12
monitor_synthesis.rst
13
da_monitor_instrumentation.rst
14
monitor_wip.rst
15
monitor_wwnr.rst
16
monitor_sched.rst
17
monitor_rtapp.rst
3. 한국어 전문 번역
영어 원문의 문단 순서와 의미를 유지한 전체 번역입니다. 코드, 함수명, symbol과 URL은 원문 표기를 유지합니다.
Runtime Verification 문서 목차
1-17이 페이지는 Runtime Verification 문서 모음의 최상위 목차다. `toctree`는 최대 깊이 2와 glob 처리를 사용한다.
source path주제
`runtime-verification.rst`Linux RV 개요와 interface
`deterministic_automata.rst`결정적 오토마타 형식과 C·DOT 표현
`linear_temporal_logic.rst`선형 시간 논리
`monitor_synthesis.rst`monitor 합성
`da_monitor_instrumentation.rst`결정적 오토마타 monitor 계측
`monitor_wip.rst`wip monitor
`monitor_wwnr.rst`wwnr monitor
`monitor_sched.rst`scheduler monitor
`monitor_rtapp.rst`rt-app monitor
목차에 포함된 개념, 합성, 계측과 monitor 사례를 source path 순서대로 정리한다.
각 항목은 Runtime Verification의 이론에서 실제 kernel 계측과 monitor 사례로 이어지는 읽기 순서를 제공한다.
.. toctree::
:maxdepth: 2
:glob:
runtime-verification.rst
deterministic_automata.rst
linear_temporal_logic.rst
monitor_synthesis.rst
da_monitor_instrumentation.rst
monitor_wip.rst
monitor_wwnr.rst
monitor_sched.rst
monitor_rtapp.rst====================
Runtime Verification
====================
.. toctree::
:maxdepth: 2
:glob:
runtime-verification.rst
deterministic_automata.rst
linear_temporal_logic.rst
monitor_synthesis.rst
da_monitor_instrumentation.rst
monitor_wip.rst
monitor_wwnr.rst
monitor_sched.rst
monitor_rtapp.rst
요약·해설
index.rst:1-17Linux Runtime Verification의 이론, monitor 합성, 계측과 실제 monitor 사례 문서를 연결하는 최상위 목차입니다.