2. 嵌入式实时观测基础
实时嵌入式系统的调试与通用桌面软件有本质差异。桌面程序出错时，可以暂停进程、查看调用栈、修改内存再继续；而实时系统一旦被暂停，电机控制环路可能失步、通信协议可能超时、安全联锁可能失效。因此，实时观测的核心矛盾是：既要看清系统内部发生了什么，又不能改变系统的时序行为。理解这一矛盾，是掌握 SEGGER 实时观测与性能诊断体系的前提。
一、实时系统对可观测性的真实需求
可观测性（Observability）指从系统外部推断其内部状态的能力。对实时系统而言，需求可归纳为四类：
- 时序可观测：中断响应延迟、任务切换时刻、周期抖动、最坏执行时间（WCET）。这些量以微秒甚至纳秒计，必须在不干扰调度的前提下采样。
- 事件可观测：中断触发、任务就绪/阻塞、信号量获取、队列投递、错误分支进入。需要按时间顺序还原因果链。
- 数据可观测：关键变量、环形缓冲区水位、堆栈余量、CPU 负载。需要周期性或触发式采集。
- 长期可观测：现场设备连续运行数小时至数天，观测机制必须低开销、可回卷、可远程读取。
这四类需求共同约束了观测手段：采样必须低开销、时间戳可信、不长时间关中断、数据可回传。任何破坏其中一条的方案，都会让观测结果本身失真。
二、传统调试手段的局限
传统手段主要有三类，各有明确的失效场景：
| 手段 | 典型机制 | 实时系统中的问题 |
|---|---|---|
| 断点调试 | 替换指令为断点，命中后停机 | 停机期间外设继续运行，恢复后时序已错乱；无法观察周期性行为 |
| 单步/变量监视 | 逐条执行并读内存 | 执行速度下降几个数量级，实时性完全丧失 |
| 串口 printf | 格式化后经 UART 输出 | 格式化耗时数百微秒至毫秒，阻塞式发送，且改变中断时序 |
以 printf 为例：一次带整型参数的输出，格式化本身可能消耗 5～50 μs，若 UART 波特率为 115200，输出 20 字节约需 1.7 ms。若该语句位于 1 kHz 控制中断中，中断执行时间被拉长近两个数量级，控制周期直接崩溃。更隐蔽的问题是：printf 引入了额外的栈使用和库调用，可能掩盖原本的栈溢出故障。
三、非侵入式观测原理
非侵入式的本质是：把“观测动作”从被观测代码的执行路径中剥离出去。常见实现路径有三条：
- 硬件跟踪：利用 CPU 内置的指令跟踪单元（如 Cortex-M 的 ETM/MTB），把程序流经专用跟踪端口输出，CPU 不执行额外指令。
- 内存缓冲 + 后台搬运：目标代码只做“写一个事件字到 RAM 缓冲区”这一极短动作，由 DMA 或调试器在后台把数据搬走。SEGGER 的 RTT（Real Time Transfer）即属此类。
- 采样式剖析：以固定频率读取 PC 指针，统计热点，不修改程序。
其中 RTT 的机制最值得展开。目标端维护一个上行缓冲区和一个下行缓冲区，代码调用 SEGGER_RTT_Write() 时只做内存拷贝和索引更新，典型耗时在亚微秒级，且不关中断、不等待外设。调试主机通过 J-Link 以内存读写方式轮询缓冲区，把数据取出并显示。由于读写双方通过索引解耦，目标端几乎不会被主机速度拖慢。
// RTT 上行写入的典型调用（示意）
SEGGER_RTT_Write(0, &event, sizeof(event));
// 内部仅做：拷贝到 _acUpBuffer[0]，更新 WrOff
// 无阻塞、无格式化、无外设等待需要强调的是，非侵入式并非“零开销”，而是开销可控且不改变时序语义。写入缓冲区的几十到几百纳秒，通常远小于一次中断服务的关键路径预算。
四、SEGGER 方案的定位
SEGGER 的实时观测体系并非单一工具，而是围绕“低开销数据通道”构建的一组能力：
- RTT：通用双向数据通道，承载日志、变量、命令。
- SystemView：基于 RTT 的事件记录与可视化，还原任务、中断、API 调用的时间线。
- J-Trace / 指令跟踪：提供代码覆盖率与精确执行流。
- Ozone / Embedded Studio：调试前端，统一呈现上述数据。
其定位可概括为：在不停机、不破坏实时性的前提下，把系统内部的时间线、事件流和数据流搬到主机侧分析。与纯硬件跟踪相比，它成本更低、通道更灵活；与 printf 相比，它开销低两到三个数量级，且不阻塞。
五、选型判断：什么时候用哪种手段
实际工程中，可按以下条件快速判断：
- 问题与时序、并发、中断相关 → 优先 RTT + SystemView，必要时上硬件跟踪。
- 问题与逻辑分支、变量取值相关，且不在实时路径 → 断点调试仍是最快手段。
- 需要长期现场记录 → RTT 上行缓冲区 + 主机侧落盘，避免串口带宽瓶颈。
- 需要精确覆盖率或指令级执行流 → J-Trace 硬件跟踪。