C语言：步进电机运行时如何挂起线程

我在ARM控制器上基于CMSIS RTOS开发，用单个线程实现步进电机运动控制：电机先向一个方向运行2000步，再返回起点。

原实现中，执行runCommand()后，线程通过循环阻塞等待，直到中断触发步数计数器设置的标志位movementDone为真，才执行returnCommand()。尝试改用互斥锁优化阻塞逻辑，但对互斥锁的功能理解或实现存在错误。

旧代码（标志位阻塞实现） #

void stepperMotor_thread(void *arg)
{
  runCommand();
  while(!movementDone)
  {
    osDelay(100);
  }
  returnCommand();
}

void exti_handler()
{
  if (stepsreached)
  {
    stopCommand();
    movementDone = true;
  }
}

新代码（错误的互斥锁实现） #

osMutexId move_Mutex_ID;

const osMutexAttr_t Thread_Mutex_attr = {
    "myThreadMutex",    // 互斥锁名称
    osMutexPrioInherit, // 属性位
    NULL,               // 控制块内存
    0U                  // 控制块大小
};

void stepperMotor_thread(void *arg)
{
  move_Mutex_ID = osMutexNew(&Thread_Mutex_attr);
  runCommand();
  osMutexAcquire(move_Mutex_ID, osWaitForever);
  returnCommand();
}

void exti_handler()
{
  steps++;
  if (stepsreached())
  {
    stopCommand();
    osMutexRelease(move_Mutex_ID);
  }
}

问题分析与正确实现 #

互斥锁的误用 #

互斥锁的核心作用是保护共享资源的临界区访问，要求获取和释放必须在同一个线程上下文中完成，且CMSIS RTOS的互斥锁API不支持在中断上下文调用osMutexRelease——你的实现完全违背了互斥锁的设计逻辑，无法实现预期的同步效果。

正确方案：二进制信号量同步 #

线程与中断之间的同步，应该使用二进制信号量（专门用于异步事件同步的机制，支持中断上下文操作），实现步骤如下：

1. 定义并初始化信号量（建议在系统初始化阶段创建，避免线程重复创建）

osSemaphoreId_t moveSemaphore;

const osSemaphoreAttr_t semaphoreAttr = {
    .name = "MoveSemaphore"
};

// 系统初始化时调用
void initMotorSync(void) {
    // 创建二进制信号量，初始值为0（无可用信号）
    moveSemaphore = osSemaphoreNew(1, 0, &semaphoreAttr);
}

2. 修改线程代码，等待信号量唤醒

void stepperMotor_thread(void *arg)
{
    runCommand();
    // 阻塞等待信号量，直到中断触发
    osSemaphoreAcquire(moveSemaphore, osWaitForever);
    returnCommand();
}

3. 修改中断处理函数，释放信号量唤醒线程

void exti_handler()
{
    steps++;
    if (stepsreached())
    {
        stopCommand();
        // 从中断中释放信号量，唤醒等待的线程
        osSemaphoreRelease(moveSemaphore);
    }
}

方案优势 #

• 避免旧代码中osDelay(100)导致的周期性CPU唤醒，线程进入深度阻塞，大幅降低资源消耗
• 严格符合RTOS同步机制的设计逻辑，中断与线程的交互安全可靠

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