網站首頁 編程語言 正文
1.死鎖的概念
假設有 2 個互斥量 M1、 M2, 2 個任務 A、 B: A 獲得了互斥量 M1 B 獲得了互斥量 M2 A 還要獲得互斥量 M2 才能運行,結果 A 阻塞 B 還要獲得互斥量 M1 才能運行,結果 B 阻塞 A、 B 都阻塞,再無法釋放它們持有的互斥量 死鎖發生!
2.自我死鎖
任務 A 獲得了互斥鎖 M 它調用一個函數 函數要去獲取同一個互斥鎖 M,于是它阻塞:任務 A 休眠,等待任務 A 來釋放互斥鎖! 死鎖發生!
3.遞歸鎖
1.任務 A 獲得遞歸鎖 M 后,它還可以多次去獲得這個鎖
2."take"了 N 次,要"give"N 次,這個鎖才會被釋放
3.誰上鎖就由誰解鎖。
遞歸鎖的函數根一般互斥量的函數名不一樣
? | 遞歸鎖 | 一般互斥量 |
---|---|---|
創建 | xSemaphoreCreateRecursive Mutex |
xSemaphoreCreateMutex |
獲得 | xSemaphoreTakeRecursive
|
xSemaphoreTake |
釋放 | xSemaphoreGiveRecursive
|
xSemaphoreGive |
4.代碼
main
/* 遞歸鎖句柄 */ SemaphoreHandle_t xMutex; int main( void ) { prvSetupHardware(); /* 創建遞歸鎖 */ xMutex = xSemaphoreCreateRecursiveMutex( ); if( xMutex != NULL ) { /* 創建2個任務: 一個上鎖, 另一個自己監守自盜(開別人的鎖自己用) xTaskCreate( vTakeTask, "Task1", 1000, NULL, 2, NULL ); xTaskCreate( vGiveAndTakeTask, "Task2", 1000, NULL, 1, NULL ); /* 啟動調度器 */ vTaskStartScheduler(); } else { /* 無法創建遞歸鎖 */ } return 0; }
任務1
static void vTakeTask( void *pvParameters ) { const TickType_t xTicksToWait = pdMS_TO_TICKS( 100UL ); BaseType_t xStatus; int i; /* 無限循環 */ for( ;; ) { /* 獲得遞歸鎖: 上鎖 */ xStatus = xSemaphoreTakeRecursive(xMutex, portMAX_DELAY); printf("Task1 take the Mutex in main loop %s\r\n", \ (xStatus == pdTRUE)? "Success" : "Failed"); /* 阻塞很長時間, 讓另一個任務執行, * 看看它有無辦法再次獲得遞歸鎖 */ vTaskDelay(xTicksToWait); for (i = 0; i < 10; i++) { /* 獲得遞歸鎖: 上鎖 */ xStatus = xSemaphoreTakeRecursive(xMutex, portMAX_DELAY); printf("Task1 take the Mutex in sub loop %s, for time %d\r\n", \ (xStatus == pdTRUE)? "Success" : "Failed", i); /* 釋放遞歸鎖 */ xSemaphoreGiveRecursive(xMutex); } /* 釋放遞歸鎖 */ xSemaphoreGiveRecursive(xMutex); } }
任務2
static void vGiveAndTakeTask( void *pvParameters ) { const TickType_t xTicksToWait = pdMS_TO_TICKS( 10UL ); BaseType_t xStatus; /* 嘗試獲得遞歸鎖: 上鎖 */ xStatus = xSemaphoreTakeRecursive(xMutex, 0); printf("Task2: at first, take the Mutex %s\r\n", \ (xStatus == pdTRUE)? "Success" : "Failed"); /* 如果失敗則監守自盜: 開鎖 */ if (xStatus != pdTRUE) { /* 無法釋放別人持有的鎖 */ xStatus = xSemaphoreGiveRecursive(xMutex); printf("Task2: give Mutex %s\r\n", \ (xStatus == pdTRUE)? "Success" : "Failed"); } /* 如果無法獲得, 一直等待 */ xStatus = xSemaphoreTakeRecursive(xMutex, portMAX_DELAY); printf("Task2: and then, take the Mutex %s\r\n", \ (xStatus == pdTRUE)? "Success" : "Failed"); /* 無限循環 */ for( ;; ) { /* 什么都不做 */ vTaskDelay(xTicksToWait); } }
5.運行流程分析
1.任務 1 優先級最高,先運行,獲得遞歸鎖
2.任務 1 阻塞,讓任務 2 得以運行
3.任務 2 運行,看看能否獲得別人持有的遞歸鎖: 不能
4.任務 2 故意執行"give"操作,看看能否釋放別人持有的遞歸鎖:不能
5.任務 2 等待遞歸鎖
6.任務 1 阻塞時間到后繼續運行,使用循環多次獲得、釋放遞歸鎖
6.運行結果
總結
誰持有遞歸鎖,必須由誰釋放。
原文鏈接:https://blog.csdn.net/qq_49864684/article/details/123356999
相關推薦
- 2022-09-26 你了解Redis事務嗎_Redis
- 2022-08-20 Pygame?精準檢測圖像碰撞的問題_python
- 2022-05-17 ubuntu如何給 GoLand 設置桌面快捷圖標
- 2022-12-02 C語言實現三子棋小游戲的示例代碼_C 語言
- 2022-07-10 解析html中常見的轉義字符
- 2022-05-31 如何使用正則表達式判斷郵箱(以C#為例)_C#教程
- 2022-06-02 Go語言數據類型詳細介紹_Golang
- 2022-07-15 python新手練習實例之萬年歷_python
- 最近更新
-
- window11 系統安裝 yarn
- 超詳細win安裝深度學習環境2025年最新版(
- Linux 中運行的top命令 怎么退出?
- MySQL 中decimal 的用法? 存儲小
- get 、set 、toString 方法的使
- @Resource和 @Autowired注解
- Java基礎操作-- 運算符,流程控制 Flo
- 1. Int 和Integer 的區別,Jav
- spring @retryable不生效的一種
- Spring Security之認證信息的處理
- Spring Security之認證過濾器
- Spring Security概述快速入門
- Spring Security之配置體系
- 【SpringBoot】SpringCache
- Spring Security之基于方法配置權
- redisson分布式鎖中waittime的設
- maven:解決release錯誤:Artif
- restTemplate使用總結
- Spring Security之安全異常處理
- MybatisPlus優雅實現加密?
- Spring ioc容器與Bean的生命周期。
- 【探索SpringCloud】服務發現-Nac
- Spring Security之基于HttpR
- Redis 底層數據結構-簡單動態字符串(SD
- arthas操作spring被代理目標對象命令
- Spring中的單例模式應用詳解
- 聊聊消息隊列,發送消息的4種方式
- bootspring第三方資源配置管理
- GIT同步修改后的遠程分支