TinyUSB项目中的nRF5x DMA传输竞态条件分析与修复

问题背景

在嵌入式USB开发领域，TinyUSB作为一个轻量级开源USB协议栈，被广泛应用于各种微控制器平台。近期在nRF5x系列芯片（特别是PCA10056开发板）上发现了一个与DMA传输相关的竞态条件问题，该问题在CDC-ACM设备频繁断开/重连时会导致断言失败。

问题现象

当使用CDC-ACM接口进行数据传输，并配合BLE功能时，经过约300次设备断开/重连循环后，系统会出现断言失败。具体错误发生在usbd.c文件的1322行，断言检查发现端点状态异常（_usbd_dev.ep_status[epnum][dir].busy == 0条件不满足）。

技术分析

通过深入调试和日志分析，发现问题出现在控制传输的状态阶段处理过程中。关键代码位于dcd_nrf5x.c文件中，涉及以下操作序列：

1. 启动EP0状态阶段的DMA传输（edpt_dma_start）
2. 手动生成传输完成事件（dcd_event_xfer_complete）

原始代码中这两个操作的顺序存在潜在风险。当DMA启动后，如果在事件队列处理前发生中断，可能导致控制传输状态机进入不一致状态。

根本原因

详细分析表明，问题源于以下时序问题：

1. 主机发送Set Line Coding请求
2. 设备任务调度数据读取(7字节)和EP82写入(14字节)
3. 中断通知7字节传输完成
4. 任务尝试发送状态阶段(0字节)
5. 在DMA启动后，中断可能再次触发（EP82完成或新Setup请求）
6. 事件处理顺序被打乱，导致状态机混乱

解决方案

经过验证，最有效的修复方法是调整上述两个关键操作的顺序：

if (control_status) {
    // 先发送传输完成事件
    dcd_event_xfer_complete(0, ep_addr, 0, XFER_RESULT_SUCCESS, is_in_isr());
    
    // 再启动状态阶段DMA传输
    edpt_dma_start(&NRF_USBD->TASKS_EP0STATUS);
}

这一调整确保了事件通知在DMA操作前完成，避免了潜在的竞态条件。

验证方法

为验证修复效果，开发了简单的测试方案：

1. Python脚本模拟频繁的CDC设备连接/断开：

import serial

tty="COM30"
SERIAL_BAUDRATE=1000000

for i in range(0, 20000):
    ser = serial.Serial(port=tty, baudrate=SERIAL_BAUDRATE, timeout=0.01)
    ser.close()

2. 在修复前，问题通常在300次循环内出现
3. 修复后，系统稳定运行超过20000次循环

技术启示

这个案例展示了USB协议栈开发中的几个重要考量：

1. 中断与主任务间的同步至关重要
2. DMA操作的时序可能影响协议状态机
3. 控制传输的各阶段处理需要严格排序
4. 高频率的连接/断开测试是验证USB设备稳定性的有效手段

该修复已被纳入TinyUSB主分支，显著提高了nRF5x平台USB设备的稳定性。对于嵌入式USB开发者而言，这个案例也提醒我们在处理DMA传输时要特别注意操作顺序和中断安全。