C语言 Freertos的递归锁详解

 更新时间:2022年03月10日 10:24:31   作者:小阳先生的宝库  
这篇文章主要为大家详细介绍了C语言的递归锁,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助

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.谁上锁就由谁解锁。

递归锁的函数根一般互斥量的函数名不一样

 递归锁一般互斥量
创建xSemaphoreCreateRecursiveMutexxSemaphoreCreateMutex
获得xSemaphoreTakeRecursivexSemaphoreTake
释放xSemaphoreGiveRecursivexSemaphoreGive

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.运行结果

在这里插入图片描述

总结

谁持有递归锁,必须由谁释放。

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注脚本之家的更多内容!    

相关文章

  • 详解C语言内核中的链表与结构体

    详解C语言内核中的链表与结构体

    Windows内核中是无法使用vector容器等数据结构的,当我们需要保存一个结构体数组时,就需要使用内核中提供的专用链表结构。本文分享了几个内核中使用链表存储多个结构体的通用案例,希望对你有所帮助
    2022-09-09
  • 基于Qt实现C/C++调用Matlab函数全过程

    基于Qt实现C/C++调用Matlab函数全过程

    这篇文章给大家详细介绍了基于Qt平台实现C/C++调用Matlab函数全流程,文中通过图文和代码示例给大家讲解的非常详细,对大家的学习或工作有一定的帮助,需要的朋友可以参考下
    2024-01-01
  • VC中CWinThread类以及和createthread API的区别分析

    VC中CWinThread类以及和createthread API的区别分析

    这篇文章主要介绍了VC中CWinThread类以及和createthread API的区别分析,较为详细的讲述了CWinThread类的原理,并以实例形式对AfxBeginThread函数的内部实现进行了解释说明,需要的朋友可以参考下
    2014-10-10
  • C语言循环队列的表示与实现实例详解

    C语言循环队列的表示与实现实例详解

    这篇文章主要介绍了C语言循环队列的表示与实现,对于数据结构与算法的研究很有帮助,需要的朋友可以参考下
    2014-07-07
  • QT实现简单打地鼠游戏

    QT实现简单打地鼠游戏

    这篇文章主要为大家详细介绍了QT实现简单打地鼠游戏,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-12-12
  • C++ STL 内 std::{bind/tuple/function} 简单实现

    C++ STL 内 std::{bind/tuple/function} 简单实现

    这篇文章主要介绍了C++ STL 内 std::{bind/tuple/function} 简单实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-02-02
  • C++面向对象实现五子棋小游戏

    C++面向对象实现五子棋小游戏

    本文介绍了如何运用面向对象思想进行五子棋游戏的设计与开发,与面向过程程序设计比较,面向对象程序设计更易于实现对现实世界的描述,提高软件的扩展性和可维护性。附上最终的程序源码,推荐给大家,有需要的小伙伴可以参考下。
    2015-03-03
  • C++中高性能内存池的实现详解

    C++中高性能内存池的实现详解

    在 C/C++ 中,内存管理是一个非常棘手的问题,我们在编写一个程序的时候几乎不可避免的要遇到内存的分配逻辑。本文将通过C++实现高性能内存池,感兴趣的可以了解一下
    2022-10-10
  • C++ OpenCV实现物体尺寸测量示例详解

    C++ OpenCV实现物体尺寸测量示例详解

    本文主要介绍了利用OpenCV对物体的尺寸进行测量,即先定位到待测物体的位置,然后测量物体的宽高。感兴趣的同学可以跟随小编一起学习学习
    2022-01-01
  • C++强制转换与智能指针示例详解

    C++强制转换与智能指针示例详解

    这篇文章主要介绍了C++强制转换与智能指针示例,智能指针(Smart Pointer)是一种抽象的数据类型。在程序设计中,它通常是经由类模板来实现,借由模板来达成泛型,借由类别的析构函数来达成自动释放指针所指向的存储器或对象
    2022-11-11

最新评论