요약·해설, 영어 원문, 전체 번역을 구분해 실었습니다. API 이름, 코드 심벌, 소스 경로는 원문 표기를 유지합니다.
1. 요약·해설
원문의 핵심 내용을 정리하고 커널 프로그래밍에 필요한 설명을 덧붙였습니다. 아래의 전체 번역과는 별도로 작성한 해설입니다.
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. 한국어 전문 번역
영어 원문의 문단 순서와 의미에 맞춰 전체 내용을 번역했습니다. 코드, 함수명, 코드 심벌, 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 사례 문서를 연결하는 최상위 목차입니다.