Raspberry Pi Pico SDK中cyw43驱动在FreeRTOS下的优先级问题分析

问题背景

在基于Raspberry Pi Pico W的开发过程中，开发者Misaka0x2730发现当使用FreeRTOS时，cyw43驱动初始化存在一个严重的稳定性问题。具体表现为：当从优先级高于CYW43_TASK_PRIORITY的任务中调用cyw43_arch_init()函数时，系统会100%触发硬件错误(HardFault)。

问题现象

开发者观察到以下关键现象：

1. 当调用cyw43_arch_init()的任务优先级高于CYW43_TASK_PRIORITY时，必定触发HardFault
2. 当调用任务优先级等于或低于CYW43_TASK_PRIORITY时，初始化可以正常完成
3. 在优先级相等的情况下，后续调用cyw43_arch_gpio_put()也会导致HardFault

通过调试发现，HardFault发生在async_context异步上下文处理过程中，具体表现为访问了一个无效的指针值（when_pending_list->next）。

技术分析

经过项目维护者peterharperuk的深入分析，问题根源在于cyw43驱动初始化过程中的异步任务同步机制存在缺陷。具体流程如下：

1. cyw43_driver_init()调用async_context_execute_sync()来在cyw43任务线程中执行cyw43_irq_init()
2. async_context_freertos_execute_sync()使用局部变量存储"worker"并等待信号量
3. handle_sync_func_call在cyw43任务线程中被调用，执行cyw43_irq_init后通知信号量
4. 由于cyw43任务线程优先级较低，async_context_freertos_execute_sync()得以继续执行，导致存储"worker"的局部变量超出作用域
5. 之后handle_sync_func_call尝试调用async_context_remove_when_pending_worker时，worker已经不存在

问题本质

这个问题暴露了两个关键缺陷：

1. 异步任务同步机制缺陷：handle_sync_func_call可能尝试操作已经不存在的worker
2. 内存访问安全问题：async_context_base_execute_once访问了已释放worker的"next"指针

解决方案

项目团队已经在develop分支中修复了这个问题。修复主要涉及：

1. 确保worker的生命周期管理
2. 防止在worker失效后仍被访问
3. 优化异步上下文的任务同步机制

开发者建议

对于使用Pico SDK和FreeRTOS的开发者，建议：

1. 及时更新到包含修复的SDK版本
2. 在初始化cyw43驱动时，确保调用任务的优先级不高于CYW43_TASK_PRIORITY
3. 在调试类似异步任务问题时，特别注意任务优先级和变量生命周期

这个问题很好地展示了在RTOS环境下开发时，任务优先级管理和资源生命周期控制的重要性，特别是在涉及异步操作和任务间通信的场景中。