FreeRTOS延时机制源码剖析:vTaskDelay与vTaskDelayUntil,一字之差,本质之别

TaskDelay（相对）：      0 ---负载100--- 100 --睡500-- 600 ---负载--- 700 --睡-- 1200 ...                                  唤醒点：600, 1200, 1800...  每圈 +600，误差累积vTaskDelayUntil（绝对）： 0 ---负载100--- 100 --睡400-- 500 ---负载100--- 600 --睡400-- 1000 ...                                  唤醒点：500, 1000, 1500...  恒在 500 网格上

/* FreeRTOS/tasks.c */void vTaskDelay(const TickType_t xTicksToDelay ){    BaseType_t xAlreadyYielded = pdFALSE;    /* A delay time of zero just forces a reschedule. */    if( xTicksToDelay > ( TickType_t ) 0U )    {        vTaskSuspendAll();        {            configASSERT( uxSchedulerSuspended == 1U );            prvAddCurrentTaskToDelayedList( xTicksToDelay, pdFALSE );        }        xAlreadyYielded = xTaskResumeAll();    }    /* Force a reschedule if xTaskResumeAll has not already done so */    if( xAlreadyYielded == pdFALSE )    {        taskYIELD_WITHIN_API();      /* 触发 PendSV，CPU 交给最高就绪任务 */    }}

/* FreeRTOS/tasks.c */PRIVILEGED_DATA static List_t * volatile pxDelayedTaskList;         /* 当前轮延时链表 */PRIVILEGED_DATA static List_t * volatile pxOverflowDelayedTaskList; /* 溢出轮延时链表 */PRIVILEGED_DATA static volatile TickType_t xNextTaskUnblockTime;    /* 最早唤醒时刻缓存 */

/* FreeRTOS/tasks.c */static void prvAddCurrentTaskToDelayedList( TickType_t xTicksToWait,                                            const BaseType_t xCanBlockIndefinitely ){    TickType_t xTimeToWake;    const TickType_t xConstTickCount = xTickCount;    /* ① 先从就绪链表摘下来（同一个 xStateListItem 两边复用） */    if( uxListRemove( &( pxCurrentTCB->xStateListItem ) ) == ( UBaseType_t ) 0 )    {        portRESET_READY_PRIORITY( pxCurrentTCB->uxPriority, uxTopReadyPriority );    }    if( ( xTicksToWait == portMAX_DELAY ) && ( xCanBlockIndefinitely != pdFALSE ) )    {        /* ② 永久阻塞：挂挂起链表，tick 永远叫不醒 */        listINSERT_END( &xSuspendedTaskList, &( pxCurrentTCB->xStateListItem ) );    }    else    {        /* ③ 相对 → 绝对：唤醒时刻 = 现在 + 睡多久 */        xTimeToWake = xConstTickCount + xTicksToWait;        listSET_LIST_ITEM_VALUE( &( pxCurrentTCB->xStateListItem ), xTimeToWake );        if( xTimeToWake < xConstTickCount )        {            /* ④ 加法回绕 → 挂溢出链表 */            vListInsert( pxOverflowDelayedList, &( pxCurrentTCB->xStateListItem ) );        }        else        {            /* ⑤ 未回绕 → 挂当前链表（按唤醒时刻升序） */            vListInsert( pxDelayedList, &( pxCurrentTCB->xStateListItem ) );            if( xTimeToWake < xNextTaskUnblockTime )            {                xNextTaskUnblockTime = xTimeToWake;   /* 刷新最早唤醒缓存 */            }        }    }}

/* FreeRTOS/tasks.c */BaseType_t xTaskDelayUntil( TickType_t * const pxPreviousWakeTime,                            const TickType_t xTimeIncrement ){    TickType_t xTimeToWake;    BaseType_t xAlreadyYielded, xShouldDelay = pdFALSE;    configASSERT( pxPreviousWakeTime );    configASSERT( ( xTimeIncrement > 0U ) );      /* 周期必须 > 0 */    vTaskSuspendAll();    {        const TickType_t xConstTickCount = xTickCount;        /* ① 绝对刻度：目标唤醒时刻 = 上次基准 + 周期 */        xTimeToWake = *pxPreviousWakeTime + xTimeIncrement;        if( xConstTickCount < *pxPreviousWakeTime )        {            /* tick 已回绕而基准还没跟上 → 只有目标刻度也回绕且在未来才睡 */            if( ( xTimeToWake < *pxPreviousWakeTime ) && ( xTimeToWake > xConstTickCount ) )            {                xShouldDelay = pdTRUE;            }        }        else        {            /* ② 常规分支：目标刻度回绕了，或还在未来 → 睡 */            if( ( xTimeToWake < *pxPreviousWakeTime ) || ( xTimeToWake > xConstTickCount ) )            {                xShouldDelay = pdTRUE;            }        }        /* ③ 灵魂：基准无条件推进——不管这次睡没睡成 */        *pxPreviousWakeTime = xTimeToWake;        if( xShouldDelay != pdFALSE )        {            /* ④ 实际阻塞时长 = 目标刻度 - 现在（差值！） */            prvAddCurrentTaskToDelayedList( xTimeToWake - xConstTickCount, pdFALSE );        }    }    xAlreadyYielded = xTaskResumeAll();    if( xAlreadyYielded == pdFALSE )    {        taskYIELD_WITHIN_API();    }    return xShouldDelay;   /* pdFALSE = 丢拍：刻度已过，没睡就返回了 */}

/* FreeRTOS/tasks.c */BaseType_t xTaskIncrementTick(void){    ...    xConstTickCount = xTickCount + 1;    xTickCount = xConstTickCount;    /* ① tick 回绕（0xFFFFFFFF → 0）→ 交换两条延时链表 */    if( xConstTickCount == ( TickType_t ) 0U )    {        taskSWITCH_DELAYED_LISTS();    }    /* ② 没到下一个唤醒时刻 → 直接返回，连链表都不看 */    if( xConstTickCount >= xNextTaskUnblockTime )    {        for( ; ; )        {            if( listLIST_IS_EMPTY( pxDelayedTaskList ) != pdFALSE )            {                xNextTaskUnblockTime = portMAX_DELAY;   /* 链表空了，无限期休眠 */                break;            }            /* ③ 链表头 = 最早该醒的任务（升序保证） */            pxTCB = listGET_OWNER_OF_HEAD_ENTRY( pxDelayedTaskList );            xItemValue = listGET_LIST_ITEM_VALUE( &( pxTCB->xStateListItem ) );            if( xConstTickCount < xItemValue )            {                xNextTaskUnblockTime = xItemValue;   /* ④ 还没到点：刷新缓存走人 */                break;            }            /* ⑤ 到点了：从延时链表摘除（顺带从事件链表摘除） */            listREMOVE_ITEM( &( pxTCB->xStateListItem ) );            if( listLIST_ITEM_CONTAINER( &( pxTCB->xEventListItem ) ) != NULL )            {                listREMOVE_ITEM( &( pxTCB->xEventListItem ) );            }            prvAddTaskToReadyList( pxTCB );            /* 挂回就绪链表 */            /* ⑥ 抢占开着且醒来的是高优先级 → 标记切换 */            if( pxTCB->uxPriority > pxCurrentTCB->uxPriority )            {                xSwitchRequired = pdTRUE;            }        }    }    ...    return xSwitchRequired;   /* 返回 true 则 PendSV 执行上下文切换 */}

/* FreeRTOS/tasks.c */#define taskSWITCH_DELAYED_LISTS()                                                      \do {                                                                                    \    List_t * pxTemp;                                                                   \    configASSERT( ( listLIST_IS_EMPTY( pxDelayedTaskList ) ) );                         \    pxTemp = pxDelayedTaskList;                                                         \    pxDelayedTaskList = pxOverflowDelayedTaskList;                                      \    pxOverflowDelayedTaskList = pxTemp;                                                 \} while( 0 )

/* 方案A：vTaskDelay —— 相对延时，误差累积 */voidtask_delay(void *pvParameters){    (void)pvParameters;    uint32_t ulCnt = 0;    TickType_t xCycleStart = xTaskGetTickCount();   /* 固定漂移基准，不重置！ */    TickType_t xLast = xTaskGetTickCount();    for (;;)    {        vBusyWork(100);                             /* 100ms 真实负载 */        vTaskDelay(pdMS_TO_TICKS(500));             /* 相对：从"此刻"再等 500ms */        TickType_t xNow = xTaskGetTickCount();        ulCnt++;        /* 累计漂移 = 实际唤醒时刻 - 理想时刻(起始 + 次数×周期) */        int32_t lDrift = (int32_t)(xNow - xCycleStart)                       - (int32_t)pdMS_TO_TICKS(ulCnt * 500);        printf("[A vTaskDelay    ] #%u 周期=%ums 累计漂移=%dms\n",               (unsigned)ulCnt,               (unsigned)((xNow - xLast) * portTICK_PERIOD_MS),               (int)(lDrift * portTICK_PERIOD_MS));        xLast = xNow;    }}/* 方案B：vTaskDelayUntil —— 绝对延时，节拍锁定 */voidtask_delay_until(void *pvParameters){    (void)pvParameters;    uint32_t ulCnt = 0;    const TickType_t xPeriod = pdMS_TO_TICKS(500);    TickType_t xCycleStart = xTaskGetTickCount();  /* 漂移基准（只用于打印） */    TickType_t xLastWake = xTaskGetTickCount();    /* 节拍基准，由内核推进 */    TickType_t xLast = xTaskGetTickCount();    for (;;)    {        vBusyWork(100);                            /* 同样 100ms 负载 */        vTaskDelayUntil(&xLastWake, xPeriod);      /* 绝对：睡到下一节拍点 */        TickType_t xNow = xTaskGetTickCount();        ulCnt++;        int32_t lDrift = (int32_t)(xNow - xCycleStart)                       - (int32_t)pdMS_TO_TICKS(ulCnt * 500);        printf("[B vTaskDelayUntil] #%u 周期=%ums 累计漂移=%dms\n",               (unsigned)ulCnt,               (unsigned)((xNow - xLast) * portTICK_PERIOD_MS),               (int)(lDrift * portTICK_PERIOD_MS));        xLast = xNow;    }}/* main 中创建（栈 256 字：printf 栈开销大，128 字易触发栈溢出钩子） */xTaskCreate(task_delay,      "delayA", 256, NULL, 1, NULL);xTaskCreate(task_delay_until,"delayB", 256, NULL, 1, NULL);vTaskStartScheduler();

/* 丢拍恢复：基准已落后现实，重置后重新锁定节拍 */if( xTaskDelayUntil( &xLastWake, xPeriod ) == pdFALSE ){    xLastWake = xTaskGetTickCount();}

— 写在最后 —

如果这篇文章对你有帮助，欢迎点赞、在看、转发三连支持，这是我持续更新的最大动力。

关注我，更多硬核技术剖析持续更新中，下一期再见。