Logo

Linux 内核

6.13.0-rc6

快速搜索

目录

  • 开发流程
  • 提交补丁
  • 行为准则
  • 维护者手册
  • 所有开发流程文档
  • 核心 API
  • 驱动程序 API
  • 子系统
  • 锁
  • 许可规则
  • 编写文档
  • 开发工具
  • 测试指南
  • 黑客指南
  • 跟踪
    • 函数跟踪器设计
    • 使用事件和跟踪点分析行为的注意事项
    • ftrace - 函数跟踪器
    • 使用 ftrace 挂钩函数
    • Fprobe - 函数入口/出口探针
    • 内核探针(Kprobes)
    • 基于 Kprobe 的事件跟踪
    • Uprobe-tracer:基于 Uprobe 的事件跟踪
    • 基于 Fprobe 的事件跟踪
    • 使用 Linux 内核跟踪点
    • 事件跟踪
    • 子系统跟踪点:kmem
    • 子系统跟踪点:电源
    • NMI 跟踪事件
    • MSR 跟踪事件
    • 内核内存映射 I/O 跟踪
    • 事件直方图
    • 直方图设计注意事项
    • 启动时跟踪
    • 使用跟踪器进行调试
    • 硬件延迟检测器
    • OSNOISE 跟踪器
    • Timerlat 跟踪器
    • 英特尔(R) 跟踪中心 (TH)
    • 无锁环形缓冲区设计
    • Tracefs 环形缓冲区内存映射
    • 系统跟踪模块
    • MIPI SyS-T over STP
    • CoreSight - ARM 硬件跟踪
    • user_events:基于用户的事件跟踪
    • 运行时验证
      • 运行时验证
      • 确定性自动机
      • 确定性自动机监视器合成
      • 确定性自动机插桩
      • 监视器 wip
      • 监视器 wwnr
    • 海思 PCIe 调优和跟踪设备
  • 故障注入
  • 热补丁
  • Rust
  • 管理
  • 构建系统
  • 报告问题
  • 用户空间工具
  • 用户空间 API
  • 固件
  • 固件和设备树
  • CPU 架构
  • 未分类文档
  • 翻译

本页

  • 显示源代码

运行时验证¶

  • 运行时验证
    • 运行时监视器和反应器
    • 在线 RV 监视器
    • 用户界面
  • 确定性自动机
    • C 语言中的确定性自动机
    • Graphviz .dot 格式
    • dot2c
    • 备注
    • 参考文献
  • 确定性自动机监视器合成
    • DA 监视器合成
    • dot2k
    • 监视器宏
    • 最后说明
  • 确定性自动机插桩
    • 跟踪回调函数
    • 启用和禁用函数
    • 插桩助手
  • 监视器 wip
    • 描述
    • 规范
  • 监视器 wwnr
    • 描述
    • 规范
©内核开发社区。| 由 Sphinx 5.3.0 & Alabaster 0.7.16 驱动 | 页面源代码