The Linux Kernel
6.12.4-arch1-6.12.4-arch1-1
Quick search
Contents
Development process
Submitting patches
Code of conduct
Maintainer handbook
All development-process docs
Core API
Driver APIs
Subsystems
Locking
Licensing rules
Writing documentation
Development tools
Testing guide
Hacking guide
Tracing
Function Tracer Design
Notes on Analysing Behaviour Using Events and Tracepoints
ftrace - Function Tracer
Using ftrace to hook to functions
Fprobe - Function entry/exit probe
Kernel Probes (Kprobes)
Kprobe-based Event Tracing
Uprobe-tracer: Uprobe-based Event Tracing
Fprobe-based Event Tracing
Using the Linux Kernel Tracepoints
Event Tracing
Subsystem Trace Points: kmem
Subsystem Trace Points: power
NMI Trace Events
MSR Trace Events
In-kernel memory-mapped I/O tracing
Event Histograms
Histogram Design Notes
Boot-time tracing
Hardware Latency Detector
OSNOISE Tracer
Timerlat tracer
Intel(R) Trace Hub (TH)
Lockless Ring Buffer Design
Tracefs ring-buffer memory mapping
System Trace Module
MIPI SyS-T over STP
CoreSight - ARM Hardware Trace
user_events: User-based Event Tracing
Runtime Verification
Runtime Verification
Deterministic Automata
Deterministic Automata Monitor Synthesis
Deterministic Automata Instrumentation
Monitor wip
Monitor wwnr
HiSilicon PCIe Tune and Trace device
Fault injection
Livepatching
Rust
Administration
Build system
Reporting issues
Userspace tools
Userspace API
Firmware
Firmware and Devicetree
CPU architectures
Unsorted documentation
Translations
This Page
Show Source
Runtime Verification
¶
Runtime Verification
Runtime Monitors and Reactors
Online RV monitors
The user interface
Deterministic Automata
Deterministic Automaton in C
Graphviz .dot format
dot2c
Remarks
References
Deterministic Automata Monitor Synthesis
DA monitor synthesis
dot2k
Monitor macros
Final remarks
Deterministic Automata Instrumentation
Tracing callback functions
enable and disable functions
Instrumentation helpers
Monitor wip
Description
Specification
Monitor wwnr
Description
Specification