05_任务管理

最新推荐文章于 2024-07-08 22:09:55 发布

梵刹古音

最新推荐文章于 2024-07-08 22:09:55 发布

阅读量723

点赞数 17

分类专栏：嵌入式系统设计师备考笔记文章标签：嵌入式硬件 linux

本文链接：https://blog.csdn.net/qq_45937810/article/details/139955627

版权

嵌入式系统设计师备考笔记专栏收录该内容

27 篇文章 0 订阅

订阅专栏

进程的状态

进程、线程、任务

进程：是资源(CPU、内存等)分配的基本单位，它是程序执行时的一个实例。程序运行时系统就会创建一个进程，并为它分配资源，然后把该进程放入进程就绪队列，进程调度器选中它的时候就会为它分配CPU时间，程序开始真正运行。

线程：传统的进程有两个属性，一是可拥有资源的独立单位，二是可独立调度和分配的基本单位。引入线程后，线程是独立调度的最小单位，进程是拥有资源的最小单位，线程可以共享进程的公共数据、全局变量、代码、文件等资源，但不能共享线程独有的资源，如线程的栈指针等标识数据。

任务：在嵌入式操作系统中，任务可以是进程，也可以是线程，需要根据具体的情况来判断，任务的定义是可独立运行的基本单位，因为不好区分是进程还是线程，统一用任务来代替。在本学时，大家可将任务和进程混为一谈。

进程的状态图

如图1-5-2(a)所示的三态图，这是系统自动控制时只有三种状态，而如图1-5-2(b)为五态图，多了两种状态：静止就绪和静止阻塞，需要人为操作才会进入对应的状态，活跃就绪即就绪，活跃阻塞即等待。

需要熟练掌握进程三态之间的转换。当人为干预后，进程将被挂起，进入静止状态，此时，需要人为激活才能恢复到活跃状态，之后的本质还是三态图。

同步与互斥

前趋图

前趋图用来表示哪些任务可以并行执行，哪些任务之间有顺序关系，具体如图

由图可知，A、B、C可以并行执行，但是必须在A、B、C都执行完后，才能执行D,这就确定了两点：任务间的并行和任务间的先后顺序。

进程资源图

进程资源图用来表示进程和资源之间的分配和请求关系，如图1-5-4所示。P代表进程，R代表资源，R方框中有几个圆球就表示有几个这种资源，在图1-5-4中，R1指向P1,表示R1有一个资源已经分配给了P1,P1指向R2,表示P1还需要请求一个R2资源才能执行

阻塞结点：某进程所请求的资源已经全部分配完毕，无法获取所需资源，该进程被阻塞了无法继续，如图1-5-4中的P2。

非阻塞结点：某进程所请求的资源还有剩余，可以分配给该进程继续运行。如图1-5-4中的P1、P3。

当一个进程资源图中所有进程都是阻塞结点时，即陷入死锁状态。

进程资源图的化简方法：先看系统还剩下多少资源没分配，再看有哪些进程是不阻塞的，接着把不阻塞进程的所有边都去掉，形成一个孤立的点，再把系统分配给这个进程的资源回收回来，这样，系统剩余的空闲资源便多了起来，接着再去看看剩下的进程有哪些是不阻塞的，然后把它们逐个变成孤立的点。最后，所有的资源和进程都变成孤立的点。

互斥与同步

互斥和同步并非反义词，互斥表示一个资源在同一时间内只能由一个任务单独使用，需要加锁，使用完后解锁才能被其他任务使用。

同步表示两个任务可以同时执行，只不过有速度上的差异，需要速度上匹配，不存在资源是否单独或共享的问题。

信号量操作

基本概念

临界资源：各个进程间需要互斥方式对其进行共享的资源，即在某一时刻只能被一个进程使用，该进程释放后又可以被其他进程使用。

临界区：每个进程中访问临界资源的那段代码。

信号量：是一种特殊的变量。

互斥信号量，对临界资源采用互斥访问，使用互斥信号量后其他进程无法访问，初值为1。

同步信号量，对共享资源的访问控制，初值是共享资源的个数。

P操作和V操作

P(S)的主要功能是：先执行S=S-1;若S≥0则进程继续执行；若S<0则阻塞该进程，并将它插入该信号量的等待队列Q中。

V(S)的主要功能是：先执行S=S+1;若S>0则进程继续执行；若S≤0则从该信号量等待队列中移出第一个进程，使其变为就绪状态并插入就绪队列，然后再返回原进程继续执行。

例：生产者和消费者的问题。

三个信号量：互斥信号量S0(仓库独立使用权),同步信号量S1(仓库空闲个数),同步信号量S2(仓库商品个数)。

进程调度

抢占式和非抢占式

在一般的嵌入式操作系统中，分为抢占式和非抢占式两种内核管理策略。

抢占式内核中：当有一个更高优先级的任务出现时，如果当前内核允许抢占，则可以将当前任务挂起，执行优先级更高的任务。

非抢占式内核中：高优先级的进程不能中止正在内核中运行的低优先级的任务而抢占CPU运行。任务一旦处于核心态，则除非任务自愿放弃CPU,否则该任务将一直运行下去，直至完成或退出内核。

从抢占式内核和非抢占式内核的概念来看，非抢占式内核要求每个任务要有自我放弃CPU的所有权，非抢占式内核的任务级响应时间取决于最长的任务执行时间，在抢占式内核中，最高优先级任务何时执行是可知的。抢占式内核中，应用程序不能直接使用不可重入函数，否则有可能因为抢占的原因而导致函数调用中间状态的不同，而导致结果的错误。