FreeRTOS:1.通用链表分析

已于 2024-06-15 11:35:53 修改
阅读量1k 收藏 17
点赞数 15
分类专栏： FreeRTOS 文章标签： 嵌入式 FreeRTOS
于 2024-04-17 16:35:20 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_45988024/article/details/137878356
版权
本文详细介绍了FreeRTOS中的通用链表实现，包括node结构、container关联方法，以及链表的初始化、插入、删除操作和相关宏函数。主要讨论了structnode_t和structcontainer的定义，以及如何通过不同的方式获取container地址。
摘要由CSDN通过智能技术生成

该系列记录学习FreeRTOS的源码的过程，基于rivencode-CSDN博客，以及FreeRTOS源码进行学习。

首先是FreeRTOS内核的通用链表实现。

目录

通用链表实现

通用链表的作用：不同的结构体都可以使用通用的链表串联起来。

struct node_t{
	struct node_t *next;
}
struct container{
	int value;
	struct node_t node; // 包含了通用链表的结点
}

在已知node_t的地址，需要得到container的地址才能够访问container的其他成员。

实现方式有以下三种：(freertos使用的是方式3)

1、node作为container第一个成员

struct node_t{
	struct node_t *next;
}
struct container{
    struct node_t node; // 包含了通用链表的结点
	int value;
}

此时node_t成员的地址和container结构体的地址相同

2、node地址偏移反求container地址

在linux中常用这种方式，node放在container结构体中任意位置都可以通过node的地址计算container的地址。

先利用offsetof宏计算node结点在container结构体中偏移量，然后用node的地址减去偏移量得到container的地址，也就是contain_of宏。

以linux中的程序为例：

在这里插入图片描述

Linux 中的经典宏 container_of(ptr, type, member)剖析_( ((type *)0)->member )-CSDN博客

container_of中({})是GNU C的语法拓展，结果为最后一个语句的值
typeof是GNU C编译器的特有关键字。
linux中加入了 const typeof(((type*)0)->member)* __mptr = (ptr); 的目的在于引入类型检查，因为宏是预处理阶段的，无法保证类型安全，即参数ptr的地址类型和member的类型相同。

对于其他编译器，可以直接使用以下代码，不进行类型检查

#define container_of(ptr, type, member) ((type*)((char*)(ptr) - offsetof(type, member)))

3、node结点中保存container地址

最直接的方式就是在node结点中直接保存container的地址

struct node_t{
	struct node_t *next;
	void* container;
}
struct container{
	struct node_t node;
	int value;
}

FreeRTOS链表源码分析

以CubeMX生成的工程文件为例，涉及源码如下：

Middlewares\Third_Party\FreeRTOS\Source\include\list.h

Middlewares\Third_Party\FreeRTOS\Source\list.c

相关结构体

1. 链表结构体

在这里插入图片描述

pxIndex为索引指针，是用于遍历链表的结点，是上一次调用listGET_OWNER_OF_NEXT_ENTRY时返回的链表项，表示当前pxIndex指向的链表项正在使用，那么pxIndex的previous结点此时是链表的末尾

2. 链表项结构体

  • 完整节点类型：

在这里插入图片描述
pxNext和pxPrevious共同维护了一个双向链表

pvOwner指向的是tskTaskControlBlock结构体，创建任务时就会创建一个任务结构体TCB，里面包含链表的结点（链表项），通过pvOwner就能找到TCB
在这里插入图片描述

通过pxContainer成员就能够找到这个结点所属的链表，以便访问链表的其他成员如链表结点个数，索引指针pxIndex。

  • 精简结点类型：

在这里插入图片描述

对于FreeRTOS的xList链表，本质上是一个双向链表，其中用一个精简的结点类型作为虚拟头结点，这个头结点没有任何含义，因此可以省去pvOwner和pxContainer这两项。链表中其他结点均为xLIST_ITEM类型。

对于xList、xMINI_LIST_ITEM、xLIST_ITEM结构体关系如下图：

在这里插入图片描述

初始化

1. 链表初始化

void vListInitialise( List_t * const pxList )
{
	// 链表还没使用，将索引指针pxIndex指向虚拟头节点，也就是xListEnd
	pxList->pxIndex = ( ListItem_t * ) &( pxList->xListEnd );			
    
    // 将链表的虚拟头结点的辅助排序值设置为最大，排序插入时保证是最后一个结点
	pxList->xListEnd.xItemValue = portMAX_DELAY;
	
    // 将头结点的pxNext、pxPrevious指向自己，表示此时链表为空
	pxList->xListEnd.pxNext = ( ListItem_t * ) &( pxList->xListEnd );	
	pxList->xListEnd.pxPrevious = ( ListItem_t * ) &( pxList->xListEnd );
	// 将链表中的结点个数设置为0
	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 );
}

2. 链表项初始化

void vListInitialiseItem( ListItem_t * const pxItem )
{
	// 将链表项中指向所属链表的指针指向NULL，表示该结点不属于任何链表
	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 );
}

插入链表尾部

这里指的链表尾部，是索引指针pxIndex指向的结点位置的上一个位置，因为此时索引指针指向的链表项正在被使用，所以上一个结点是链表的尾部。

void vListInsertEnd( List_t * const pxList, ListItem_t * const pxNewListItem )
{
    // 记录当前索引指针pxIndex指向的结点位置
	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 );

	// 在pxIndex指向的结点位置的上一个节点处，也就是pxIndex->pxPrevious后面插入这个结点pxNewListItem
	pxNewListItem->pxNext = pxIndex;
	pxNewListItem->pxPrevious = pxIndex->pxPrevious;

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

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

	// 设置这个结点当前所在的链表为pxList
	pxNewListItem->pxContainer = pxList;
	// 链表pxList包含的节点数+1
	( pxList->uxNumberOfItems )++;
}

按序插入链表

利用给定节点的辅助排序值xItemValue来排序插入：遍历链表，找到第一个节点的排序值大于给定节点的排序值，在这个结点前面插入给定的结点。

void vListInsert( List_t * const pxList, ListItem_t * const pxNewListItem )
{
	ListItem_t *pxIterator;
    // 记录给定节点的辅助排序值xItemValue
	const TickType_t xValueOfInsertion = pxNewListItem->xItemValue;

	listTEST_LIST_INTEGRITY( pxList );
	listTEST_LIST_ITEM_INTEGRITY( pxNewListItem );
	// 如果排序值为最大值，那么直接插入到虚拟头结点的上一个结点
	if( xValueOfInsertion == portMAX_DELAY )
	{
		pxIterator = pxList->xListEnd.pxPrevious;
	}
	else
	{	//从虚拟头结点开始遍历，寻找第一个节点的排序值大于给定节点的排序值，为插入位置
		for( pxIterator = ( ListItem_t * ) &( pxList->xListEnd ); pxIterator->pxNext->xItemValue <= xValueOfInsertion; pxIterator = pxIterator->pxNext ) 
		{
			/* There is nothing to do here, just iterating to the wanted
			insertion position. */
		}
	}
    // 双向链表操作：插入节点
	pxNewListItem->pxNext = pxIterator->pxNext;
	pxNewListItem->pxNext->pxPrevious = pxNewListItem;
	pxNewListItem->pxPrevious = pxIterator;
	pxIterator->pxNext = pxNewListItem;
	// 更新节点所属的链表
	pxNewListItem->pxContainer = pxList;
    // 该链表包含的节点数+1
	( pxList->uxNumberOfItems )++;
}

删除链表项

UBaseType_t uxListRemove( ListItem_t * const pxItemToRemove )
{
	// 得到要移除节点所属的链表
	List_t * const pxList = pxItemToRemove->pxContainer;
	// 从双向链表中删除该结点
	pxItemToRemove->pxNext->pxPrevious = pxItemToRemove->pxPrevious;
	pxItemToRemove->pxPrevious->pxNext = pxItemToRemove->pxNext;

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

	/* 确保删除的链表项是当前正在使用的链表项，也就是pxIndex指向的链表项 */
	if( pxList->pxIndex == pxItemToRemove )
	{
		pxList->pxIndex = pxItemToRemove->pxPrevious;
	}
	else
	{
		mtCOVERAGE_TEST_MARKER();
	}
	// 将该结点指向所属链表的指针置为NULL，表示该结点不属于任何链表
	pxItemToRemove->pxContainer = NULL;
    // pxList链表的节点数-1
	( pxList->uxNumberOfItems )--;
	// 返回链表中结点个数
	return pxList->uxNumberOfItems;
}

链表操作相关的带参宏函数

FreeRTOS提供了一些带参宏函数，封装了这些节点操作。

// 设置节点的owner，也就是TCB结构体
#define listSET_LIST_ITEM_OWNER( pxListItem, pxOwner )		( ( pxListItem )->pvOwner = ( void * ) ( pxOwner ) )

// 获取节点的owner，也就是TCB结构体
#define listGET_LIST_ITEM_OWNER( pxListItem )	( ( pxListItem )->pvOwner )

// 设置节点的辅助排序值
#define listSET_LIST_ITEM_VALUE( pxListItem, xValue )	( ( pxListItem )->xItemValue = ( xValue ) )

// 获取节点的辅助排序值
#define listGET_LIST_ITEM_VALUE( pxListItem )	( ( pxListItem )->xItemValue )

// 获取节点虚拟头结点的下一个结点的辅助排序值
#define listGET_ITEM_VALUE_OF_HEAD_ENTRY( pxList )	( ( ( pxList )->xListEnd ).pxNext->xItemValue )

// 获取链表的虚拟头结点的下一个结点
#define listGET_HEAD_ENTRY( pxList )	( ( ( pxList )->xListEnd ).pxNext )

// 获取给定节点的下一个结点
#define listGET_NEXT( pxListItem )	( ( pxListItem )->pxNext )

//获取链表的虚拟头结点
#define listGET_END_MARKER( pxList )	( ( ListItem_t const * ) ( &( ( pxList )->xListEnd ) ) )

// 判断链表是否为空
#define listLIST_IS_EMPTY( pxList )	( ( ( pxList )->uxNumberOfItems == ( UBaseType_t ) 0 ) ? pdTRUE : pdFALSE )

// 获取链表的节点数
#define listCURRENT_LIST_LENGTH( pxList )	( ( pxList )->uxNumberOfItems )

在这里插入图片描述

linqwer1
关注
  • 15
    点赞
  • 踩
  • 17
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C语言通用链表
weixin_46146281的博客
04-16 204
通用链表把初始化分为两部分，指针域和数据域分开初始化，大大提高了通用性，用户可以根据自己的业务需求创建业务数据域。通用链表数据块是由list成员串联起来的，它的next和prev指向的是业务数据结构体中list成员的首地址，所以。需要根据list成员的首地址得到业务数据结构体的首地址，才能进行访问其它成员的数据。单纯的通用链表是没有意义的，要结合业务类型。通过结构体成员获取结构体首地址宏定义。
FreeRTOS 实时操作系统第九讲 - 链表 (数据结构)
qq_37391577的博客
01-06 848
**/用于检测列表数据是否完整辅助值 (比如用于任务的优先级)，用于帮助节点进行顺序排列指向下一个节点的指针指向上一个节点的指针指向拥有该节点的内核对象，通常是 TCB(任务控制块 / 任务句柄)指向该节点所在的链表用于检测列表数据是否完整/**/} List_t;用于检测列表数据是否完整链表节点计数器，用于记录该链表下有多少个节点，根节点除外链表节点索引指针，用于遍历节点链表最后一个节点。链表是一个圈，首尾相连的，首就是尾，尾也是首。
Linux 内核通用链表学习小结
09-15
本篇文章主要介绍了Linux 内核通用链表学习小结，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧
STM32基于HAL库的实时操作系统FreeRtOS开发----链表的应用
最新发布
weixin_48503637的博客
05-08 632
freertos中对链表设定为双向链表，这是对数据结构中链表的深度理解，以及需要一定的C语言的代码能力。
【linux通用链表】
Sugar_wolf的博客
07-07 249
【linux通用链表】
深入理解FreeRTOS_学习笔记(10.链表)
m0_65525149的博客
06-01 1138
链表是FreeRTOS中使用次数相当多的，我们这一章主要就是链表项定义，插入，删除等一些操作，并且通过源码分析。如图所示，freertos具有非常多的链表宏操作freertos中对链表设定为双向链表，这是对数据结构中链表的深度理解，以及需要一定的C语言的代码能力。
FreeRTOS学习-链表（List_t）
Duran.L的专栏
05-14 526
在FreeRTOS中，List是为了任务调度器深度定制的链表，因此，理解FreeRTOS内核中的链表有助于理解任务调度的原理和实现。当然该链表也可以为应用程序所用。本文将介绍FreeRTOS中List的基本用法和关键的数据结构。
FreeRTOS里的heap-4文件
09-13
heap_4是FreeRTOS中的一种内存管理策略，称为"内存池"或"通用堆内存管理"。 heap_4.c和heap_4.h是实现这个内存管理策略的源代码文件。heap_4.c包含了具体的内存分配和释放函数的实现，而heap_4.h则定义了相关的数据...
C语言嵌入式.zip
08-10
与通用计算机不同，嵌入式系统的硬件和软件通常是紧密耦合的，并且需要考虑功耗、实时性、可靠性和成本等因素。 四、C语言在嵌入式编程中的应用 1. 微控制器编程：C语言可以用于编写微控制器应用程序，如STM32、AVR...
arm嵌入式学习——学习总结整理.pdf
11-13
- 操作系统：嵌入式系统常使用的有RTOS（实时操作系统）如FreeRTOS、VxWorks，或Linux等通用操作系统。了解操作系统原理能更好地进行系统级编程。 3. 操作系统设计与分类 - 设计思路：操作系统设计要考虑任务调度...
嵌入式比赛时的控制竞赛平台小车代码.zip
09-30
1. **硬件接口编程**：小车的控制离不开与硬件的交互，包括电机驱动、传感器连接等。这部分代码可能包括GPIO（通用输入/输出）配置，ADC（模拟数字转换）读取，PWM（脉宽调制）控制电机速度等。了解这些接口的工作...
嵌入式C、C++语言精华.pdf
07-04
#### 1. **嵌入式C/C++语言概览** - **目标读者**: 本书面向希望深入了解嵌入式C/C++编程的专业人士以及对此领域感兴趣的初学者。 - **内容范围**: 包括了C/C++语言的基础知识、高级特性及其在嵌入式系统中的应用...
FreeRTOS之——链表
m0_51095029的博客
09-03 2170
链表什么是链表？？？单链表（最基本链表结构）循环链表双向循环链表链表的插入链表的删除链表插入与删除代码实现1）定义节点和链表2）初始化节点和链表3）链表的插入4）链表的删除在FreeRTOS中链表的表示list.h 中节点的定义链表的定义list.c中链表初始化节点的初始化节点插入链表链表删除节点 什么是链表？？？ 可以结合数组来看，链表和数组差不多，数组是连续存储，不能动态扩展，删除， 链表：可以把零散的空余空间串联起来，内存利用率高，有数据增加就串联更多的空间，有数据减少就删除多余的空间 链表由.
数据结构——通用链表
xiaoyu1381的博客
08-10 354
数据结构——通用链表
从零开始，教你写FreeRTOS双向链表
an520_的博客
08-19 470
迷你节点也是节点，但迷你节点仅用于标记链表的末尾和挂载其他插入链表中的节点，用户是用不到迷你节点的，链表头节点和普通节点可以不一样。下面这个头即使链表定义，也是链表头，链表头节点和普通节点可以不一样。节点在FreeRTOS中叫做链表项。
FreeRTOS --（1）链表
梁的愚见
02-28 731
Based On FreeRTOS Kernel V10.3.1 1、相关文件 链表结构是 OS 内部经常使用到的，FreeRTOS 自然也不例外，在深入分析各个模块的工作原理之前，首先来分析 FreeRTOS 的链表结构，和链表相关的代码被定义在： list.h list.c   2、数据结构 不得不说，FreeRTOS 另一个成功的因素，在于他的代码注释，非常的完备...
【RTOS学习】FreeRTOS中的链表 | 堆的管理
weixin_63726869的博客
12-11 1757
介绍了FreeRTOS中的链表，包括它的结构组成，初始化，插入，删除等方法。还详细讲解了四种堆的管理方式，并且指出了它们各自的优缺点，还有底层解决内存碎片化的方式。
freertos内核原理 Day1(链表)
weixin_48038462的博客
01-03 1299
头文件list.h中辅助排序值(xitemvalue);节点排序时确定当前节点处于链表的第几位指向下一节点指针(pxnext);指向上一节点指针(pxprevious);指向内核对象指针(pvowner);指向节点所在链表(pvcontainer);根节点代表的就是当前链表/* 辅助值，用于帮助节点做顺序排列 *//* 指向链表下一个节点 *//* 指向链表前一个节点 *//* 指向拥有该节点的内核对象，通常是TCB *//* 指向该节点所在的链表 */
[数据结构]——通用链表
weixin_42067873的博客
02-16 642
这里实现的链表是内核链表的一个简单优化，在内核链表中next指针放在数据的尾部，定位指针域需要计算偏移量，增加了处理难度。优化后将next指针放在数据块的开头，免去了偏移量的计算。 头文件： #ifndef LINKLIST_H #define LINKLIST_H #include <stdio.h> #include <stdlib.h> #include <string.h> //挂钩 typedef struct LINKNODE { str..
Error:..\FreeRTOS\timers.c,422 Error:..\FreeRTOS\portable\RVDS\ARM_CM3\port.c,378怎么解决
04-27
1. 检查你的代码是否正确包含了 FreeRTOS 头文件和库文件，以及是否正确配置了编译器选项和链接器脚本。 2. 检查你的代码是否正确使用了 FreeRTOS 的 API 函数，特别是在 timers.c 和 port.c 文件中使用的 API 函数...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值