文章目录
- 前言
- 一、线程的概念
- 二、线程的调度
- 三、上下文切换
- 四、线程的重要属性
- 1. 线程栈
- 2. 线程的状态
- 3. 线程优先级
- 4. 线程时间片
- 5. 线程的入口函数
- 五、RT-Thread命令查看系统线程信息
- 总结
前言
前文中的最后一个任务发现,一个main()函数很难同时实现按键功能和闪灯功能,就好像人很难同时完成左手画圆右手画方一样,这种情况可以安排一人去画圆、一人去画方,并行进行就很容易了,两人各司其职,互不干扰。
操作系统中,一个线程就像做事的一个人。一个操作系统可以有多个线程,不同的线程完成不同的小任务,各司其职完成整个系统大任务。
一、线程的概念
日常生活中,完成一个复杂的任务,一般会先将他分解成多个简单、容易解决的小任务,再将小任务分配给不同的人完成,当小任务逐个被完成时,复杂任务也就随之完成了。
嵌入式系统一般也是用于完成一些特定任务而设计的,这些特定任务可能比较复杂,这就要求开发人员把复杂的任务进行功能分解,形成若干个不同功能的小任务,而不同功能的小任务由运行于操作系统中的不同程序来完成,再由操作系统统一协调各个程序之间的运行。这些运行在操作系统之上的程序单元就是线程。
当合理地划分任务并正确地执行时,这种设计能够让系统满足实时系统的性能及时间的要求,例如让嵌入式系统执行这样的任务,系统通过红外传感器采集寻迹数据,并根据数据采集结果决定小车的行驶方向(如直走,纠偏等),在多线程实时系统中,可以将这个任务分解成两个子任务,如下图所示:
子任务1不间断地读取传感器数据,并将数据写到共享内存中。
子任务2周期性地从共享内存中读取数据,并根据传感器数据修正行进路线。
在 RT-Thread 中,线程是实现任务的载体,它是 RT-Thread 中最基本的调度单位。
二、线程的调度
调度是什么?先讲个故事,小朋友去游乐场玩荡秋千,秋千只有一个,但想玩的小朋友很多,那怎么办?游乐场的服务员小姐姐就想了一个办法:想玩的小朋友要排队,一个一个轮流玩,而且每人一次只能玩5分钟,如果还想再玩一次的话,得重新排队。这样,听话的小朋友们就在服务员小姐姐的统一调度下开心有序的玩起了荡秋千。
对于单核系统,CPU就好比秋千,线程就好比游乐场的小朋友,系统中有多个线程,每个线程的运行都要占有CPU,而CPU只有一个,这样,想让所有线程在操作系统上有序地运行,就需要有一个统一的协调者,这个协调者我们叫它调度器,而它的工作就是负责线程调度,给不同的线程分配运行时间,使操作系统上的所有线程有序地运行。综上所述,线程调度是指按照特定机制为多个线程分配CPU的使用权。
线程调度方式常见的有两种,分别为分时调度和抢占式调度。
(1)分时调度就是所有线程轮流拥有CPU的使用权,平均分配每个线程占用CPU的时间;
(2)抢占式调度就是让优先级高的线程优先使用CPU,如果线程的优先级相同,则会像分时调度一样轮流使用CPU。
RT-Thread实时操作系统,采用的调度方式是抢占式调度方式。
三、上下文切换
线程是程序的一个运行实例,线程执行时的运行环境称为上下文,每个线程都有自己的上下文,包括程序的代码、数据、堆栈、寄存器、程序计数器等。
操作系统的调度器在进行线程调度时,会发生上下文件切换,从正在运行的线程的上下文,切换到另一个线程的上下文。相当从一个程序代码,切换到另一个程序代码,但又不仅是代码的切换,上下文件的其它内容,如数据、堆栈、寄存器、程序计数器等也要一起切换。
线程的运行,是需要运行环境的,对于线程来说,运行环境就是CPU资源,包括运算单元、程序指针、堆栈指针以及各种通用寄存器。当线程运行时,它会认为自己是以独占CPU资源的方式在运行,会根据自己需要对这些资源进行修改。
而CPU资源只有一套,当另一个线程运行时,它也想独占CPU资源,那么前面已占用CPU资源的线程必须把CPU资源让给后面的线程使用。但它又担心后面的线程把CPU资源修改了,所以它在让出资源之前,还要做一件重要的事,就是把它当前的资源使用情况记录下来(这个动作也叫保护现场),方便下次运行时重新布置资源。
另一个线程得到资源后,此时得到的资源的状态不适合它运行,因此在运行之前,它必须根据自己的需要把资源重新布置(这个动作也叫恢复现场)才能运行。
这种把CPU资源从一个状态切换到另一个状态的过程,就是上下文切换。
我们拿舞台剧来做个不太恰当的比喻。每一场舞台剧的表演都需要一个舞台资源(场地、灯光和道具等),而且独占舞台资源,表演时会根据自己表演剧情的需要,把舞台资源进行布置。而到下一场表演时,也要独占舞台资源,而且此时的舞台资源布置情况不适合下一场表演的剧情需要,必须在开始前重新布置舞台资源。所在,从一场表演切换到另一场表演时,需要进行舞台场景的切换。
四、线程的重要属性
1. 线程栈
线程栈:用于保存线程的上下文,函数调用过程、局部变量等
进行上下文切换时,需要记录线程的上下文信息,那么就需要有一个地方来保存这些数据。RT-Thread的每一各线程都具有独立的栈,当进行线程切换时,会将当前线程的上下文保存在栈中,当线程要恢复运行时,再从栈中读取上下文信息,进行恢复。
线程栈还用来存放函数中的局部变量,函数中的局部变量从线程空间中申请,在初始时从寄存器中分配(ARM架构),当这个函数再调用另一个函数时,这些局部变量将放入栈中。
线程栈的大小设定:
(1)对于资源相对较大的MCU,可以适当设计较大的线程栈;
(2)在初始时设置较大的栈,例如指定大小为1KB或2KB,然后在FinSH中用list_thread命令查看线程运行过程中线程所使用的栈的大小,通过此命令,能够看到从线程启动运行时,到当前时刻点,线程使用的最大栈深度,而后加上适当的余量形成最终的线程栈大小,最后对栈空间加以修改。
2. 线程的状态
系统运行的过程中,同一时间内只允许一个线程在处理器中运行,从运行的过程上划分,线程有多种不同的运行状态。RT-Thread中,操作系统会自动根据其运行的情况来动态调整它的状态。
状态 | 描述 |
---|---|
初始状态 | 当线程刚开始创建还没启动时就处于初始状态;在初始状态下,线程不参与调度。此状态在 RT-Thread 中的宏定义为 RT_THREAD_INIT |
就绪状态 | 在就绪状态下,线程按照优先级排队,等待被执行;一旦当前线程运行完毕让出处理器,操作系统会马上寻找最高优先级的就绪态线程运行。此状态在 RT-Thread 中的宏定义为 RT_THREAD_READY |
运行状态 | 线程当前正在运行。在单核系统中,只有 rt_thread_self() 函数返回的线程处于运行状态;在多核系统中,可能就不止这一个线程处于运行状态。此状态在 RT-Thread 中的宏定义为 RT_THREAD_RUNNING |
挂起状态 | 也称阻塞态。它可能因为资源不可用而挂起等待,或线程主动延时一段时间而挂起。在挂起状态下,线程不参与调度。此状态在 RT-Thread 中的宏定义为 RT_THREAD_SUSPEND |
关闭状态 | 当线程运行结束时将处于关闭状态。关闭状态的线程也叫僵尸线程,不参与线程的调度。此状态在 RT-Thread 中的宏定义为 RT_THREAD_CLOSE |
RT-Thread提供一系列的操作系统调用接口,使线程的状态在5个状态之间来回切换。几种状态间的切换关系如图所示:
- 线程通过调用函数 rt_thread_create/init() 进入到初始状态(RT_THREAD_INIT);
- 初始状态的线程通过调用函数 rt_thread_startup() 进入到就绪状态(RT_THREAD_READY);
- 就绪状态的线程被调度器调度后进入运行状态(RT_THREAD_RUNNING);
- 当处于运行状态的线程调用①中的rt_thread_delay(),rt_sem_take(),rt_mutex_take(),rt_mb_recv()等函数或者获取不到资源时,将进入到挂起状态(RT_THREAD_SUSPEND);
- 处于挂起状态的线程,如果等待超时依然未能获得资源或由于其他线程释放了资源,那么它将返回到就绪状态;
- 挂起状态的线程,如果调用rt_thread_delete/detach() 函数,将更改为关闭状态(RT_THREAD_CLOSE);
- 而运行状态的线程,如果运行结束,就会在线程的最后部分执行 rt_thread_exit() 函数,将状态更改为关闭状态。
3. 线程优先级
RT-Thread 线程的优先级是表示线程被调度的优先程度。每个线程都具有优先级,线程越重要,赋予的优先级就应越高,线程被调度的可能才会越大。
RT-Thread 最大支持 256 个线程优先级 (0~255),数值越小的优先级越高,0 为最高优先级。在一些资源比较紧张的系统中,可以根据实际情况选择只支持 8 个或 32 个优先级的系统配置;对于 ARM Cortex-M 系列,普遍采用 32 个优先级。最低优先级默认分配给空闲线程使用,用户一般不使用。在系统中,当有比当前线程优先级更高的线程就绪时,当前线程将立刻被换出,高优先级线程抢占处理器运行。
4. 线程时间片
回到前文小朋友荡秋千,每个小朋友荡秋千的时间是有限的,不能一直占着秋千,否则会导致其他小朋友不能参与秋千。
同样操作系统中的线程也不能一直占用CPU,每个线程都有时间片这个参数,表示线程每次可以占用CPU运行的时间,当时间片用完,线程就要让出CPU。
但时间片仅对优先级相同的就绪态线程有效。系统对于优先级相同的就绪态线程采用时间片轮转的调度方式进行调度,时间片起到约束线程单次运行时长的作用,其单位是一个系统节拍(OS Tick),后面讲时钟时会讲。
假设有2个优先级相同的就绪态线程A与B,A线程的时间片设置为10,B线程的时间片设置为5,那么当系统中不存在比A优先级高的就绪态线程时,系统会在A、B线程间来回切换执行,并且每次对A线程执行10个节拍的时长,对对 B 线程执行 5 个节拍的时长,如下图,可以看出,线程A占用CPU运行时间较长。所以我们要根据程序所执行的所需长度,定时间片长度,以执行完程序。
5. 线程的入口函数
线程的入口函数是线程实现预期功能的函数,它是线程第一个运行的函数,也是线程开始运行的地方。线程控制块中的 entry 是线程的入口函数,它是线程实现预期功能的函数。线程的入口函数由用户设计实现,可以有以下几点模式。
(1)无限循环模式
在实时系统中,线程通常是被动式的,这个是由实时系统的特性所决定的,实时系统通常总是等待外界事件的发生,而后进行相应的服务。
void thread_entry(void* paramenter)
{
while (1)
{
/* 等待事件的发生 */
/* 对事件进行服务、进行处理 */
}
}
线程看似没有什么限制程序执行的因素,似乎所有的操作都可以执行。但是作为一个实时系统,一个优先级明确的实时系统,如果一个线程中的程序陷入了死循环操作,那么比它优先级低的线程都将不能够得到执行。所以在实时操作系统中必须注意的一点就是:线程中不能陷入死循环操作,必须要有让出 CPU 使用权的动作,如循环中调用延时函数或者主动挂起。用户设计这种无限循环的线程的目的,就是为了让这个线程一直被系统循环调度运行,永不删除。
(2)顺序执行或有限次循环模式:
如简单的顺序语句、do while() 或 for()循环等,此类线程不会循环或不会永久循环,可谓是 “一次性” 线程,一定会被执行完毕。在执行完毕后,线程将被系统自动删除。
static void thread_entry(void* parameter)
{
/* 处理事务 #1 */
…
/* 处理事务 #2 */
…
/* 处理事务 #3 */
}
五、RT-Thread命令查看系统线程信息
在第3章 PIN设备(GPIO)的使用中的任务4基础上,使用命令查看系统线程信息。在终端输入命令help,观看输出结果,如图所示:
可以发现help命令可以查看系统支持的所有命令,其中有两个命令与线程相关,分别时ps和list_thread。这两个命令都可以用于查看系统中存在哪些线程,以及线程的信息,其命令输出结果如下图所示:
连个命令输出一样,目前系统有4个线程,分别为tshell、tidle0、timer、main。tshell、tidle0、timer三个线程是系统线程,由系统在启动时自动创建并运行。
- tshell是用户线程,在系统开启finsh命令组件时创建此线程(默认是开启的),他负责解析并执行终端命令,最后向终端输出命令执行结果;
- tidle0是一个空闲线程,在系统空闲的时候运行,用于处理系统中一些非紧急的任务,如僵尸线程的资源清理,就是在空闲线程中进行的;
- timer是定时器线程,负责处理定时器任务;
- main就是我们程序中的main函数,单独作为一个线程运行,通常也叫主线程。
总结
本章主要讲了线程的基本概念