FreeRTOS學習之計數信號量

FreeRTOS 入門系列文章，在自己梳理知識的同時，希望能夠幫助初學者快速入門，掌握FreeRTOS的基本原理和使用方法。

FreeRTOS快速入門-初探系統

FreeRTOS 官方中文版網站上線啦

FreeRTOS編碼標準與數據類型

FreeRTOS快速入門-任務管理

FreeRTOS學習之消息隊列詳解

本篇文章介紹一下 FreeRTOS 的計數信號量相關內容。

計數信號量是FreeRTOS中一種重要的同步機制，它允許任務之間或任務與中斷服務程序(ISR)之間進行事件通知和資源管理。

計數信號量具有以下特點：

• 它維護一個計數值，表示可用資源的數量或已發生事件的次數
• 當任務獲取信號量時，計數值遞減；當釋放信號量時，計數值遞增
• 計數值可以大于1，這與二值信號量不同
• 當計數值為0時，嘗試獲取信號量的任務可能會被阻塞（取決于調用方式）

工作原理

計數信號量的核心是一個計數器和一個任務等待列表：

1. 創建時：指定初始計數值
2. 獲取信號量(take)：
• 如果計數值>0，則計數值減1，立即返回成功
• 如果計數值=0，根據調用方式可能阻塞或立即返回失敗
3. 釋放信號量(give)：
• 如果有任務在等待，喚醒優先級最高的任務
• 如果沒有任務等待，計數值加1

主要應用場景

計數信號量在嵌入式系統中主要有兩種用途：

事件計數

• 記錄事件發生的次數
• 允許一個任務在事件發生時解除阻塞，同時跟蹤已經發生但尚未處理的事件數量
• 常用于中斷服務程序(ISR)向任務發送事件通知

資源管理

• 管理有限數量的相同資源
• 計數值表示當前可用資源的數量
• 任務在使用資源前獲取信號量，使用后釋放信號量

FreeRTOS計數信號量API詳解

創建計數信號量

SemaphoreHandle_t xSemaphoreCreateCounting( UBaseType_t uxMaxCount, 
                                          UBaseType_t uxInitialCount );

• 參數：
• uxMaxCount：信號量可以達到的最大計數值
• uxInitialCount：信號量的初始計數值
• 返回值：
• 成功：信號量句柄
• 失敗：NULL（通常因內存不足）

示例：

// 創建一個最大計數值為10，初始值為0的計數信號量
SemaphoreHandle_t xCountingSemaphore = xSemaphoreCreateCounting(10, 0);

獲取信號量

FreeRTOS提供了多種獲取信號量的方式：

阻塞方式獲取

BaseType_t xSemaphoreTake( SemaphoreHandle_t xSemaphore, TickType_t xTicksToWait );

• 參數：
• xSemaphore：信號量句柄
• xTicksToWait：最大阻塞時間（單位：tick），使用portMAX_DELAY表示無限等待
• 返回值：
• pdTRUE：成功獲取信號量
• pdFALSE：超時未獲取到信號量

非阻塞方式獲取

BaseType_t xSemaphoreTakeFromISR( SemaphoreHandle_t xSemaphore, 
                                 BaseType_t *pxHigherPriorityTaskWoken );

• 用于中斷服務程序(ISR)
• 參數pxHigherPriorityTaskWoken用于指示是否有更高優先級任務被喚醒

釋放信號量

普通釋放

BaseType_t xSemaphoreGive( SemaphoreHandle_t xSemaphore );

• 參數：信號量句柄
• 返回值：
• pdTRUE：成功釋放信號量
• pdFALSE：信號量計數值已達到最大值

在ISR中釋放

BaseType_t xSemaphoreGiveFromISR( SemaphoreHandle_t xSemaphore, 
                                 BaseType_t *pxHigherPriorityTaskWoken );

• 用于中斷服務程序
• 參數pxHigherPriorityTaskWoken用于指示是否有更高優先級任務被喚醒

示例

事件計數示例

// 信號量句柄聲明
SemaphoreHandle_t xEventSemaphore;

// 任務函數：事件處理
void vEventHandlerTask(void *pvParameters) {
    while(1) {
        // 等待事件發生
        if(xSemaphoreTake(xEventSemaphore, portMAX_DELAY) == pdTRUE) {
            // 處理事件
            printf("Event processed. Remaining events: %u\n", 
                   uxSemaphoreGetCount(xEventSemaphore));
        }
    }
}

// 中斷服務程序：產生事件
void vInterruptHandler(void) {
    BaseType_t xHigherPriorityTaskWoken = pdFALSE;
    
    // 釋放信號量（通知事件發生）
    xSemaphoreGiveFromISR(xEventSemaphore, &xHigherPriorityTaskWoken);
    
    // 如果需要，進行上下文切換
    portYIELD_FROM_ISR(xHigherPriorityTaskWoken);
}

// 主函數
int main(void) {
    // 創建計數信號量，初始值為0，最大值為10
    xEventSemaphore = xSemaphoreCreateCounting(10, 0);
    
    // 創建事件處理任務
    xTaskCreate(vEventHandlerTask, "EventHandler", configMINIMAL_STACK_SIZE, NULL, 2, NULL);
    
    // 啟動調度器
    vTaskStartScheduler();
    
    while(1);
}

資源管理示例

// 假設我們有3個相同的硬件資源（如UART接口）
#define MAX_UART_RESOURCES 3

// 信號量句柄
SemaphoreHandle_t xUARTSemaphore;

// 任務函數：使用UART資源
void vUARTUserTask(void *pvParameters) {
    while(1) {
        // 嘗試獲取UART資源
        if(xSemaphoreTake(xUARTSemaphore, pdMS_TO_TICKS(100)) == pdTRUE) {
            // 成功獲取資源
            printf("Task %s got UART resource\n", pcTaskGetName(NULL));
            
            // 模擬使用UART資源
            vTaskDelay(pdMS_TO_TICKS(500));
            
            // 釋放資源
            xSemaphoreGive(xUARTSemaphore);
            printf("Task %s released UART resource\n", pcTaskGetName(NULL));
        } else {
            // 獲取資源超時
            printf("Task %s failed to get UART resource\n", pcTaskGetName(NULL));
        }
        
        vTaskDelay(pdMS_TO_TICKS(200));
    }
}

// 主函數
int main(void) {
    // 創建計數信號量，初始值=最大值=3（表示有3個可用資源）
    xUARTSemaphore = xSemaphoreCreateCounting(MAX_UART_RESOURCES, MAX_UART_RESOURCES);
    
    // 創建多個任務競爭使用UART資源
    xTaskCreate(vUARTUserTask, "Task1", configMINIMAL_STACK_SIZE, NULL, 1, NULL);
    xTaskCreate(vUARTUserTask, "Task2", configMINIMAL_STACK_SIZE, NULL, 1, NULL);
    xTaskCreate(vUARTUserTask, "Task3", configMINIMAL_STACK_SIZE, NULL, 1, NULL);
    xTaskCreate(vUARTUserTask, "Task4", configMINIMAL_STACK_SIZE, NULL, 1, NULL);
    
    // 啟動調度器
    vTaskStartScheduler();
    
    while(1);
}

進階

獲取當前計數值

UBaseType_t uxSemaphoreGetCount( SemaphoreHandle_t xSemaphore );

• 返回信號量的當前計數值
• 對于已被獲取的信號量，返回的是當前可用的數量，不是等待的任務數

信號量溢出處理

當信號量計數值達到最大值時，再次釋放信號量將失敗。在實際應用中應考慮：

1. 合理設置最大計數值
2. 檢查xSemaphoreGive的返回值
3. 必要時使用更大的數據類型（如將configUSE_16_BIT_TICKS設置為0以使用32位計數值）

與二值信號量的比較

注意事項

1. 合理設置最大計數值：應根據實際資源數量或預期最大事件數設置
2. 避免優先級反轉：高優先級任務長時間等待低優先級任務釋放信號量
3. ISR中的使用：
• 必須使用FromISR版本的API
• ISR中不能使用阻塞調用
4. 死鎖預防：
• 避免任務以相反的順序獲取多個信號量
• 設置合理的超時時間
5. 資源泄漏檢查：
• 確保每個Take都有對應的Give
• 特別關注錯誤路徑上的資源釋放
6. 性能考慮：
• 信號量操作是相對耗時的操作，避免在高頻率代碼路徑中使用
• 對于高頻事件，考慮使用直接任務通知替代

問題及解決方案

信號量計數值不匹配預期

可能原因：

• 某些路徑未正確釋放信號量
• 中斷中釋放信號量但未正確處理上下文切換

解決方案：

• 檢查所有代碼路徑確保釋放信號量
• 使用uxSemaphoreGetCount調試當前計數值
• 檢查xSemaphoreGive的返回值

系統因信號量操作掛起

可能原因：

• 多個任務相互等待對方持有的信號量（死鎖）
• 高優先級任務持續占用CPU，導致持有信號量的低優先級任務無法運行（優先級反轉）

解決方案：

• 使用相同的順序獲取多個信號量
• 考慮使用優先級繼承互斥量（如果適用）
• 使用超時機制避免無限等待

中斷中信號量操作無效

可能原因：

• 使用了非ISR版本的API
• 未處理pxHigherPriorityTaskWoken標志

解決方案：

• 確保在ISR中使用FromISR版本的API
• 正確檢查和處理pxHigherPriorityTaskWoken標志

最后

通過合理使用計數信號量，可以構建出高效、可靠的嵌入式多任務系統。關鍵點包括：

1. 根據場景選擇適當的信號量類型（計數或二值）
2. 正確初始化和清理信號量資源
3. 在任務和ISR中使用正確的API版本
4. 注意線程安全和死鎖預防
5. 合理設置超時和錯誤處理機制