FreeRTOS-链表的源码解析

✅作者简介:嵌入式入坑者,与大家一起加油,希望文章能够帮助各位!!!!
个人主页:@rivencode的个人主页
系列专栏:玩转FreeRTOS
推荐一款模拟面试、刷题神器,从基础到大厂面试题点击跳转刷题网站进行注册学习

前言

俗话说基础不牢地动山摇,从今天开始全新开启对FreeRTOS的学习,从RTOS的源码升入理解到RTOS的熟练应用,真正理解FreeRTOS的底层,但是要想阅读源码要求对C语言的指针与结构体,数据结构的链表和队列的知识的基本功要非常扎实,以及ARM的架构有所了解,本篇文章就带你们深入理解FreeRTOS的链表实现,以及为什么要这样实现,链表和队列贯穿整个操作系统,重要性就不言而喻了。
在学习FreeRTOS源码之前对指针、结构体、链表不熟悉请看:
《C语言链表超详解》
《自定义类型-结构体详解》
《指针超详解》

目录

  • 前言
  • 一.实现带头结点的单链表
    • 1.声明链表结构体
    • 2.链表的初始化
    • 3.链表的尾插
    • 4.链表的头插
    • 5.删除某个结点
    • 6.在某个结点后面添加结点
    • 7.链表的排序
    • 8.链表的打印
    • 9.链表测试
  • 二.通用链表的三种实现方式
    • 1.引入容器的概念
    • 2.方式一:node一定放在container中最前面
    • 3.方式二:node地址偏移反算出container位置
    • 4.方式三:node结点中,保存container地址
    • 5.基于方式三实现双向循链表
  • 三.FreeRTOS链表源码深度解析
    • 1.结构体分析
    • 2.链表初始化及结点初始化
    • 3.插入链表"尾部"
    • 4.按序插入链表
    • 5.删除链表项
    • 6.链表操作-带参"宏函数"
  • 四.总结

一.实现带头结点的单链表

在上面推荐的C语言链表超详解已经将链表的基本概念,已经单链表双向循环链表的基本操作全部实现,接下来复习一下链表操以及项目中链表的真正用法。

下面的链表操作可能不是很规范学思想就好了,下面的结点分配空间不是malloc分配的,删除也不用释放结点的空间是因为,结点在FreeRTOS一般是一个任务结构体,而任务不销毁任务结构体也不会销毁。

1.声明链表结构体

//结点结构体
struct person {
	char *name;
	int age;
	struct person *next;
};

//链表头
struct list {
	char *name; /* A班 */
	struct person head;
};

一个链表一般包含一个头结点和多个结点,头结点所在的结构体一般记录该链表的结点个数、链表名字、、、,结点则描述它本身的属性。

以上面的举例:一个班级是一个链表,链表头则记录了班级名(为了方便只写一个成员),其他的结点相当于是描述一个同学的属性(姓名、年龄…)

FreeRTOS-链表的源码解析_第1张图片
接一下就来实现单链表的基本操作。

2.链表的初始化

void InitList(struct list *pList, char *name)
{
	pList->name = name;
	pList->head.next = NULL;

}

FreeRTOS-链表的源码解析_第2张图片

  • 头指针

头指针是指向链表中第一个结点(存储该节点的地址)。如果链表中有头结点,则头指针指向头结点;若链表中没有头结点,则头指针指向链表中第一个数据结点。

  • 头结点

头结点,链表中第一个结点,一般不存储任何数据,若链表有头结点则头指针一直指向头指针

链表带头结点的优点:

当链表为空表时,插入,删除结点都是在头结点后面,头结点指向了第一个带数据的结点。

当我们单链表无头结点时当我们头插,头插的时候,我们都需要移动头指针的位置指向新的第一个结点,当链表为空时又要将头结点置NULL,这些操作我们都需要去改变头指针的值,而改变头指针要传头指针的地址的,用二级指针来操作,无疑是增加了编程的难度,如果链表有头结点,而头指针一直指向头结点,不管是头删,头插,都是在头结点后面增加删除,而头指针一直指向头结点不用发生改变,只需要一级指针就搞定

3.链表的尾插

//在链表尾部添加一个结点
void AddItemToListEnd(struct list *pList, struct person *new_person)
{
	struct person *tail = &pList->head;
    //找到尾部结点
	while (tail->next)
	{
		tail = tail->next;
	}

	/* last->next == NULL */
	tail->next = new_person;
	new_person->next = NULL;
}

FreeRTOS-链表的源码解析_第3张图片
FreeRTOS-链表的源码解析_第4张图片

4.链表的头插

//在链表头部添加一个结点
void AddItemToListHead(struct list *pList, struct person *new_person)
{
	struct person *head = &pList->head;
	struct person *next = head->next;

	head->next = new_person;
	new_person->next = next;
}

FreeRTOS-链表的源码解析_第5张图片
有些人指针指着指着就混了,始终记住next 就是一个结构体指针,里面存放了结构体(结点)的地址,因为通过地址可以访问该结构体里面的成员变量,而我要让他指向另外一个结构体只需将另外一个结构体的地址赋给这个next指针(而原来存储的地址就会覆盖就相当于断开与原来结构体(结点)的连接)。

5.删除某个结点


void DelItemFromList(struct list *pList, struct person *person)
{
	struct person *pre = &pList->head;
	//找到要删除结点的前一个结点
	while (pre != NULL &&  pre->next != person)
	{
		pre = pre->next;
	}
	if (pre == NULL)
	{
		printf("not found \n");
	}
	else
	{
		pre->next = person->next;
	}
}


FreeRTOS-链表的源码解析_第6张图片

6.在某个结点后面添加结点

void AddItemAfter(struct person *pre, struct person *new_person)
{
	new_person->next = pre->next;
	pre->next = new_person;
}

7.链表的排序


void ListBubble_Sort(struct list *pList)
{
	struct person  *cur = pList->head.next;
	//pre1记录cur结点的上面一个结点,cur从head->next开始
	struct person  *pre1 = &pList->head;
	struct person  *pre2 = NULL;
	struct person  *next = NULL;
	struct person  *tmp = NULL;

	while (cur->next->next)
	{
	    //pre2记录next结点的上面一个结点
		pre2 = cur;
		next = cur->next;
		while (next)
		{
			if (cur->age > next->age)
			{
			    //删除要交换的两个结点(cur、next)
				DelItemFromList(pList, cur);
				DelItemFromList(pList, next);
				//在pre1后面插入next指向的结点
				AddItemAfter(pre1, next);
				//如果cur==pre2(cur与next是相邻的两个结点)\
				则之间在next后面插入cur
				if (cur == pre2)
					AddItemAfter(next, cur);
				else
				//cur与next两个要交换的结点不相邻
					AddItemAfter(pre2, cur);
				//cur 与 next互换
				tmp = cur;
				cur = next;
				next = tmp;
			}
			//pre2记录next结点的上面一个结点
			pre2 = next;
			next = next->next;
		}
		//pre1记录cur结点的上面一个结点
		pre1 = cur;
		cur = cur->next;
	}
}

上面的链表排序是参照数组冒泡排序。

普通冒泡排序

int main()
{
	int i = 0, j = 0;
	int arr[10] = { 9, 8, 7, 6, 5, 4, 3, 2, 1, 0 };
	int tmp;
	for (i = 0; i<9; i++)
	{
		for (j = i + 1; j<10; j++)
		{
			if (arr[i]>arr[j])
			{
				tmp = arr[i];
				arr[i] = arr[j];
				arr[j] = tmp;
			}
		}
	}
	for (i = 0; i < 10; i++)
		printf("%d ",arr[i]);
	return 0;
}}
}

算法思想:
FreeRTOS-链表的源码解析_第7张图片

链表排序与数组排序对比:

FreeRTOS-链表的源码解析_第8张图片
如何交换两个链表结点的位置:
FreeRTOS-链表的源码解析_第9张图片
过程已经分析的清清楚楚明明白白,去看上面代码的注释链表的排序就搞定了

8.链表的打印

void PrintList(struct list *pList)
{
	int i = 0;

	struct person *cur= pList->head.next;

	while (cur!= NULL)
	{
		printf("person %d: %s is %d\r\n", i++, cur->name, cur->age);

		/* 后面还有人, 移动到下一个 */
		cur= cur->next;
	}
	printf("\n");
}

9.链表测试

直接采用定义结构体的变量的方式来创建结点

int main()
{
	struct list a_list;
	int i;

	struct person p[] = {
			{ "p1", 10, NULL },
			{ "p2", 42, NULL },
			{ "p3", 45, NULL },
			{ "p4", 32, NULL },
			{ "p5", 75, NULL },
			{ "p6", 12, NULL },
			{ "p7", 9, NULL },
			{ "p8", 8, NULL },
			{ NULL, 0, NULL },
	};

	InitList(&a_list, "A_class");
	i = 0;
	while (p[i].name != NULL)
	{
		AddItemToListEnd(&a_list, &p[i]);
		i++;
	}

	printf("add all person:\r\n");
	PrintList(&a_list);

	DelItemFromList(&a_list, &p[3]);

	printf("del person %s:\r\n", p[3].name);
	PrintList(&a_list);

	DelItemFromList(&a_list, &p[0]);

	printf("del person %s:\r\n", p[0].name);
	PrintList(&a_list);

	DelItemFromList(&a_list, &p[7]);

	printf("del person %s:\r\n", p[7].name);
	PrintList(&a_list);

	ListBubble_Sort(&a_list);
	printf("升序\n");
	PrintList(&a_list);

	printf("头插一个结点p9\n");
	struct person p9 = { "p9", 8, NULL };
	AddItemToListHead(&a_list, &p9);
	PrintList(&a_list);

	return 0;
}

测试结果:

FreeRTOS-链表的源码解析_第10张图片

更多链表的基本操作,和基本概念请看:《C语言链表超详解》

二.通用链表的三种实现方式

叫啥通用链表呢,回答这个问题前先看看什么我们实现的链表有什么缺陷:
FreeRTOS-链表的源码解析_第11张图片
所以我们需要一个通用的链表来将不同的事物(结构体)都可以用通用的链表串联起来。

思路:
第一:前提就是链表结点的结构体不能变
第二:将通用链表结点嵌入到要串联起来的结构体中

怎么理解看下面的图就知道了:
结构体中内嵌一个结点
FreeRTOS-链表的源码解析_第12张图片

FreeRTOS-链表的源码解析_第13张图片

1.引入容器的概念

这样做虽然实现了通用链表但是有一个问题:
person结构体里面包含结点结构体,通过结点结构体将person 结构体链接起来,这样话我们只知道结点(结点结构体)的地址,而person结构体的地址并不知道所以没有办法访问person结构体里面的成员变量。

person结构体里面包含结点结构体,通过结点结构体将person 结构体链接起来,则person结构体相当于node_t结点结构体的容器container。
FreeRTOS-链表的源码解析_第14张图片
所以我们的核心目的是通过node_t地址寻找container的地址

2.方式一:node一定放在container中最前面

struct  node_t {
	struct node_t *next;
};


struct person {
	struct  node_t node;
	char *name;
	int age;
};

struct list {
	struct  node_t head;
	char *name; /* A班 */
};

FreeRTOS-链表的源码解析_第15张图片
改造后的代码:

//链表初始化
void InitList(struct list *pList, char *name)
{
	pList->name = name;
	pList->head.next = NULL;
	//pList->next = NULL;
}

//尾插
void AddItemToListEnd(struct list *pList, struct node_t *new_node)
{
	struct node_t *tail = &pList->head;

	while (tail->next)
	{
		tail = tail->next;
	}

	/* last->next == NULL */
	tail->next = new_node;
	new_node->next = NULL;
}

//在某个结点后面添加一个新结点
void AddItemAfter(struct node_t *pre, struct node_t *next)
{
	next->next = pre->next;
	pre->next = next;
}

//删除一个结点
void DelItemFromList(struct list *pList, struct node_t *node)
{
	struct node_t *pre = &pList->head;

	while (pre != NULL &&  pre->next != node)
	{
		pre = pre->next;
	}
	if (pre == NULL)
	{
		printf("not found \n");
	}
	else
	{
		pre->next = node->next;
	}
}

FreeRTOS-链表的源码解析_第16张图片

打印链表

void PrintList(struct list *pList)
{
	int i = 0;

	struct node_t *cur = pList->head.next;
	struct person *p = NULL;
	while (cur != NULL)
	{
		p = (struct person*)cur;
		printf("person %d: %s is %d\r\n", i++, p->name, p->age);

		/* 后面还有人, 移动到下一个 */
		cur = cur->next;
	}
}

FreeRTOS-链表的源码解析_第17张图片
链表排序


int  Person_age_cmp(struct node_t* pre, struct node_t * next)
{
	struct person* p = (struct person*)pre;
	struct person* n = (struct person*)next;
	if (p->age > n->age)
		return 1;
	else
		return 0;
}

void ListBubble_Sort(struct list *pList)
{
	struct node_t  *cur = pList->head.next;
	struct node_t  *pre1 = &pList->head;
	struct node_t  *pre2 = NULL;
	struct node_t  *next = NULL;
	struct node_t  *tmp = NULL;

	while (cur->next->next)
	{
		pre2 = cur;
		next = cur->next;
		while (next)
		{
			if (Person_age_cmp(cur, next))
			{
				DelItemFromList(pList, cur);
				DelItemFromList(pList, next);
				AddItemAfter(pre1, next);
				if (cur == pre2)
					AddItemAfter(next, cur);
				else
					AddItemAfter(pre2, cur);
				//cur 与 next互换
				tmp = cur;
				cur = next;
				next = tmp;
			}
			pre2 = next;
			next = next->next;
		}
		pre1 = cur;
		cur = cur->next;
	}
}

FreeRTOS-链表的源码解析_第18张图片

3.方式二:node地址偏移反算出container位置

linux \ rt_thread系统常使用这种方式

struct  node_t {
	struct node_t *next;
};

struct person {
	char *name;
	int age;
	struct  node_t node;
};

struct list {
	char *name; /* A班 */
	struct  node_t node;
};

FreeRTOS-链表的源码解析_第19张图片
如果计算node结点在container中的地址偏移量呢?

FreeRTOS-链表的源码解析_第20张图片
关于结构体内存对齐,已经求结构体成员的地址偏移——》《自定义类型-结构体详解》

实现offsetof宏

offsetof:是一个带参宏可以求出,结构体成员变量地址相对于结构体变量起始地址的偏移量。

在这里插入图片描述
用法:
在这里插入图片描述
求出的偏移量完美吻合

自己实现offsetof宏

#define OFFSETOF(type,number)          (int) (&( *(type*) 0 ).number)
struct S2
{
	char c1;
	char c2;
	int a;
};
 
int main()
{
	printf("%d\n",OFFSETOF(struct S2,c1));
	printf("%d\n",OFFSETOF(struct S2,c2));
	printf("%d\n",OFFSETOF(struct S2,a));
	return 0;
}

在这里插入图片描述
详细分析:

在这里插入图片描述
如果对带参宏的不是很理解的请看——>预编译指令

直接附上源码了


#define contain_of(ptr,type,member)      (type*)((char *)ptr - &(((type*)0)->member))



struct  node_t {
	struct node_t *next;
};

struct person {
	char *name;
	int age;
	struct  node_t node;
};

struct list {
	char *name; /* A班 */
	struct  node_t node;
};


//初始化链表
void InitList(struct list *pList, char *name)
{
	pList->name = name;
	pList->node.next = NULL;
	//pList->next = NULL;
}


void AddItemToListEnd(struct list *pList, struct node_t *new_node)
{
	struct node_t *tail = &pList->node;

	while (tail->next)
	{
		tail = tail->next;
	}

	/* last->next == NULL */
	tail->next = new_node;
	new_node->next = NULL;
}

void AddItemAfter(struct node_t *pre, struct node_t *next)
{
	next->next = pre->next;
	pre->next = next;
}


void DelItemFromList(struct list *pList, struct node_t *node)
{
	struct node_t *pre = &pList->node;

	while (pre != NULL &&  pre->next != node)
	{
		pre = pre->next;
	}
	if (pre == NULL)
	{
		printf("not found \n");
	}
	else
	{
		pre->next = node->next;
	}

}


void PrintList(struct list *pList)
{
	int i = 0;

	struct node_t *cur = pList->node.next;
	struct person *p=	NULL;
	while (cur != NULL)
	{
		p = contain_of(cur, struct person, node);
		printf("person %d: %s is %d\r\n", i++, p->name, p->age);

		/* 后面还有人, 移动到下一个 */
		cur = cur->next;
	}
}


int  Person_age_cmp(struct node_t* pre, struct node_t * next)
{
	struct person* p = contain_of(pre, struct person, node);
	struct person* n = contain_of(next, struct person, node);
	if (p->age > n->age)
		return 1;
	else
		return 0;
}

void Bubble_Sort(struct list *pList)
{
	struct node_t  *cur = pList->node.next;
	struct node_t  *pre1 = &pList->node;
	struct node_t  *pre2 = NULL;
	struct node_t  *next = NULL;
	struct node_t  *tmp = NULL;

	while (cur->next->next)
	{
		pre2 = cur;
		next = cur->next;
		while (next)
		{
			if (Person_age_cmp(cur, next))
			{
				DelItemFromList(pList, cur);
				DelItemFromList(pList, next);
				AddItemAfter(pre1, next);
				if (cur == pre2)
					AddItemAfter(next, cur);
				else
					AddItemAfter(pre2, cur);
				//cur 与 next互换
				tmp = cur;
				cur = next;
				next = tmp;
			}
			pre2 = next;
			next = next->next;
		}
		pre1 = cur;
		cur = cur->next;
	}
}

FreeRTOS-链表的源码解析_第21张图片

4.方式三:node结点中,保存container地址

最直接的方式就是在结点初始化时在node结点中直接保存container的首地址

这也是FreeRTOS 操作系统中使用的方式


struct  node_t {
	struct node_t *next;
	void *container;
};


struct person {
	struct  node_t node;
	char *name;
	int age;

};

struct list {
	struct  node_t head;
	char *name; /* A班 */
};

FreeRTOS-链表的源码解析_第22张图片

直接上源码


void InitList(struct list *pList, char *name)
{
	pList->name = name;
	pList->head.next = NULL;
	//pList->next = NULL;
}

void AddItemToListEnd(struct list *pList, struct node_t *new_node)
{
	struct node_t *tail = &pList->head;

	while (tail->next)
	{
		tail = tail->next;
	}

	/* last->next == NULL */
	tail->next = new_node;
	new_node->next = NULL;
}

void AddItemAfter(struct node_t *pre, struct node_t *next)
{
	next->next = pre->next;
	pre->next = next;
}


void DelItemFromList(struct list *pList, struct node_t *node)
{
	struct node_t *pre = &pList->head;

	while (pre != NULL &&  pre->next != node)
	{
		pre = pre->next;
	}
	if (pre == NULL)
	{
		printf("not found \n");
	}
	else
	{
		pre->next = node->next;
	}
}


void PrintList(struct list *pList)
{
	int i = 0;

	struct node_t *cur = pList->head.next;
	struct person *p = NULL;
	while (cur != NULL)
	{
		p = (struct person*) (cur->container);
		printf("person %d: %s is %d\r\n", i++, p->name, p->age);

		/* 后面还有人, 移动到下一个 */
		cur = cur->next;
	}
}


int  Person_age_cmp(struct node_t* pre, struct node_t * next)
{
	if (((struct person*)pre->container)->age > ((struct person*)next->container)->age)
		return 1;
	else
		return 0;
}

void Bubble_Sort(struct list *pList)
{
	struct node_t  *cur = pList->head.next;
	struct node_t  *pre1 = &pList->head;
	struct node_t  *pre2 = NULL;
	struct node_t  *next = NULL;
	struct node_t  *tmp = NULL;

	while (cur->next->next)
	{
		pre2 = cur;
		next = cur->next;
		while (next)
		{
			if (Person_age_cmp(cur, next))
			{
				DelItemFromList(pList, cur);
				DelItemFromList(pList, next);
				AddItemAfter(pre1, next);
				if (cur == pre2)
					AddItemAfter(next, cur);
				else
					AddItemAfter(pre2, cur);
				//cur 与 next互换
				tmp = cur;
				cur = next;
				next = tmp;
			}
			pre2 = next;
			next = next->next;
		}
		pre1 = cur;
		cur = cur->next;
	}
}

链表测试


int main()
{
	struct list a_list;
	int i;

	struct person p[] = {
			{ { NULL,&p[0]}, "p1", 10 },
			{ { NULL,&p[1] }, "p2", 42 },
			{ { NULL,&p[2] }, "p3", 45 },
			{ { NULL,&p[3] }, "p4", 53 },
			{ { NULL,&p[4] }, "p5", 23 },
			{ { NULL,&p[5] }, "p6", 12 },
			{ { NULL,&p[6] }, "p7", 63 },
			{ { NULL,&p[7] }, "p8", 8 },
			{ { NULL, NULL}, { NULL } },
	};

	InitList(&a_list, "A_class");
	i = 0;
	while (p[i].name != NULL)
	{
		AddItemToListEnd(&a_list, &p[i].node);
		i++;
	}

	printf("add all person:\r\n");
	PrintList(&a_list);

	DelItemFromList(&a_list, &p[3].node);

	printf("del person %s:\r\n", p[3].name);
	PrintList(&a_list);

	DelItemFromList(&a_list, &p[0].node);

	printf("del person %s:\r\n", p[0].name);
	PrintList(&a_list);

	DelItemFromList(&a_list, &p[7].node);

	printf("del person %s:\r\n", p[7].name);
	PrintList(&a_list);

	Bubble_Sort(&a_list);
	printf("升序\n");
	PrintList(&a_list);
	return 0;
}



FreeRTOS-链表的源码解析_第23张图片

5.基于方式三实现双向循链表

双向循环链表比较简单详细操作—>《C语言链表超详解》
双向循环链表结合方式三就是FreeRTOS的链表实现方式

FreeRTOS-链表的源码解析_第24张图片

#define contain_of(ptr,type,member)      (type*)((char *)ptr - &(((type*)0)->member));
struct  node_t {
	struct node_t *next;
	struct node_t *pre;
	void *container;
};


struct person {
	struct  node_t node;
	char *name;
	int age;

};

struct list {
	struct  node_t head;
	char *name; /* A班 */
};

void InitList(struct list *pList, char *name)
{
	pList->name = name;
	pList->head.next = &pList->head;
	pList->head.pre = &pList->head;
	//pList->next = NULL;
}

void AddItemToListEnd(struct list *pList, struct node_t *new_node)
{
	struct node_t *tail = pList->head.pre;

	/* last->next == NULL */
	tail->next = new_node;
	new_node->pre = tail;
	new_node->next = &pList->head;
	pList->head.pre = new_node;
}

void AddItemAfter(struct node_t *pre, struct node_t *new_node)
{
	struct node_t * right = pre->next;

	pre->next = new_node;
	new_node->next = right;

	right->pre = new_node;
	new_node->pre = pre;
}


//查找节点,返回指向节点的指针
struct node_t* ListFind(struct list *pList, struct node_t *node)
{
	struct node_t  *cur = pList->head.next;
	while (cur != &pList->head)
	{
		if (cur == node)
		{
			return cur;
		}
		cur = cur->next;
	}
	return NULL;
}

void DelItemFromList(struct node_t *node)
{
	if (ListFind != NULL)
	{
		struct node_t  *left = node->pre;
		struct node_t  *right = node->next;
		left->next = right;
		right->pre = left;
	}
	else
		printf(" not find this node \n ");
}


void PrintList(struct list *pList)
{
	int i = 0;

	struct node_t *node = pList->head.next;
	struct person *p;

	while (node != &pList->head)
	{
		p = contain_of(node, struct person, node);
		printf("person %d: %s is %d\r\n", i++, p->name, p->age);

		/* 后面还有人, 移动到下一个 */
		node = node->next;
	}
}



int  Person_age_cmp(struct node_t* pre, struct node_t * next)
{
	if (((struct person*)pre->container)->age > ((struct person*)next->container)->age)
		return 1;
	else
		return 0;
}

void Bubble_Sort(struct list *pList)
{
	struct node_t  *cur   = pList->head.next;
	struct node_t  *pre1 = &pList->head;
	struct node_t  *pre2 = NULL;
	struct node_t  *next = NULL;
	struct node_t  *tmp  = NULL;

	while (cur !=&pList->head)
	{
		pre2 = cur;
		next = cur->next;
		while (next != &pList->head)
		{
			if (Person_age_cmp(cur, next))
			{
				DelItemFromList(cur);
				DelItemFromList(next);
				AddItemAfter(pre1, next);
				if (cur == pre2)
					AddItemAfter(next, cur);
				else
					AddItemAfter(pre2, cur);
				//cur 与 next互换
				tmp = cur;
				cur = next;
				next = tmp;
			}
			pre2 = next;
			next = next->next;
		}
		pre1 = cur;
		cur = cur->next;
	}
}

三.FreeRTOS链表源码深度解析

前面所有的都是铺垫终于讲到我们的重点了,前面主要要理解容器的概念理解通用链表的实现方式。

1.结构体分析

链表结构体:
FreeRTOS-链表的源码解析_第25张图片

  • uxNumberOfItems:链表节点计数器,用于表示该链表下有多少个节点,头结点除外。

在这里插入图片描述

  • pxIndex:链表结点索引指针,用于遍历结点,该指针指向的链表项表示该链表项正在使用,可以通过listGET_OWNER_OF_NEXT_ENTRY ()这个宏来调整它的位置。
    FreeRTOS-链表的源码解析_第26张图片

  • xListEnd:链表的头结点,只起到站岗的作用,在双向循环链表中既可以说的头也可以说是尾结点,而且数据类型是一个精简的结点

结点(链表项)结构体
1.精简结点类型
精简结点类型就是头结点的类型
FreeRTOS-链表的源码解析_第27张图片
2.结点类型
FreeRTOS-链表的源码解析_第28张图片

  • xItemValue: 辅助值,用于帮助结点做顺序排列
  • pxNext:指向链表下一个结点
  • pxPrevious:指向链表前一个结点
  • pvOwner:指向拥有该结点的内核对象(其实就是指向我们前面讲的包含该结点的容器),通常是 TCB(任务结构体)
    FreeRTOS-链表的源码解析_第29张图片简单来说就是,pvOwner就是结点找到container 的指针,而这个container一般是一个任务结构体(TCB),因为一般是任务挂入链表之中,所以任务结构体中包含一个链表结点用来挂入链表,而结点中的pvOwner成员指向任务结构体,用它可以访问任务结构体。
  • pxContainer:指向该结点所在的链表,这个指针指向前面的链表结构体便于访问链表结构体的其他成员(链表结点个数,索引指针…)。

为什么要有两种结点类型一个是精简一个是一般结点结构体类型
简单来说就是,为了节省内存

FreeRTOS-链表的源码解析_第30张图片
FreeRTOS-链表的源码解析_第31张图片

  • 链表示意图
    看图就明白各个指针指向的位置了,清楚明了
    FreeRTOS-链表的源码解析_第32张图片

2.链表初始化及结点初始化

1.链表初始化

void vListInitialise( List_t * const pxList )
{
    /* The list structure contains a list item which is used to mark the
     * end of the list.  To initialise the list the list end is inserted
     * as the only list entry. */
    pxList->pxIndex = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. */

    /* The list end value is the highest possible value in the list to
     * ensure it remains at the end of the list. */
    pxList->xListEnd.xItemValue = portMAX_DELAY;

    /* The list end next and previous pointers point to itself so we know
     * when the list is empty. */
    pxList->xListEnd.pxNext = ( ListItem_t * ) &( pxList->xListEnd );     /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. */
    pxList->xListEnd.pxPrevious = ( ListItem_t * ) &( pxList->xListEnd ); /*lint !e826 !e740 !e9087 The mini list structure is used as the list end to save RAM.  This is checked and valid. */

    pxList->uxNumberOfItems = ( UBaseType_t ) 0U;

    /* Write known values into the list if
     * configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES is set to 1. */
    listSET_LIST_INTEGRITY_CHECK_1_VALUE( pxList );
    listSET_LIST_INTEGRITY_CHECK_2_VALUE( pxList );
}
/*-----------------------------------------------------------*/

FreeRTOS-链表的源码解析_第33张图片
指针指向示意图:
FreeRTOS-链表的源码解析_第34张图片

2.结点初始化

void vListInitialiseItem( ListItem_t * const pxItem )
{
    /* Make sure the list item is not recorded as being on a list. */
    pxItem->pxContainer = NULL;

    /* Write known values into the list item if
     * configUSE_LIST_DATA_INTEGRITY_CHECK_BYTES is set to 1. */
    listSET_FIRST_LIST_ITEM_INTEGRITY_CHECK_VALUE( pxItem );
    listSET_SECOND_LIST_ITEM_INTEGRITY_CHECK_VALUE( pxItem );
}

FreeRTOS-链表的源码解析_第35张图片

3.插入链表"尾部"

void vListInsertEnd( List_t * const pxList,
                     ListItem_t * const pxNewListItem )
{
    ListItem_t * const pxIndex = pxList->pxIndex;

    /* Only effective when configASSERT() is also defined, these tests may catch
     * the list data structures being overwritten in memory.  They will not catch
     * data errors caused by incorrect configuration or use of FreeRTOS. */
    listTEST_LIST_INTEGRITY( pxList );
    listTEST_LIST_ITEM_INTEGRITY( pxNewListItem );

    /* Insert a new list item into pxList, but rather than sort the list,
     * makes the new list item the last item to be removed by a call to
     * listGET_OWNER_OF_NEXT_ENTRY(). */
    pxNewListItem->pxNext = pxIndex;
    pxNewListItem->pxPrevious = pxIndex->pxPrevious;

    /* Only used during decision coverage testing. */
    mtCOVERAGE_TEST_DELAY();

    pxIndex->pxPrevious->pxNext = pxNewListItem;
    pxIndex->pxPrevious = pxNewListItem;

    /* Remember which list the item is in. */
    pxNewListItem->pxContainer = pxList;

    ( pxList->uxNumberOfItems )++;
}

FreeRTOS-链表的源码解析_第36张图片

  • 怎么理解链表的尾部?
    以及如何插入新结点,看完下图就明白了。
    FreeRTOS-链表的源码解析_第37张图片

  • 如何调整pxIndex的位置?

pxIndex:链表结点索引指针,用于遍历结点,该指针指向的链表项表示该链表项正在使用,可以通过listGET_OWNER_OF_NEXT_ENTRY ()这个宏来调整它的位置。
FreeRTOS-链表的源码解析_第38张图片
在链表使用过程中,如果pxIndex指向头结点,则会直接跳过头结点指向头结点的下一个结点,因为头结点只是标识链表尾部/头部的标志并没有其他用处。
FreeRTOS-链表的源码解析_第39张图片

4.按序插入链表

利用结点的辅助排序值xitemVaule来排序插入,比较简单
FreeRTOS-链表的源码解析_第40张图片
FreeRTOS-链表的源码解析_第41张图片
后面的插入结点操作就简单了

5.删除链表项

FreeRTOS-链表的源码解析_第42张图片
删除链表项结点的操作比较简单就不讲解了

如果对双向链表基本操作还不熟练的可以参考->《C语言链表超详解》

6.链表操作-带参"宏函数"

在 list.h 中,还定义了各种各样的带参宏,方便对节点做一些简单的操作
基本看宏名就可以猜出该宏的作用
FreeRTOS-链表的源码解析_第43张图片

四.总结

FreeROTS的链表实现非常精妙,值得我们大家去学习,不过在学习之前的大家的C语言的高级语法部分需要扎实的基本功,以及数据结构中链表的深度理解,以及一定的C语言的代码能力,所以在学习理论的同时多刷题多敲代码多实践将理论知识融会贯通,得心应手,最后希望文章对你有所帮助加油!!!

结束语:
最近发现一款刷题神器,如果大家想提升编程水平,玩转C语言指针,还有常见的数据结构(最重要的是链表和队列)后面嵌入式学习操作系统的时如freerots、RT-Thread等操作系统,链表与队列知识大量使用。
大家可以点击下面连接进入牛客网刷题

点击跳转进入网站(C语言方向)
点击跳转进入网站(数据结构算法方向)

在这里插入图片描述

你可能感兴趣的:(玩转FreeRTOS,链表,数据结构)