FreeRTOS源码分析-1创建任务和任务删除

已于 2023-07-17 23:22:09 修改
阅读量368 收藏 7
点赞数
分类专栏： FreeRTOS源码分析 文章标签： stm32 单片机
于 2023-07-16 23:58:34 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_60718520/article/details/131751848
版权

目录

1 任务的句柄（结构体）

2 创建任务

2.1 创建任务初始化源码分析

2.2 任务添加到就绪列表源码分析

2.3任务堆栈的初始化源码分析

问：R0为什么要入栈保存？因为作为函数的第一个传入参数，必须也要保存。

问：为什么要入栈异常返回值？

3 任务删除

1 任务的句柄（结构体）

/********结构体指针*******/
typedef struct tskTaskControlBlock
{
 volatile StackType_t *pxTopOfStack;          //任务栈顶
 ListItem_t   xStateListItem;                 //状态列表
 ListItem_t   xEventListItem;                 //事件列表
 UBaseType_t uxPriority;                      //任务优先级
 StackType_t *pxStack;                        //任务栈地址
 char pcTaskName[ configMAX_TASK_NAME_LEN ];  //任务名称
} tskTCB;

2 创建任务

创建业务流程：

  • 分配任务控制块内存空间，分配任务堆栈空间
  • 初始化任务控制块，初始化任务堆栈
  • 添加任务到就绪列表中

补充一个知识：M4权威指南4.4.3栈存储

2.1 创建任务初始化源码分析

具体工作，把栈空间的高地址分配给栈顶，任务分配的优先级，任务控制块
链接到任务状态表中，任务控制块连接到事件表中，任务堆栈初始化，之后返回任务栈顶。

/*********创建任务********/
//任务创建函数，其中osThreadCreate是CMSIS封装接口
Key_TaskHandle = osThreadCreate(osThread(Key_Task), NULL)；

/**
 * @description: osThreadCreate内部是xTaskCreate，创建一个任务线程，任务栈分配内存、控制块分配内存,把任务添加到就绪列表，初始化
 * @param {TaskFunction_t}pxTaskCode 函数指针（函数名）
 * @param {const char *}pcName 任务名称（字符串）
 * @param {const uint16_t} usStackDepth  任务堆栈大小，单位为字
 * @param {void *} const pvParameters 任务传入参数
 * @param {UBaseType_t} uxPriority 任务优先级
 * @param {TaskHandle_t *} const pxCreatedTask 任务句柄
 * @return {const char *}pxTaskCode
 */
BaseType_t xTaskCreate(	TaskFunction_t pxTaskCode,
						const char * const pcName,
						const uint16_t usStackDepth,
						void * const pvParameters,
						UBaseType_t uxPriority,
						TaskHandle_t * const pxCreatedTask ) /*lint !e971 Unqualified char types are allowed for strings and single characters only. */
{
    TCB_t *pxNewTCB;
    BaseType_t xReturn;

	//硬件平台栈增长方式:M4是满减栈，portSTACK_GROWTH = -1
#if( portSTACK_GROWTH > 0 )
	{
		//略
	}
#else /* portSTACK_GROWTH */
	{
	    StackType_t *pxStack;

		/* 任务栈内存分配*/
		pxStack = ( StackType_t * ) pvPortMalloc( ( ( ( size_t ) usStackDepth ) * sizeof( StackType_t ) ) );

		if( pxStack != NULL )
		{
			/* 任务控制块内存分配 */
			pxNewTCB = ( TCB_t * ) pvPortMalloc( sizeof( TCB_t ) ); /*lint !e961 MISRA exception as the casts are only redundant for some paths. */

			if( pxNewTCB != NULL )  
			{
				/* 赋值栈地址 */
				pxNewTCB->pxStack = pxStack;
			}
			else
			{
				/* 释放栈空间 */
				vPortFree( pxStack );
			}
		}
		else
		{
			pxNewTCB = NULL;
		}
	}
#endif /* portSTACK_GROWTH */

	if( pxNewTCB != NULL )
	{
		/*创建任务初始化，把栈空间的高地址分配给栈顶，任务分配的优先级，任务控制块
        链接到任务状态表中，任务控制块连接到事件表中，//任务堆栈初始化，之后返回任
        务栈顶*/
		prvInitialiseNewTask( pxTaskCode, pcName, ( uint32_t ) usStackDepth, pvParameters, uxPriority, pxCreatedTask, pxNewTCB, NULL );
        //把任务添加到就绪列表中
		prvAddNewTaskToReadyList( pxNewTCB );
		xReturn = pdPASS;
	}
	else
	{
		xReturn = errCOULD_NOT_ALLOCATE_REQUIRED_MEMORY;
	}

	return xReturn;
}

2.2 任务添加到就绪列表源码分析




static void prvInitialiseNewTask( 	TaskFunction_t pxTaskCode,
									const char * const pcName,
									const uint32_t ulStackDepth,
									void * const pvParameters,
									UBaseType_t uxPriority,
									TaskHandle_t * const pxCreatedTask,
									TCB_t *pxNewTCB,
									const MemoryRegion_t * const xRegions ) /*lint !e971 Unqualified char types are allowed for strings and single characters only. */
{
    StackType_t *pxTopOfStack;
    UBaseType_t x;

	/*计算栈顶的指针*/
	#if( portSTACK_GROWTH < 0 ) //满减栈
	{
        //把栈空间的高地址分配给栈顶
		pxTopOfStack = pxNewTCB->pxStack + ( ulStackDepth - ( uint32_t ) 1 );
        //栈对齐-----栈要8字节对齐
		pxTopOfStack = ( StackType_t * ) ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack ) & ( ~( ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) ) ); 

		/*检查是否有错误*/
		configASSERT( ( ( ( portPOINTER_SIZE_TYPE ) pxTopOfStack & ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) == 0UL ) );
	}
	#else /* portSTACK_GROWTH */
	{
		//不是满减栈不需要关注
	}
	#endif /* portSTACK_GROWTH */

	/*存储任务名称，即数组拷贝*/
	for( x = ( UBaseType_t ) 0; x < ( UBaseType_t ) configMAX_TASK_NAME_LEN; x++ )
	{
		pxNewTCB->pcTaskName[ x ] = pcName[ x ];

		if( pcName[ x ] == 0x00 )
		{
			break;
		}
		else
		{
			mtCOVERAGE_TEST_MARKER();
		}
	}

	/*补齐字符串*/
	pxNewTCB->pcTaskName[ configMAX_TASK_NAME_LEN - 1 ] = '\0';

	/*判断任务分配的优先级是否大于最大值*/
	if( uxPriority >= ( UBaseType_t ) configMAX_PRIORITIES )
	{
		uxPriority = ( UBaseType_t ) configMAX_PRIORITIES - ( UBaseType_t ) 1U;
	}
	else
	{
		mtCOVERAGE_TEST_MARKER();
	}

    //赋值任务优先级
	pxNewTCB->uxPriority = uxPriority;

    //状态表、事件表初始化
	vListInitialiseItem( &( pxNewTCB->xStateListItem ) );
	vListInitialiseItem( &( pxNewTCB->xEventListItem ) );

	/*任务控制块链接到状态表中*/
	listSET_LIST_ITEM_OWNER( &( pxNewTCB->xStateListItem ), pxNewTCB );

	/*任务控制块连接到事件表中 */
	listSET_LIST_ITEM_VALUE( &( pxNewTCB->xEventListItem ), ( TickType_t ) configMAX_PRIORITIES - ( TickType_t ) uxPriority ); /*lint !e961 MISRA exception as the casts are only redundant for some ports. */
	listSET_LIST_ITEM_OWNER( &( pxNewTCB->xEventListItem ), pxNewTCB );
	
	#if( portUSING_MPU_WRAPPERS == 1 )
	{
		//不执行
	}
	#else /* portUSING_MPU_WRAPPERS */
	{
        //任务堆栈初始化，之后返回任务栈顶
		pxNewTCB->pxTopOfStack = pxPortInitialiseStack( pxTopOfStack, pxTaskCode, pvParameters );
	}
	#endif /* portUSING_MPU_WRAPPERS */

    
	if( ( void * ) pxCreatedTask != NULL )
	{
		/*赋值任务的句柄，即任务控制块*/
		*pxCreatedTask = ( TaskHandle_t ) pxNewTCB;
	}
	else
	{
		mtCOVERAGE_TEST_MARKER();
	}
}

接下来就是分析上面任务堆栈的初始化

2.3任务堆栈的初始化源码分析

补充：资料阅读M4权威指南，第八章节，分析异常处理

为什么分析异常处理？任务调度其实就是通过CPU内核异常处理实现的

 

 

StackType_t *pxPortInitialiseStack( StackType_t *pxTopOfStack, TaskFunction_t pxCode, void *pvParameters )
{
    //入栈程序状态寄存器
	pxTopOfStack--; 
	*pxTopOfStack = portINITIAL_XPSR;	/* xPSR */

    //入栈PC指针
	pxTopOfStack--;
	*pxTopOfStack = ( ( StackType_t ) pxCode ) & portSTART_ADDRESS_MASK;	/* PC */

    //入栈LR链接寄存器
    pxTopOfStack--;
	*pxTopOfStack = ( StackType_t ) prvTaskExitError;	/* LR */

    //不需要初始化
	pxTopOfStack -= 5;	/* R12, R3, R2 and R1. */

    //R0作为传参入栈
	*pxTopOfStack = ( StackType_t ) pvParameters;	/* R0 */

    //异常返回值入栈，返回值是确定程序使用的栈地址是哪一个？MSP PSP
    pxTopOfStack--;
    pxTopOfStack = portINITIAL_EXEC_RETURN;
    
    //不初始化
	pxTopOfStack -= 8;	/* R11, R10, R9, R8, R7, R6, R5 and R4. */

    //最终返回栈顶
	return pxTopOfStack;
}

补充知识：栈帧

程序的写法顺序按照下图所示 

 

问：R0为什么要入栈保存？因为作为函数的第一个传入参数，必须也要保存。

问：为什么要入栈异常返回值？

返回值是确定程序使用的栈地址是哪一个？MSP PSP。

prvAddNewTaskToReadyList( pxNewTCB )

把任务添加到就绪列表这部分暂未分析，后续会结合其他内容分析

3 任务删除

任务删除业务流程：

  • 从就绪列表中删除
  • 从事件列表中删除
  • 释放任务控制块、释放任务堆栈内存
  • 开始任务调度
void vTaskDelete( TaskHandle_t xTaskToDelete )
{
    TCB_t *pxTCB;

    //进入临界段
	taskENTER_CRITICAL();
	{
		/*获取任务控制块--参数传入的时任务句柄
        判断是任务本身还是，其他任务，如果是当前的任务，传入的参数未NULL    
        */
		pxTCB = prvGetTCBFromHandle( xTaskToDelete );

		/*从就绪列表中移除*/
		if( uxListRemove( &( pxTCB->xStateListItem ) ) == ( UBaseType_t ) 0 )
		{
			taskRESET_READY_PRIORITY( pxTCB->uxPriority );
		}
		else
		{
			mtCOVERAGE_TEST_MARKER();
		}

		/*从事件列表中移除*/
		if( listLIST_ITEM_CONTAINER( &( pxTCB->xEventListItem ) ) != NULL )
		{
			( void ) uxListRemove( &( pxTCB->xEventListItem ) );
		}
		else
		{
			mtCOVERAGE_TEST_MARKER();
		}

		/*  */
		uxTaskNumber++;

        //如果是删除当前任务
		if( pxTCB == pxCurrentTCB )
		{
			/* 不能在这里删除，在空闲任务中删除，把任务添加到等待删除的任务列表中 */
			vListInsertEnd( &xTasksWaitingTermination, &( pxTCB->xStateListItem ) );

			/* 给空闲任务一个标记 */
			++uxDeletedTasksWaitingCleanUp;

			/* 钩子函数----用户自己实现 */
			portPRE_TASK_DELETE_HOOK( pxTCB, &xYieldPending );
		}
		else //不是当前任务
		{
            //直接删除任务控制块
			--uxCurrentNumberOfTasks;
			prvDeleteTCB( pxTCB );

			/* 复位任务锁定时间 -----时间片 操作系统会记录一个最新的时间，根据
                最新的时间进行调度。所以删除任务后，要更新锁定时间
             */
			prvResetNextTaskUnblockTime();
		}

		traceTASK_DELETE( pxTCB );
	}
    //退出临界段
	taskEXIT_CRITICAL();

	/* 判断调度器是否开启 */
	if( xSchedulerRunning != pdFALSE )
	{
        //如果是删除任务本身，马上进行任务调度（释放CPU使用权）
		if( pxTCB == pxCurrentTCB )
		{
			configASSERT( uxSchedulerSuspended == 0 );
			portYIELD_WITHIN_API();
		}
		else
		{
			mtCOVERAGE_TEST_MARKER();
		}
	}
}
4IOT
关注
  • 0
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
STM32F407 FreeRTOS例程源码
01-07
正点原子&正点原子哥 《FreeRTOS源码与应用》 STM32F407 FreeRTOS例程源码
FreeRtos源码
03-24
不用多说，对于愿意学习的人，已经足够了解这个小但功能强大的微系统。
【FreeRTOS】创建任务-声光色影
最新发布
weixin_63135906的博客
06-14 830
任务就是一个函数，任务就是工作这个函数不能返回同一个函数，可以用来创建多个任务；换句话说，多个任务可以运行同一个函数每个任务都有自己的栈每个任务运行这个函数时任务A的局部变量放在任务A的栈里、任务B的局部变量放在任务B的栈里不同任务的局部变量，有自己的副本函数使用全局变量、静态变量的话只有一个副本：多个任务使用的是同一个副本要防止冲突(后续会讲) 下面是一个示例：/* 对于不同的任务，局部变量放在任务的栈里，有各自的副本 *//* 任务函数通常实现为一个无限循环 */
手把手教你FreeRTOS源码详解（二）——任务管理
weixin_46461874的博客
12-22 3325
vTaskDelay函数的本质是调用prvAddCurrentTaskToDelayedList，将任务添加至对应的延时、阻塞链表，同样，首先将任务从就绪列表中移除，移除后并所移除的就绪列表中是否还有其余就绪的任务，若剩余就绪任务数为0，则清除该列表的就绪标志位。如果阻塞时间不为最大时，首先计算出唤醒任务的时间，xConstTickCount为执行任务prvAddCurrentTaskToDelayedList的时间，xTicksToWait为延时时间，xTimeToWake为唤醒时间。
FreeRTOS源码分析-3多任务调度背景知识
m0_60718520的博客
07-20 354
这样，在任务执行时，使用的是任务自己的私有堆栈，而不会影响其他任务或操作系统内核的堆栈。在FreeRTOS中，通常会将操作系统内核的代码设置为特权级（0），而任务代码设置为非特权级（1）。FreeRTOS操作系统，是通过Systick中断，来遍历优先级最高的任务，这个时候，一旦进入中断使用MSP,但是退出的时候可以选择PSP。上图描述了系统启动一个中断流程，OS启动一上电需要响应快，所以使用的SVC中断，之后使用PendSV中断切换任务b，当Systick中断发生再会调用PendSV切换至优先级高的任务。
FreeRTOS学习笔记---动态创建任务 xTaskCreate() 源码分析
HXYDJ的博客
09-27 3253
# xTaskCreate 动态任务创建 ## 为任务堆栈申请内存 ### pvPortMalloc() ## 为任务控制块申请内存 ### pvPortMalloc() ## 初始化任务控制块中任务堆栈 ## 如果任务控制块内存申请失败，则释放前面申请的内存 ### vPortFree() ## 通过prvInitialiseNewTask()初始化任务 ### prvInitialiseNewTask() ## 通过prvAddNewTaskToReadyList()将新创建的任务添
FreeRTOS学习笔记---任务控制块源码分析
HXYDJ的博客
09-23 1623
#define portSTACK_TYPE uint32_t #define portBASE_TYPE long typedef portSTACK_TYPE StackType_t; typedef long BaseType_t; typedef unsigned long UBaseType_t; typedef BaseType_t (*TaskHookFunction_t)( void * ); /* * 任务控制块。 任务控制块（TCB）为每个任务分配，并存储任务状态信息，包括指向任务上.
freertos源码解析-3任务和任务创建
weixin_38812277的博客
05-19 359
任务 void vATaskFunction( void *pvParameters ) { for( ;; ) { /*-- 应用程序代码放在这里. --*/ }/*正常情况下任务函数是一个死循环，不会退出*/ vTaskDelete( NULL );/*如果任务完成，需要退出，需要删除该任务，vATaskFunction没有返回值*/ } 任务状态 运行：任务占用CPU，单核处理器任意时刻只有一个任务在运行。 就绪：任务处于准备随时可以运行的状态，等待
FreeRTOS源码分析-12 低功耗管理
m0_60718520的博客
08-13 1137
Idle task 任务中会调用tickless，当休眠时间>10ms那么会进入低功耗模式，可选择3种休眠模式再分析多任务调度源码的时候，有个UnblockTime，我们可以把这个值传给tickless，来计算下个任务需要调度的时间。
FreeRTOS学习笔记-------任务创建与删除
tmd182的博客
01-05 454
FreeRTOS任务创建、删除、优先级、栈等
【freertos】011-信号量、互斥量及优先级继承机制源码分析.doc
07-12
"FreeRTOS信号量、互斥量及优先级继承机制源码分析" FreeRTOS是一个实时操作系统，提供了信号量、互斥量等同步机制来实现任务之间的同步和资源保护。信号量是一种同步机制，可以实现任务间的同步和资源保护，而互斥...
FreeRTOS源码V9.0.0
12-30
FreeRTOS（Free Real-Time Operating System）是一款开源的嵌入式实时操作系统，被广泛应用于各种微控制器和物联网设备中...同时，源码分析也能帮助我们了解如何将FreeRTOS应用到实际项目中，提高系统的可靠性和效率。
freeRtos-source
05-10
2. **任务创建与销毁**：理解如何创建和删除任务，以及任务状态的管理。 3. **同步机制**：深入分析信号量、互斥量和消息队列的实现细节。 4. **内存管理**：查看内存分配函数`pvPortMalloc()`和释放函数`vPortFree...
STM32F407_FreeRTOS_Tracealyzer-2.rar
08-05
4. **配置Trace输出**：在FreeRTOS源码中添加必要的API调用来记录RTOS事件，例如任务创建、任务删除、信号量操作等。 5. **连接并捕获Trace数据**：运行程序，通过Tracer捕获RTOS事件的Trace数据。 6. **导入并...
freeRTOS9.0.0源码
07-24
本文将深入探讨FreeRTOS 9.0.0版本的源码，分析其关键组件和工作原理。 1. **任务管理**：FreeRTOS 的核心是任务调度器，它负责在多个任务之间切换。每个任务是一个无限循环，通过`vTaskStartScheduler()`启动。...
FreeRtos源码分析之任务创建和管理（一）
weixin_39270987的博客
01-13 636
一、任务控制块TCB 在开始学习FreeRtos任务相关源码之前，我们需要先了解一个重要的结构体-任务控制块。FreeRtos的每一个任务都有一个独立的任务控制块TCB，TCB中记录了任务的优先级、名称、栈地址等内容，是FreeRtos任务管理最重要的一个结构体。这里不讨论mpu和newlib相关的内容。TCB结构体如下： typedef struct tskTaskControlBlock /* The old naming convention is used to prevent brea
FreeRTOS学习笔记--------任务管理
tmd182的博客
01-06 1244
在默认调度算法下，对于同优先级的任务，它们轮流执行，轮流的时间基准由tick中断决定，由定时器产生固定间隔的中断。可以修改中断产生的时间间隔。1000Hz表示间隔为1ms。
FreeRTOS-202104.00.rar
07-09
3. **任务管理**: 提供创建、删除、挂起、恢复等任务管理功能，支持任务间的同步和通信。 4. **信号量**: 用于任务间同步和资源保护，支持二进制和计数两种类型。 5. **互斥量**: 为临界区提供保护，确保同一时间...
FreeRTOS ------ 栈、堆、任务栈
06-07
1. 栈：FreeRTOS 中的栈是指用于存储任务栈和中断栈的内存区域。每个任务都拥有自己的任务栈，用于存储任务执行时所需要的局部变量、参数和返回地址等信息。中断栈则用于处理中断时保存现场和恢复现场的操作。栈的...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

4IOT

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值