鸿蒙轻内核M核源码分析系列六 任务及任务调度(2)任务模块 原创 精华
鸿蒙轻内核M核源码分析系列七 任务及任务调度(2)任务模块
任务是操作系统一个重要的概念,是竞争系统资源的最小运行单元。任务可以使用或等待CPU
、使用内存空间等系统资源,并独立于其它任务运行。鸿蒙轻内核的任务模块可以给用户提供多个任务,实现任务间的切换,帮助用户管理业务程序流程。本文我们来一起学习下任务模块的源代码,所涉及的源码,以OpenHarmony LiteOS-M
内核为例,均可以在开源站点https://gitee.com/openharmony/kernel_liteos_m 获取。
接下来,我们看下任务模块的结构体,任务初始化,任务常用操作的源代码。
1、任务模块的结构体定义
在文件kernel\include\los_task.h
定义的任务控制块结构体LosTaskCB
,源代码如下,结构体成员的解释见注释部分。
另外一个比较重要的结构体是TSK_INIT_PARAM_S
,创建任务时,需要指定任务初始化的参数。源代码如下,结构体成员的解释见注释部分。
2、任务模块初始化
在系统启动时,在kernel\src\los_init.c
中调用OsTaskInit()
进行任务模块初始化,还会调用OsIdleTaskCreate()
创建空闲任务。
2.1 任务模块初始化
函数OsTaskInit()
定义在kernel\src\los_task.c
,我们分析下这个函数的执行过程。
⑴处代码根据开发板配置的最大任务数g_taskMaxNum
,计算需要申请的内存大小size
,为任务控制块TCB
数组(也叫作任务池)g_taskCBArray
申请内存。为什么比最大任务数多申请一个呢?在删除任务时会使用。下文分析删除任务的源码时再详细讲解其用意。⑵处代码初始化双向链表g_losFreeTask
用作空闲的任务链表、g_taskRecyleList
可以回收的任务链表。⑶处循环初始化每一个任务,任务状态未使用OS_TASK_STATUS_UNUSED
,初始化任务Id
,并把任务挂在空闲任务链表上。
⑷处初始化全局变量LosTask g_losTask
,该全局变量维护当前运行的任务和要调度执行的任务。初始化任务池时,设置当前运行的任务为g_taskCBArray[g_taskMaxNum]
。⑸处空闲任务编号暂时设置为无效值,后续创建空闲任务时再设置空闲任务编号。
优先级队列,详细的代码实现剖析,参见之前的源码剖析文章。⑸处互斥锁死锁检测的调测特性的,后续系列文章专题进行讲解。⑹处代码初始化排序链表,详细的代码实现剖析,参见之前的源码剖析文章。⑺处如果开启了惰性栈,计算TCB
的成员变量stackFrame
在其结构体中的偏移量g_stackFrameOffLenInTcb
。
2.2 创建空闲任务IdleCore000
除了初始化任务池,在系统启动阶段还会创建idle
空闲任务。⑴处设置任务初始化参数时,空闲任务的入口执行函数为OsIdleTask()
。⑵处调用函数把空闲任务状态设置为就绪状态。
我们看下空闲任务的入口执行函数为OsIdleTask()
,它调用OsRecyleFinishedTask()
回收任务栈资源,后文会分析如何回收任务资源。
3、任务模块常用操作
3.1 创建和删除任务
3.1.1 创建任务
鸿蒙轻内核提供了2个创建任务的函数,有LOS_TaskCreate
、LOS_TaskCreateOnly
。LOS_TaskCreate
和LOS_TaskCreateOnly
的区别是,前者创建任务完毕就使任务进入就绪状态,并触发调度,如果就绪队列中没有更高优先级的任务,则运行该任务。后者只创建任务,设置任务状态为阻塞suspend
状态,需要开发者去调用LOS_TaskResume
使该任务进入ready状态。
函数LOS_TaskCreate
代码如下,可以看出创建任务的时候,调用⑴处的函数LOS_TaskCreateOnly()
来创建任务。创建任务后,执行⑵处的代码使任务进入ready
就绪队列,如果系统启动完成,允许任务调度,则执行⑶触发任务调度。如果新创建的任务优先级最高,则会被调度运行。
我们接着分析下如何使用函数UINT32 LOS_TaskCreateOnly()
创建任务。⑴处调用OsTaskInitParamCheck()
检测创建任务的参数的合法性。⑵处调用函数回收释放的任务。⑶处如果任务池为空,无法创建任务,返回错误码。⑷处从任务池获取一个空闲的任务控制块taskCB
,然后从空闲任务链表中删除。⑸处根据指定的任务栈大小为任务栈申请内存,⑹处判断任务栈内存申请释放成功,如果申请失败,则把任务控制块归还到空闲任务链表中,并返回错误码。⑺处调用函数初始化任务栈,更新任务控制块成员信息。详细见后面对该函数的分析。
我们看下创建任务函数调用的函数OsRecyleFinishedTask()
,该函数在系统进入空闲时也会调用。删除运行状态的任务时,会把任务挂在双向链表里g_taskRecyleList
。任务回收函数就用来回收此类任务,实现任务资源回收。我们分析下它的代码。⑴处循环遍历回收链表,⑵从回收链表获取第一个任务taskCB
,从回收链表删除并插入到空闲任务链表里。任务栈保护在后续系列再深入分析,继续往下看代码,⑶处获取任务栈栈顶指针,接着调用内存释放函数来释放任务栈占用的内存,并设置任务栈的栈顶为空。
我们继续分析下函数OsNewTaskInit()
,⑴处调用函数初始化任务栈,上一系列已经分析过该函数,代码的其余部分用来更新任务控制块的成员信息,比如⑵处任务状态设置为阻塞状态。
3.1.2 删除任务UINT32 LOS_TaskDelete()
该函数根据传入的参数UINT32 taskId
删除任务。我们分析下删除任务的源代码,⑴处检验传入的参数,⑵处如果任务还未创建,返回错误码。⑶处如果删除的任务正在运行,又处于锁任务调度情况下,打印信息,告诉用户不推荐在锁任务调度期间进行任务删除,然后执行⑷,把全局变量赋值0来解锁任务调度。
⑸处调用函数处理任务状态,如果处于就绪状态设置为非就绪状态,并从就绪队列删除。如果处于阻塞状态,从阻塞队列中删除。如果任务处于超时等待状态,从超时排序链表中删除。⑹恢复任务控制块事件相关的成员信息。⑺如果任务正在运行,设置任务为未使用状态,接着调用函数OsRunningTaskDelete()
把任务放入回收链表,然后主动触发任务调度,稍后详细分析该函数。如果删除的任务不是出于运行状态,则执行⑻,设置任务为未使用状态,接着把任务回收到空闲任务链表里,然后获取任务栈的栈顶指针,调用内存释放函数释放任务栈的内存。
我们看下函数OsRunningTaskDelete()
的源码。⑴处把当前运行的任务放入待回收链表里,然后执行⑵把当前运行的任务放入任务池的最后一个位置g_taskCBArray[g_taskMaxNum]
。为什么这么操作呢?等后续分析源码的时候再来解答。
3.2 控制任务状态
3.2.1 恢复挂起的任务LOS_TaskResume()
恢复挂起的任务,使该任务进入就绪状态,和下文中的LOS_TaskSuspend()
成对使用。⑴处获取任务的TCB
,⑵处对任务状态进行判断,如果任务未创建或者非阻塞状态,则返回错误码。执行⑶设置任务状态为非挂起状态。⑶处获取任务的状态进行判断,如果任务没有创建或者不是挂起状态,则返回相应的错误码。 ⑷检查任务状态是否为OS_CHECK_TASK_BLOCK
,即(OS_TASK_STATUS_DELAY | OS_TASK_STATUS_PEND | OS_TASK_STATUS_SUSPEND)
中的一种,这几个状态影响恢复挂起的任务。如果非上述几个状态,执行⑸调用函数,把任务状态改为就绪状态,插入任务就绪队列。如果支持支持调度,则执行⑹触发调度。
3.2.2 挂起指定的任务LOS_TaskSuspend()
函数用于挂起指定的任务。⑴处获取任务的TCB
,⑵处开始获取任务的状态进行判断,如果任务没有创建、任务已经挂起,返回相应的错误码。⑶处如果任务是运行状态,并且锁任务调度时,跳转到LOS_ERREND
结束挂起操作。⑷处如果任务是就绪状态,调用函数从就绪队列出队,并取消任务的就绪状态。⑸处语句设置任务状态为阻塞状态。⑹如果挂起的是当前运行的任务,则会主动触发调度。
3.2.3 任务延时等待LOS_TaskDelay()
任务延时等待,释放CPU
,等待时间到期后该任务会重新进入就绪状态。⑴处代码判断系统处于中断,如果是,则返回错误码,不允许任务延时等待。⑵如果处于锁任务调度期间,则返回错误码。
⑶处如果延迟的时间为0,则执行让权操作,否则执行⑷,调用函数OsSchedDelay()
把当前任务设置为延时等待状态,然后调用LOS_Schedule()
触发调度。
另外还提供了函数LOS_Msleep()
和LOS_UDelay()
,前者以毫秒为单位进行延迟等待。后者也是以毫秒为单位进行延迟等待,但是不会触发任务调度,当前任务不会释放CPU
。
3.2.4 任务让权LOS_TaskYield()
让权函数通过把当前任务时间片设置为0,释放CPU
占用,重新调度给其他高优先级任务执行。⑴处调用函数把当前任务时间片设置为0,然后执行⑵主动触发任务调度。
接下来看下函数OsSchedYield()
的源码。代码很简单,获取当前运行的任务,然后把其时间片设置为0,如下:
3.3 控制任务调度
3.3.1 锁任务调度LOS_TaskLock()
锁任务调度LOS_TaskLock()
比较简单,把任务锁调度计数器全局变量增加1即可,代码如下。
3.3.2 解锁任务调度LOS_TaskUnlock()
我们看看解锁任务调度函数LOS_TaskUnlock()
,⑴处如果任务锁调度计数器全局变量数值大于0,对其减1。⑵处如果任务锁调度计数器等于0,则执行⑶处触发调度。代码如下:
3.4 控制任务优先级
LiteOS-M
内核支持动态设置任务的优先级,提供了一些操作。
3.4.1 设置指定任务的优先级LOS_TaskPriSet
支持设置指定任务Id
的优先级,也支持对当前运行任务进行优先级设置。⑴处开始,做些基础校验,包含检验传入的优先级参数taskPrio
,指定任务的Id
,任务是否未创建等,如果没有通过参数校验,则返回错误码。⑵处调用函数设置任务优先级,稍后分析该函数。如果任务处于就绪状态或者运行状态,则会执行⑶主动触发任务调度。
接下来,我们分析下函数OsSchedModifyTaskSchedParam()
。⑴处如果任务处于就绪状态,需要先出队设置优先级,然后入队就绪队列。如果非就绪状态,可以直接执行⑵处语句修改任务优先级。如果任务正在运行,需要返回TRUE,标记下需要任务调度。
3.4.2 获取指定任务的优先级LOS_TaskPriGet
获取指定任务的优先级LOS_TaskPriGet()
代码比较简单,⑴处如果任务编号无效,返回错误码。⑵处如果任务未创建返回错误码。如果参数校验通过,执行⑶获取任务的优先级数值。
3.5 任务阻塞和唤醒
最后,我们分析下函数OsSchedTaskWait()
和OsSchedTaskWake()
,这2个函数定义在文件kernel\src\los_sched.c
中。任务在申请互斥锁、信号量、出入队列、读写事件时,都可能导致任务进入阻塞状态,对应地也需要任务唤醒重新进入就绪队列状态。这2个函数就负责任务的阻塞和唤醒,我们分析下他们的代码。
3.5.1 任务阻塞
我们分析下任务阻塞的函数OsSchedTaskWait()
,需要2个参数:LOS_DL_LIST *list
是互斥锁等资源的阻塞链表,阻塞的任务会挂这个链表里;UINT32 ticks
是任务阻塞的时间。分析下具体代码:
⑴获取正在请求互斥锁等资源的当前任务,⑵设置任务状态为阻塞状态。⑶把任务插入互斥锁等资源的阻塞链表的尾部。⑷如果不是永久阻塞等待,任务的状态还需要设置为OS_TASK_STATUS_PEND_TIME
,然后设置任务的等待时间为传入的参数。
3.5.2 任务唤醒
我们分析下任务唤醒的函数OsSchedTaskWake()
,需要1个参数:LosTaskCB *resumedTask
是需要唤醒的任务;任务唤醒函数会从阻塞链表里删除并加入就绪队列,下面分析下具体代码:
⑴把要唤醒的任务从所在的阻塞队列中删除,然后更改状态不再为阻塞状态。⑵如果任务不是永久等待,需要从定时器排序链表中删除,并设置状态不再是等待超时。⑶如果任务是阻塞状态,改为就绪状态并加入就绪队列。
小结
本文带领大家一起剖析了鸿蒙轻内核任务模块的源代码,包含任务模块的结构体,任务初始化过程源代码,任务常用操作的源代码。后续也会陆续推出更多的分享文章,敬请期待,也欢迎大家分享学习、使用鸿蒙轻内核的心得,有任何问题、建议,都可以留言给我们: https://gitee.com/openharmony/kernel_liteos_m/issues 。为了更容易找到鸿蒙轻内核代码仓,建议访问 https://gitee.com/openharmony/kernel_liteos_m ,关注Watch
、点赞Star
、并Fork
到自己账户下,谢谢。
赞,楼主讲的很细呀
收藏了,感谢!
- 任务池最后一个任务控制块的作用:
https://gitee.com/openharmony/kernel_liteos_m/issues/I3YIEN