1、二值信號量
二值信號量通常用于互斥訪問或同步,二值信號量和互斥信號量非常類似,但是還是有一些細微的差別,互斥信號量擁有優先級繼承機制,二值信號量沒有優先級繼承。因此二值信號量更適合用于同步(任務與任務或任務與中斷的同步),而互斥信號量適合用于簡單的互斥訪問。
和隊列一樣,信號量 API 函數允許設置一個阻塞時間,阻塞時間是當任務獲取信號量的時候由于信號量無效從而導致任務進入阻塞態的最大時鐘節拍數。如果多個任務同時阻塞在同一個信號量上的話那么優先級最高的哪個任務優先獲得信號量,這樣當信號量有效的時候高優先級的任務就會解除阻塞狀態。
二值信號量其實就是一個只有一個隊列項的隊列,這個特殊的隊列要么是滿的,要么是空的,這不正好就是二值的嗎?任務和中斷使用這個特殊隊列不用在乎隊列中存的是什么消息,只需要知道這個隊列是滿的還是空的。可以利用這個機制來完成任務與中斷之間的同步。
在實際應用中通常會使用一個任務來處理 MCU 的某個外設,比如網絡應用中,一般最簡單的方法就是使用一個任務去輪詢的查詢 MCU 的 ETH 外設是否有數據,當有數據的時候就處理這個網絡數據。這樣使用輪詢的方式是很浪費CPU 資源的,而且也阻止了其他任務的運行。最理想的方法就是當沒有網絡數據的時候網絡任務就進入阻塞態,把 CPU 讓給其他的任務,當有數據的時候網絡任務才去執行。現在使用二值信號量就可以實現這樣的功能,任務通過獲取信號量來判斷是否有網絡數據,沒有的話就進入阻塞態,而網絡中斷服務函數通過釋放信號量來通知任務以太網外設接收到了網絡數據,網絡任務可以去提取處理了。網絡任務只是在一直的獲取二值信號量,它不會釋放信號量,而中斷服務函數是一直在釋放信號量,它不會獲取信號量。在中斷服務函數中發送信號量可以使用函數 xSemaphoreGiveFromISR()。
2、計數型信號量
有些資料中也將計數型信號量叫做數值信號量,二值信號量相當于長度為 1 的隊列,那么計數型信號量就是長度大于 1 的隊列。同二值信號量一樣,用戶不需要關心隊列中存儲了什么數據,只需要關心隊列是否為空即可。計數型信號量通常用于如下兩個場合:
事件計數
在這個場合中,每次事件發生的時候就在事件處理函數中釋放信號量(增加信號量的計數值),其他任務會獲取信號量(信號量計數值減一,信號量值就是隊列結構體成員變量uxMessagesWaiting)來處理事件。在這種場合中創建的計數型信號量初始計數值為 0。
資源管理
在這個場合中,信號量值代表當前資源的可用數量,比如停車場當前剩余的停車位數量。一個任務要想獲得資源的使用權,首先必須獲取信號量,信號量獲取成功以后信號量值就會減一。當信號量值為 0 的時候說明沒有資源了。當一個任務使用完資源以后一定要釋放信號量,釋放信號量以后信號量值會加一。在這個場合中創建的計數型信號量初始值應該是資源的數量,比如停車場一共有 100 個停車位,那么創建信號量的時候信號量值就應該初始化為 100。
3、互斥信號量
互斥信號量其實就是一個擁有優先級繼承的二值信號量,在同步的應用中(任務與任務或中斷與任務之間的同步)二值信號量最適合。互斥信號量適合用于那些需要互斥訪問的應用中。在互斥訪問中互斥信號量相當于一個鑰匙,當任務想要使用資源的時候就必須先獲得這個鑰匙,當使用完資源以后就必須歸還這個鑰匙,這樣其他的任務就可以拿著這個鑰匙去使用資源。
互斥信號量使用和二值信號量相同的 API 操作函數,所以互斥信號量也可以設置阻塞時間,不同于二值信號量的是互斥信號量具有優先級繼承的特性。當一個互斥信號量正在被一個低優先級的任務使用,而此時有個高優先級的任務也嘗試獲取這個互斥信號量的話就會被阻塞。不過這個高優先級的任務會將低優先級任務的優先級提升到與自己相同的優先級,這個過程就是優先級繼承。優先級繼承盡可能的降低了高優先級任務處于阻塞態的時間,并且將已經出現的“優先級翻轉”的影響降到最低。
優先級繼承并不能完全的消除優先級翻轉,它只是盡可能的降低優先級翻轉帶來的影響。硬實時應用應該在設計之初就要避免優先級翻轉的發生。互斥信號量不能用于中斷服務函數中,原因如下:
● 互斥信號量有優先級繼承的機制,所以只能用在任務中,不能用于中斷服務函數。
● 中斷服務函數中不能因為要等待互斥信號量而設置阻塞時間進入阻塞態。
4、遞歸互斥信號量
遞歸互斥信號量可以看作是一個特殊的互斥信號量,已經獲取了互斥信號量的任務就不能再次獲取這個互斥信號量,但是遞歸互斥信號量不同,已經獲取了遞歸互斥信號量的任務可以再次獲取這個遞歸互斥信號量,而且次數不限!一個任務使用函數 xSemaphoreTakeRecursive()成功的獲取了多少次遞歸互斥信號量就得使用函數 xSemaphoreGiveRecursive()釋放多少次!比如某個任務成功的獲取了 5 次遞歸信號量,那么這個任務也得同樣的釋放 5 次遞歸信號量。
遞歸互斥信號量也有優先級繼承的機制,所以當任務使用完遞歸互斥信號量以后一定要記得釋放。同互斥信號量一樣,遞歸互斥信號量不能用在中斷服務函數中。
● 由于優先級繼承的存在,就限定了遞歸互斥信號量只能用在任務中,不能用在中斷服務函數中!
● 中斷服務函數不能設置阻塞時間。
要使用遞歸互斥信號量的話宏 configUSE_RECURSIVE_MUTEXES 必須為 1!
-
嵌入式
+關注
關注
5072文章
19026瀏覽量
303516 -
信號
+關注
關注
11文章
2781瀏覽量
76649 -
FreeRTOS
+關注
關注
12文章
483瀏覽量
62018
發布評論請先 登錄
相關推薦
評論