多任务 任务的划分

任务划分的原则

    任务划分有3个原则，分别介绍如下。

    2.1 原则1

    原则1是将同一个外设的访问放在一个任务中。

    对每个独立的硬件(例如串行通信端口)进行操作的驱动程序段放在一个任务中。也就是说，要想对某个设备资源进行操作，只有依靠执行相应的任务来实现。这样无论何时切换任务，都不会对任何独立的“外设”造成影响。

    这样做能够避免嵌入式操作系统的特殊问题——资源冲突和重入问题，而且利于系统维护与升级。各个任务之间要实现通信，可以调用os_send_signal函数及全局变量来实现。

    所谓“资源冲突”，就是任务A在访问某个资源时，恰好发生了任务切换——由任务A切换到任务B，任务B也访问这个资源且改变了它的状态，这样当再次执行任务A时，就可能发生冲突或带来不确定性。而所谓“重入”，是指假设任务A在运行某个函数，发生任务切换后，任务B也运行这个函数，这样就会破坏任务A执行这个函数时的现场，从而可能导致任务A执行函数时结果不正确。这种问题尤其容易出现在串行接口器件的操作中，例如串口，串行的AD、DA器件等。

    2.2 原则2

    原则2是要通过任务分割提高系统的实时性。

    在嵌入式多任务实时系统中，任务是指一个程序分段。这个程序分段被操作系统当作一个基本单元来调度。典型地，每个任务都是一个无限的循环。

    RTOS本质上就是嵌入的实时内核，它负责管理各个任务，或者说是为每个任务分配CPU时间，并且负责任务之间的通信。实时内核可分为可剥夺型和不可剥夺型两类。因此，按照所使用内核的不同，嵌入式实时系统也可分为两类：使用不可剥夺型内核的嵌入式实时系统和使用可剥夺型内核的嵌入式实时系统。

    2.2.1 长任务的定义

    在RTOS中，长任务就是指整个任务的执行时间较长，超出了RTOS中其他某一个或某几个任务的实时要求容限，而对整个RTOS的实时性构成威胁的那些任务。需要注意的是，长任务与复杂任务不能混淆，复杂任务的执行时间不一定长，简单任务也可能会构成长任务。

    2.2.2 长任务对RTOS的影响

    当使用可剥夺型实时内核时，长任务由于执行的时间较长，因而更容易被高优先级的任务打断；一旦高优先级的任务进入了就绪状态，当前任务的CPU使用权就被剥夺了，或者说任务被挂起了，那个高优先级的任务立刻得到了CPU的控制权。这样会出现两个问题：一是长任务可能在一次执行的过程中被频繁打断，长时间得不到一次完整的执行；二是长任务被打断时，可能要保存大量的现场信息，其目的是为了保证在高优先级任务执行完返回后，长任务能得以继续执行。然而，这样做要占用一定的系统资源，同时保存现场本身也是要占用CPU时间的，因此，实时性也会下降。

    当使用不可剥夺型实时内核时，长任务对RTOS的影响更为明显，因为在这种内核中，任务的响应时间取决于最长的任务执行时间。也就是说，由于长任务的存在，任务的响应时间要变长。其结果是CPU长时间停留在长任务中，其他任务得不到实时的响应，甚至根本得不到执行，系统的实时性势必要下降。

    总之，无论是使用可剥夺型内核，还是使用不可剥夺型内核，长任务都会对RTOS构成严重的威胁。

    2.2.3 长任务问题的解决方法

    解决长任务问题最有效的途径是进行任务分割。所谓“任务分割”是指将影响系统实时性的长任务分割成若干个小任务。这样单个任务的执行时间变短，系统的任务响应时间变短，实时性得以提高。

    （1）对任务的分析与计算

    当然，长任务的分割必须结合系统中所使用的内核，以及各任务对实时性的要求等情况，进行必要的分析与计算，才能保证分割的合理性和有效性，具体的步骤如下。

    ① 分析系统共有多少个任务，这些任务对实时性的要求有多高，求出各个任务所要求的最低执行频率(f1，f2，…，fn)。

    ② 计算目前各任务的实际执行时间(t1，t2，…，tn)

    ③ 确定系统中的长任务。如果max(t1，t2，…，tn)≤min(1f1，1f2，…，1fn)，则此系统中不存在长任务。如果max(t1，t2，…，tn)＞min(1f1，1f2，…，1fn)，则存在长任务，而且执行时间为max(t1，t2，…，tn)的那个任务就是要找的长任务。

    ④ 分析此长任务是否需要分割，分析一下是什么原因导致执行的时间过长，这个时间是否能够通过程序的优化来缩短？如果能，则不需要进行任务分割；否则，要对这个长任务进行分割。

    （2）实施长任务分割

    常用的任务分割的方法有以下两种：

    ① 将长任务按功能分为若干个小模块，每一个模块构成一个小任务，每个小任务实现一种相对独立的功能，且要保证执行时间tmin(1f1，1f2，…，1fn)。各个小任务被内核顺序调用，合起来实现长任务功能。

② 有的长任务比较特殊，例如键盘任务和动态LED数码管显示任务，很难按照上面的方法把它分成若干个功能相对独立的小模块。这时，一般是按照方便保存现场信息的原则，将其强制分割成若干个小任务，每个小任务在min(1f1，1f2，…，1fn)时间内主动保存现场信息、放弃CPU的控制权，等到再次被内核调度时继续执行。这种分割方法相对而言较复杂，各任务之间界限不是很明显，看似未经分割，但实际上它却是由多次任务中断来完成的。

    2.3 原则3

    原则3是要将软件工程中的“解耦原则”用于任务划分。

    可以采用软件工程中的解耦原则对应用程序进行任务的划分。任务之间的耦合是影响软件复杂程度的一个重要因素，应该采取下述设计原则：尽量使用数据耦合，少用控制耦合和特征耦合，限制公共环境耦合的范围，完全不用内容耦合。具体方法可参见软件工程方面的书籍，例如文献[3]。