Percepio Tracealyzer已經在600多個支持Zephyr的開發(fā)板上完成了驗證，可以幫助開發(fā)人員改進Zephyr應用的調試和性能分析。

Zephyr結構良好的構建系統(tǒng)和配置框架使得跨硬件平臺的調試和跟蹤變得更加容易。最新的測試表明，Tracealyzer與我們測試的649塊電路板中的617塊兼容。不兼容的主板大多有內存限制（可用于跟蹤的內存少于32KB），或者是需要額外主機編譯器配置的模擬系統(tǒng)。

開發(fā)板列表：https://docs.zephyrproject.org/latest/boards/index.html#

對于Zephyr開發(fā)者來說，如果你正在使用的開發(fā)板已在支持列表中，那么現(xiàn)在就可以使用Tracealyzer在基于時間軸的直觀界面可視化系統(tǒng)運行行為，包括線程執(zhí)行、CPU使用情況及內核事件。

在Zephyr中使用Tracealyzer

為Zephyr設置Tracealyzer跟蹤很簡單，在Zephyr應用中啟用Tracealyzer快照跟蹤的步驟如下：

? 確保硬件有足夠的內存。為了有效跟蹤，建議至少使用32KB。

? 修改Zephyr配置，在project.conf添加：

CONFIG_TRACING=y CONFIG_PERCEPIO_TRACERECORDER=y CONFIG_PERCEPIO_TRC_CFG_STREAM_PORT_RINGBUFFER=y CONFIG_PERCEPIO_TRC_START_MODE_START=y

? 如果內存緊張，可以減少RingBuffer的大小：

CONFIG_PERCEPIO_TRC_CFG_STREAM_PORT_RINGBUFFER_SIZE = 5120

? 構建并運行應用程序，Tracealyzer將收集分析數據，后續(xù)可以分析這些數據了解系統(tǒng)行為。

有關更詳細的指南，可以查看Zephyr設置文檔：https://percepio.com/getstarted/latest/html/zephyr.html#using-the-syscall-extension-zephyr-3-4-0-and-later。

用Tracealyzer調試

Zephyr中的優(yōu)先級反轉

在像Zephyr這樣的實時系統(tǒng)中，一個常見的問題是優(yōu)先級反轉，因為低優(yōu)先級的任務占用了高優(yōu)先級任務需要的資源導致高優(yōu)先級任務被阻塞。如果任務調度和同步行為不可見，很難檢測到這個問題。

診斷優(yōu)先級反轉示例

在一個基于Zephyr的應用程序中，其中高優(yōu)先級的DataProcessingTask任務應該立即運行，但意外地延遲了。低優(yōu)先級的SensorTask持有互斥信號量，阻止了DataProcessingTask任務的執(zhí)行。

原則上，高優(yōu)先級任務（上圖的H）不應該被低優(yōu)先級任務阻塞。在實踐中，某些設計決策無論可能會導致這種情況發(fā)生，這種情況被稱為優(yōu)先級反轉。

通過Tracealyzer跟蹤調試

1 捕獲跟蹤數據：運行啟用了Tracealyzer跟蹤功能的應用程序，收集系統(tǒng)執(zhí)行的快照信息。

2 分析執(zhí)行時間軸：在Tracealyzer中打開跟蹤文件并查看任務執(zhí)行圖。

3 識別阻塞依賴：使用Tracealyzer可視化工具查找DataProcessingTask任務正在等待的位置，并查看哪個低優(yōu)先級任務正在占用資源。

4 確認優(yōu)先級反轉：如果低優(yōu)先級任務（SensorTask）阻塞了高優(yōu)先級任務（DataProcessingTask），檢查是否啟用了優(yōu)先級繼承機制。

5 解決問題

啟用互斥信號量的優(yōu)先級繼承（在prj.conf中設置CONFIG_PRIORITY_CEILING=y）。

優(yōu)化任務調度，減少阻塞時間。

考慮分解長時間運行的低優(yōu)先級任務。

使用Tracealyzer，這種類型的分析變得簡單明了，幫助用戶快速查明和解決優(yōu)先級反轉問題。

多任務軟件系統(tǒng)在運行時的實際行為，取決于許多因素，比如任務和中斷的時間、它們的相互作用和輸入。憑借Zephyr的強大架構和我們驗證的開發(fā)板支持，通過Tracealyzer跟蹤工具，用戶可以更好地了解Zephyr系統(tǒng)的運行時世界。

麥克泰技術代理Tracealyzer，具有豐富的RTOS分析軟件與調試工具使用方面的知識和經驗，歡迎咨詢info@bmrtech.com。