Zephyr RTOS中k_sleep与k_msleep是否非阻塞及LED闪烁实现咨询

一、k_sleep与k_msleep的阻塞性说明 #

首先纠正错误信息：k_sleep和k_msleep都是阻塞调用，二者本质完全等价——k_msleep(ms)是k_sleep(K_MSEC(ms))的宏包装，功能上没有任何区别。

调用这两个函数时，当前线程会进入休眠状态，主动让出CPU资源，直到指定的超时时间到达才会被内核唤醒。不存在所谓“非阻塞”的情况，你看到的帖子描述是错误的。

二、当前LED闪烁实现方案的问题与改进建议 #

你的实现方案不可行，核心原因如下：
系统工作队列是内核共享的关键执行载体，其处理线程要求所有提交的工作项函数必须是无阻塞的。如果在工作项中调用k_sleep这类阻塞函数，会导致系统工作队列线程被挂起，无法处理其他等待的工作项，严重时会触发内核panic，破坏系统整体稳定性。

针对BLE连接/断开时的LED闪烁需求，推荐两种安全可行的实现方式：

方式1：创建独立专用线程处理闪烁任务 #

创建一个单独的线程，通过信号量接收闪烁指令，在线程内部执行带延迟的LED翻转操作：

static uint8_t nblinks = 0;
static struct k_sem blink_sem;
static K_THREAD_STACK_DEFINE(blink_stack, 512);
static struct k_thread blink_thread_data;

static void blink_thread(void *p1, void *p2, void *p3)
{
    int val = 0;
    while (1) {
        k_sem_take(&blink_sem, K_FOREVER);
        val = 0;
        for (int i = 0; i < nblinks; ++i) {
            gpio_pin_set_dt(&led, (val = !val));
            k_sleep(K_MSEC(500));
        }
        // 闪烁结束后重置LED状态（可选）
        gpio_pin_set_dt(&led, 0);
    }
}

void connected(...)
{
    ...
    nblinks = 2;
    k_sem_give(&blink_sem);
}

void disconnected(...)
{
    ...
    nblinks = 3;
    k_sem_give(&blink_sem);
}

void main(void)
{
    k_sem_init(&blink_sem, 0, 1);
    k_thread_create(&blink_thread_data, blink_stack,
                    K_THREAD_STACK_SIZEOF(blink_stack), blink_thread,
                    NULL, NULL, NULL,
                    K_PRIO_COOP(7), 0, K_NO_WAIT);
    ...
}

方式2：使用延迟工作项（k_work_delayable）实现非阻塞闪烁 #

利用延迟工作项的特性，每次翻转LED后重新提交延迟工作项，直到完成指定闪烁次数：

static uint8_t remaining_flips = 0;
static bool led_state = false;
static struct k_work_delayable blink_work;

static void blink_work_fn(struct k_work *work)
{
    led_state = !led_state;
    gpio_pin_set_dt(&led, led_state);
    
    remaining_flips--;
    if (remaining_flips > 0) {
        // 提交下一次翻转的延迟工作项
        k_work_schedule(&blink_work, K_MSEC(500));
    } else {
        // 闪烁结束后关闭LED（可选）
        gpio_pin_set_dt(&led, 0);
        led_state = false;
    }
}

void connected(...)
{
    ...
    // 取消未完成的闪烁任务（如果存在）
    k_work_cancel_delayable(&blink_work);
    remaining_flips = 4; // 2次闪烁对应4次状态翻转
    k_work_schedule(&blink_work, K_NO_WAIT);
}

void disconnected(...)
{
    ...
    k_work_cancel_delayable(&blink_work);
    remaining_flips = 6; // 3次闪烁对应6次状态翻转
    k_work_schedule(&blink_work, K_NO_WAIT);
}

void main(void)
{
    k_work_init_delayable(&blink_work, blink_work_fn);
    ...
}

这两种方式都不会阻塞系统工作队列，能够安全满足你的功能需求。

内容的提问来源于stack exchange，提问作者First User