1. 课程导入与调试工程认知
当嵌入式软件从“裸机点灯”走向多任务、多核、带 RTOS、带协议栈、带外部存储与高速外设的复杂系统时，调试的难度往往不再来自“代码写错了”，而来自“系统在真实时序下发生了什么”。传统 printf 打点会改变时序、占用串口、难以覆盖中断与多核竞争；仅靠 IDE 断点又难以观察长时间运行中的偶发异常。SEGGER Ozone 正是面向这类场景的图形化调试器：它不参与编译，而是作为独立的调试前端，通过 J-Link 连接目标芯片，加载 ELF 调试信息，对运行中的固件进行下载、复位、断点、单步、变量与内存观察、实时数据采样和指令级追踪。
理解 Ozone 的定位，关键要把它与三类工具区分开：编译器/链接器负责把源码变成带调试信息的可执行文件；J-Link 负责在主机与目标芯片调试接口之间做物理与协议转换；Ozone 则负责把“调试信息 + 目标状态”翻译成工程师能看懂的时间线、变量、寄存器和调用栈。因此 Ozone 的核心能力可以归纳为四条主线：程序下载与复位控制、源码级与指令级调试、非侵入式实时观测、多核与脚本化自动化。这四条主线共同支撑起复杂系统的可观测性。
从工程链路看，Ozone 的工作流可以概括为“准备—连接—加载—观测—定位—验证”六个环节，但它并不是一条必须严格顺序执行的流水线。实际调试中，工程师往往在“观测”和“定位”之间反复迭代：先通过 RTT 看到某任务输出异常，再下条件断点捕获现场，查看调用栈与变量，修改代码后重新下载验证。理解这条链路的每一环，才能知道问题出在哪一环时该用什么手段。
准备阶段的核心是保证调试信息完整。编译时必须开启调试符号（如 GCC 的 -g、-gdwarf-4 或更高版本），并保留优化等级与调试信息的一致性。若使用 -O2 优化，变量可能被寄存器化或消除，断点位置也可能被重排，此时 Ozone 中看到的行号与变量值会与源码不完全对应。一个常见做法是：日常调试用 -Og 或 -O0，性能验证用 -O2，并在 Ozone 中通过反汇编窗口确认实际执行路径。链接脚本中的 Flash/RAM 地址、栈顶地址、向量表位置也必须与 Ozone 的下载配置一致，否则会出现“下载成功但跑飞”的现象。
连接阶段需要选择正确的目标器件与接口。以常见的 Cortex-M 为例，SWD 只需 SWCLK 与 SWDIO 两根线，配合 GND 与可选 RESET 即可工作；若目标板供电独立，还需注意 J-Link 的 VTref 参考电压。Ozone 的 New Project 向导会要求选择器件型号、接口类型、接口速度（如 4 MHz、10 MHz）和复位方式。接口速度过高在长排线或噪声环境下容易连接失败，此时可降到 1 MHz 再试。连接成功后，Ozone 会读取芯片 ID、内核类型和 Flash 容量，这些信息是后续下载与断点设置的基础。
加载阶段是把 .elf 文件中的代码段、数据段和调试信息映射到目标地址空间。Ozone 支持直接下载到 Flash，也支持下载到 RAM 运行，后者在频繁修改、快速迭代时更高效。下载完成后，程序计数器停在复位向量或用户指定的入口。此时可以在 main 函数、任务入口或中断服务函数上设置断点。对于 RTOS 系统，Ozone 能识别任务控制块，显示当前任务、就绪任务和阻塞任务列表，这对分析任务调度异常非常关键。
观测阶段是 Ozone 区别于普通调试器的核心。RTT（Real Time Transfer）通过目标内存中的环形缓冲区与 J-Link 通信，不需要额外引脚，也不占用 UART，输出延迟通常在微秒级。使用 RTT 时，目标端需要链接 SEGGER RTT 库并调用 SEGGER_RTT_printf 等接口，主机端 Ozone 打开 Terminal 窗口即可看到输出。SWO 则利用 Cortex-M 的 ITM 模块输出指令追踪和事件计数，适合观察中断频率、任务切换次数和函数执行时间。需要注意的是，RTT 缓冲区大小、SWO 时钟分频和 ITM 使能位必须与目标配置匹配，否则会出现无输出或数据错乱。
定位阶段是把观测到的异常现象映射回代码。典型手段包括：条件断点（如 count > 100 时暂停）、数据断点（某变量被写入时暂停）、调用栈回溯（从异常处理函数反推调用路径）、内存窗口对比（检查栈溢出、数组越界、堆碎片）。例如，当 RTT 输出显示某任务长时间未运行时，可以先在任务切换钩子函数中设置断点，观察 pxCurrentTCB 的变化；若发现某任务栈指针接近栈底，则基本可判定为栈溢出。此时再回到链接脚本或任务创建代码中调整栈大小。
验证阶段是闭环的最后一环。修改代码后重新编译、下载、运行，用同样的观测手段确认异常是否消失，并检查是否引入新的时序问题。对于复杂系统，建议把关键调试步骤写成 Ozone 脚本（.jdebug 文件），例如自动连接、下载、设置断点、运行到某函数、导出变量值。这样既能减少重复操作，也能在回归测试中保持一致性。