遮天辰东小说,我欲封天txt下载,欢乐颂第三季

1 前言

最近博主在做一些適配freeRTOS的項目，簡單來說就是從別的RTOS平臺遷移到freeRTOS平臺。由于之前的代碼都是可用的，憑經驗我們認為只需要將OSAL的接口重新封裝一下，理論上上層的邏輯應該問題不大；但是我們沒想到的卻是在OSAL層適配的時候，遇到了一些之前沒有考慮到的問題。

2 遇到的問題

簡單描述一下，我所遇到的問題；這個問題主要的體現就是在創建任務xTaskCreate的接口調用上，freeRTOS的接口原型為：

BaseType_t xTaskCreate( TaskFunction_t pxTaskCode,
                            const char * const pcName,     /*lint !e971 Unqualified char types are allowed for strings and single characters only. */
                            const configSTACK_DEPTH_TYPE usStackDepth,
                            void * const pvParameters,
                            UBaseType_t uxPriority,
                            TaskHandle_t * const pxCreatedTask ) PRIVILEGED_FUNCTION;

我在一個任務里面調用該接口去創建一個新的任務，然后我發現新建的任務跑起來了，但是我發起創建的任務卻不往下跑了。初步觀察，就是xTaskCreate接口沒有返回出來。

3 問題分析

3.1 初略分析

考慮到我的操作場景是在從別的RTOS平臺遷移代碼到freeRTOS平臺，所以第一感覺會是OSAL層封裝是不是有問題？ 于是把任務創建相關的OSAL接口重新捋了一遍，包括每個參數的傳參轉換是否正確，都做了一個遍，確認封裝是沒有問題的。之前我們做代碼調試的時候，留了一手，就是在xTaskCreate內部創建任務的時候，會把任務相關的一些信息打印出來，以便觀察。

                    /* Allocate space for the TCB. */
                    pxNewTCB = ( TCB_t * ) pvPortMalloc( sizeof( TCB_t ) ); /*lint !e9087 !e9079 All values returned by pvPortMalloc() have at least the alignment required by the MCU's stack, and the first member of TCB_t is always a pointer to the task's stack. */

                    if( pxNewTCB != NULL )
                    {
                        /* Store the stack location in the TCB. */
                        pxNewTCB->pxStack = pxStack;
                        kprintf("[THD]%s:[tcb]%x [stack]%x-%x:%d:%d\r\n", pcName, 
                        pxNewTCB, pxStack,
                        (size_t)pxStack + ( ( ( size_t ) usStackDepth ) * sizeof( StackType_t ) ), 
                        ( ( ( size_t ) usStackDepth ) * sizeof( StackType_t ) )
                        , uxPriority);
                    }
                    else
                    {
                        /* The stack cannot be used as the TCB was not created.  Free
                         * it again. */
                        vPortFreeStack( pxStack );
                    }

所以這個調試信息，讓我發現了端倪，我在調用創建任務卡死不返回的地方，發現了如下log：

[THD]cli:[tcb]41a360 [stack]419758-41a358:3072:60

任務優先級為60？好像freeRTOS不支持這么高數值的優先級？到這里，初步懷疑是任務優先級數值的問題導致的。

3.2 深究源碼

于是一步步去深究freerTOS的源碼，這就是開源代碼的好處啊！捋了一下代碼調用的關鍵路徑：

xTaskCreate ->
prvInitialiseNewTask ->
prvAddNewTaskToReadyList ->

其中在prvInitialiseNewTask中有以下代碼片段：

/* This is used as an array index so must ensure it's not too large. */
    configASSERT( uxPriority < configMAX_PRIORITIES );
    if( uxPriority >= ( UBaseType_t ) configMAX_PRIORITIES )
    {
        uxPriority = ( UBaseType_t ) configMAX_PRIORITIES - ( UBaseType_t ) 1U;
    }
    else
    {
        mtCOVERAGE_TEST_MARKER();
    }

    pxNewTCB->uxPriority = uxPriority;

這段代碼主要是對任務優先級數值的檢查和處理，這里可以看到它會跟configMAX_PRIORITIES進行比較，比如我的環境下，這個值是10，它是在freeRTOSConfig.h里面定義的。從這段代碼可以知道，應用層傳入的60優先級實際被修改成9了；在freeRTOS里面，這是最高優先級了。

/* Task */
#define configMAX_PRIORITIES                        ( 10 )

在freeRTOS里面，這個值可以定義大一些，但是需要多消耗一些RAM。

然后在prvAddNewTaskToReadyList中有以下代碼片段：

    if( xSchedulerRunning != pdFALSE )
    {
        /* If the created task is of a higher priority than the current task
         * then it should run now. */
        if( pxCurrentTCB->uxPriority < pxNewTCB->uxPriority )
        {
            taskYIELD_IF_USING_PREEMPTION();
        }
        else
        {
            mtCOVERAGE_TEST_MARKER();
        }
    }
    else
    {
        mtCOVERAGE_TEST_MARKER();
    }

這里尤其注意第2個if語句，如果創建的新任務優先級更高，那么就立即執行它:

#define portYIELD()                    __asm ( "SWI 0" )

#ifndef portYIELD_WITHIN_API
    #define portYIELD_WITHIN_API    portYIELD
#endif

#if ( configUSE_PREEMPTION == 0 )

/* If the cooperative scheduler is being used then a yield should not be
 * performed just because a higher priority task has been woken. */
    #define taskYIELD_IF_USING_PREEMPTION()
#else
    #define taskYIELD_IF_USING_PREEMPTION()    portYIELD_WITHIN_API()
#endif

在我的平臺，直接就跑到SWI0了，及產生一個軟中斷，隨后就立即發生任務調度了。那么這個時候，這個低優先級的任務（調用了xTaskCreate的任務）感覺就沒法往下執行了，因為log都不打了！

3.3 代碼驗證

其實通過debug信息，我只需要在xTaskCreate的入口和出口加上調試信息就可以知道到底退沒退出，但是我無法驗證是否真的是：高優先級的任務創建低優先級的任務可以退出，而低優先級的任務創建高優先級的任務無法退出。于是我寫了以下代碼做個簡單驗證：

#include "task.h"

TaskHandle_t calling_task;
TaskHandle_t lower_task;
TaskHandle_t higher_task;

void create_lower_task(void *data)
{
    TaskStatus_t TaskStatus;

    vTaskGetInfo( lower_task,
                   &TaskStatus,
                   0,
                   eInvalid);
    while(1) {
        task_debug("%s:%d >>> prio: %d\r\n", __func__, __LINE__, TaskStatus.uxCurrentPriority);
        vTaskDelay(1000);
    }
}

void create_higher_task(void *data)
{
    TaskStatus_t TaskStatus;

    vTaskGetInfo( higher_task,
                   &TaskStatus,
                   0,
                   eInvalid);

    while(1) {
        task_debug("%s:%d >>> prio: %d\r\n", __func__, __LINE__, TaskStatus.uxCurrentPriority);
        vTaskDelay(1000);
    }
}

void create_calling_task(void *data)
{
    int ret;
    int lower_prio = 3;
    int higher_prio = 60; //final set to prio 9
    TaskStatus_t TaskStatus;

    (void)higher_prio;

    vTaskGetInfo( lower_task,
                   &TaskStatus,
                   0,
                   eInvalid);

    task_debug("%s:%d >>> prio: %d\r\n", __func__, __LINE__, TaskStatus.uxCurrentPriority);
    ret = xTaskCreate(create_lower_task, "test-2", 256, NULL, lower_prio, 
        (TaskHandle_t * const )&lower_task);
    if (ret != pdPASS) {
        task_debug("Error: Failed to create test task: %d\r\n", ret);
    }
    task_debug("%s:%d >>>\r\n", __func__, __LINE__);
#if 1
    task_debug("%s:%d >>>\r\n", __func__, __LINE__);
    ret = xTaskCreate(create_higher_task, "test-3", 256, NULL, higher_prio, 
        (TaskHandle_t * const )&higher_task);
    if (ret != pdPASS) {
        task_debug("Error: Failed to create test task: %d\r\n", ret);
    }
    task_debug("%s:%d >>>\r\n", __func__, __LINE__);
#endif

    while(1) {
        task_debug("%s:%d >>> prio: %d\r\n", __func__, __LINE__, TaskStatus.uxCurrentPriority);
        vTaskDelay(1000);
    }
}

void freertos_task_priority_test(void)
{
    int ret;
    int cur_prio = 4;

    {
        TaskStatus_t TaskStatus;

        vTaskGetInfo( xTaskGetHandle( "extended_app" ),
                   &TaskStatus,
                   0,
                   eInvalid);
        task_debug("%s:%d >>> prio: %d\r\n", __func__, __LINE__, TaskStatus.uxCurrentPriority);
    }

    task_debug("%s:%d >>>\r\n", __func__, __LINE__);
    ret = xTaskCreate(create_calling_task, "test-1", 256, NULL, cur_prio, 
        (TaskHandle_t * const )&calling_task);
    if (ret != pdPASS) {
        cli_printf("Error: Failed to create test task: %d\r\n", ret);
    }
    task_debug("%s:%d >>>\r\n", __func__, __LINE__);
}

#endif

結果代碼一跑，卻超出了我之前的預想：

freertos_task_priority_test:793 >>> prio: 4
freertos_task_priority_test:796 >>>
[THD]test-1:[tcb]419b68 [stack]419760-419b60:1024:4
freercreate_calling_task:758tos_task_priority_test: >>> prio: 4
[THD]test802 >>>
[THD]cli:[tcb]-2:[tcb]41a1e8 [stack]4419bd8 [stack]41a258-4119de0-41a1e0:1024:3
creae58:3072:60
ate_calling_task:764 >>>
create_calling_task:766 >>>
[THD]test-3:[tcb]419c48 [stack]41ae60-41b260:1024:60
create_higher_task:739 >>> prio: 9
create_calling_task:772 >>>
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3

create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3
create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3
create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3
create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3
create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3
create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3
create_higher_task:739 >>> prio: 9
create_calling_task:776 >>> prio: 4
create_lower_task:724 >>> prio: 3

簡單來說，就是xTaskCreate壓根就沒有卡住啊？一個任務優先級為4的任務，分別創建任務優先級為3和9的任務，都跑的好好的，并沒有發現xTaskCreate不返回的問題！難道是我哪里想錯了？

3.4 進一步分析

通過上面的簡單代碼已經驗證了，我之前的猜想是不對的，但是我的確看到了在我的應用代碼里面出現了xTaskCreate卡死不返回的情況，還需要再細細分析下我新創建的這個任務，多半是問題出在它身上，因為我屏蔽了創建它，問題就沒有復現了。為了說明問題，我把這個任務的執行代碼簡略了下：

void task_main(void *data)
{
    int32_t ret;

    char *msg = NULL;

    while (!task_cancel_check()) {
        if (task_get_input(g_cli->inbuf, &g_cli->bp) != 0) {
            /* do something */
        }
    }

    task_exit();
}

看到這偽代碼，也許你發現了點問題，這個while里面看樣子都是查詢下的代碼，并且沒有延時處理，如果這個任務的優先級是最高的，那么它將一直占用CPU，別的任務壓根無法被調度到。回想我的代碼場景，傳入了一個優先級60，被減小到configMAX_PRIORITIES-1，即優先級為9；這個在freeRTOS里面可是最高優先級的任務了，所以才出現了xTaskCreate無法退出返回；因為這個時候除這個最高優先級的任務在跑外，其他任務都可能跑不起來了。