RTA-OS实时操作系统中的Task对象

系列概述
osek是由欧洲自动化协会对汽车电气制定的开放式系统,全程为osek/vdx。rta-os是基于osek os的符合autosar规范的os,是一种静态可配置、抢占式实时操作系统(rtos),用于高性能、资源受限的应用程序。autosar os主要包含task, isrs, events, resources, application, counter, alarms, schedule table等os对象。后续将对如上提到的八个对象进行分别介绍。本篇介绍的内容为task,下面进入正题。
1.task概述
任务调度分为静态调度及动态调度,二者区别为,静态调度是在调度前就已经配置好,而动态调度是根据负载率自动去调度的。在osek的os系统中,task是主要部分,rtos里是静态调度。对于多任务并发行为,与其为每个任务使用单独的处理器,一个更经济可行的方法是在单个处理器上一次只运行一个任务,不同任务之间进行切换。
2. 基本概念
2.1 调度rtaos提供了一种根据提前固定好的不同优先级的任务间切换执行的调度方式。优先级排序的原则一般为:执行时间越短,执行频率越快的优先级越高。
但无论选择如何分配优先级,任务执行的顺序都由调度策略决定。调度策略确定任务实际运行的时间。
autosar os支持两种调度策略:
2.1.1 抢占式调度
当一个task正在运行,另一个更高优先级的任务准备运行,此时高优先级的任务会抢占执行,这也被称为任务切换,高优先级任务执行完毕后,原来的task继续执行。
对于所有任务都需要在运行时满足其最后期限的系统,抢占式调度是最有效的调度策略,它将保证任务激活(准备运行)和终止之间的最短时间。此时间称为任务的响应时间。抢占式的系统需要考虑对共享数据的抢占效应,并可能需要引入并发控制机制。
2.1.2 非抢占式调度
与抢占式调度不同的是,如果高优先级任务准备就绪,那么它将保持准备运行状态,直到运行任务终止—它不会抢占。这意味着开始运行的非抢占式任务将始终运行到完成,然后终止。
2.1.3 协作式调度
实际上,autosar os提供了对第三种称为协作调度的调度的支持,因为它允许非抢占式任务告诉os何时可以抢占。我们之所以说autosar os支持两种策略,是因为只有两种配置—第三种配置必须自己构建。
操作系统运行准备运行的最高优先级任务。如果更高优先级的任务准备就绪,那么它将保持就绪,直到以下任一情况:1) 正在运行的任务终止(就像非抢占式调度一样);2) 或者正在运行的任务发出schedule()api调用,告诉操作系统它可以被抢占。当发出schedule()调用时,优先级较高的任务会抢占正在运行的任务,任务切换被称为已发生oc(就像抢占式调度一样)。当高优先级任务完成后,抢占任务将恢复。通过精心设计,合作模式提供的系统虽然不如完全抢占式系统响应快,但不会出现非抢占式调度缺乏响应的情况。
2.2 基础任务与扩展任务
当前项目中配置的除secoc外的task都是配置的basic
2.2.1 基础任务
状态:running,ready,suspended。
基本任务开始、执行和终止(这通常称为单次任务模型)。只有当基本任务终止或被更高优先级的任务抢占时,它才会释放处理器。这种行为使它们非常适合嵌入式控制功能。基本任务快速有效。
2.2.2 扩展任务
扩展任务启动、执行、等待事件(wait event)和(可选)终止。扩展任务在执行期间自动挂起自身任务的能力为任务提供了一种具有同步点的方法。此功能使扩展任务比基本任务更适合于需要中间执行同步(例如,等待用户交互)的功能。
扩展任务时间响应较快,但会一直占用ram资源,相当于以空间换时间。
2.2.3 task state
ready、running 、(waiting) 、suspended
所有任务默认的状态都是suspended状态,在被激活后才变成ready状态,当该任务为系统中的最高优先级任务时即转为running状态,并开始执行任务,同时任务可能被更高优先级的任务抢占,重新变成ready状态。
任务通过终止返回到挂起(suspended)状态。一项任务可以在以后再次准备好,整个过程可以重复。
但是,扩展任务也可以进入waiting状态。当扩展任务通过等待事件自动挂起时,它将从running状态移动到waiting状态。
当扩展任务进入waiting状态时,操作系统将分派准备运行的最高优先级任务。设置事件后,任务将从waiting状态移动到ready状态。请注意,扩展任务返回到ready状态,而不是running状态。这是因为,在扩展任务处于waiting状态期间,其他一些更高优先级的任务可能已被激活,然后被调度。
event只是用于为系统事件提供指示器的操作系统对象。事件示例包括数据准备好使用或正在读取传感器值。
激活task的方式有:调用activatetask() api,或alarm到期或调度表。
2.2.4 任务优先级
autosar-os运行任务可以享有同一优先级,同一优先级的任务以先进先出fifo(first in first out)的原则从ready状态release。
使用时需避免使用share priorities,实时性差,无法进行调度可行性分析。
2.2.5 队列任务激活
在大多数情况下,仅需任务处于挂起状态时激活它。事实上,autosar os将处于就绪、运行或等待状态的任务激活视为错误情况。
但是,在某些情况下,可能需要实现一个系统,该系统必须多次激活同一任务,但连续激活之间最短的时间可能小于运行该任务所需的时间。例如,用户可能正在任务中解包can总线帧,并且需要处理网络上帧的瞬时突发。这意味着用户需要在运行时对任务激活进行排队。
autosar os允许对基本任务的激活进行排队,以帮助构建此类应用程序。与autosar os中的其他功能一样,任务队列的大小是静态配置的。必须指定任务可以挂起的最大激活次数。如果超过激活的最大次数,激活将被忽略。
2.2.6 异步任务激活
autosar os允许别的核激活当前核的task,而不是从任务实际运行的核激活任务。虽然这可能很有用,但可能会影响性能.因为要完全符合autosar,所有任务激活(包括setevent)必须阻止调用方,直到任务状态更新。在内部,操作系统必须使用内部自旋锁来协调与所属核的状态更改。这会对所有核的性能产生重大影响。
2.3 一致性类
autosar os对什么样的功能可以一起使用有一些限制。这些被称为一致性类,用于对任务特性进行分组,以便于理解,支持标准的部分实现,并为不同的应用程序类提供可伸缩性。
autosar-os分成如下四种类型,其对应特性如下:
每个一致性类都需要更多的资源——bcc1系统比ecc2系统更快、更小。用户无需担心要使用哪个一致性类-rta-os支持所有一致性类,并将根据用户的操作系统配置计算一致性类。
2.4 最大性能与最小内存
rta-os在最小化目标应用程序上的代码和数据使用方面设计得非常积极。它将分析应用程序的特性,并生成一个仅包含所需特性的系统。
用户对任务特征的选择对最终应用的规模和速度有重大影响。“没有免费的午餐”,因此,当用户向应用程序中添加使用更高级任务类型的任务时,系统将不可避免地变得稍大、稍慢。
为系统运行更有效率,同时在使用过程中应尽量使用bcc1,尽量少使用bcc2及扩展任务。
因为:同优先级的,队列等待任务;扩展任务需要等待都会影响运行效率。
3. task 配置
包括:name、priority、scheduling、activation及autostart
优先级:0是最低优先级,
调度:任务可以完全抢占或非抢占地运行。一般来说,为了获得最佳的应用程序性能,应该选择完全抢占式调度而不是非抢占式调度。
激活:在ready状态下可以排队的最大任务激活数。对于bcc1、ecc1和ecc2任务,激活次数始终为一次。这意味着这些类型的任务只有在处于挂起状态时才能激活。在未挂起的情况下,尝试激活此类任务将导致错误。大于1的值表示操作系统将对激活进行排队,任务结束时再次激活。
3.1 调度原则
低优先级的任务会被高优先级任务抢占;
对于协作式调度,低优先级的任务可为低优先级声明一段时间,在该时间段内不能被高优先级任务抢占,但仍可能被中断打断。
通常,使用非抢占性任务的系统的响应性比抢占性运行的系统差。
经常会发现,不必使用不可抢占的任务,因为用户可以使用其他更合适的方法来实现更灵敏的系统。可使用的手段包括:
•使用标准资源序列化对数据或设备的访问。
•使用内部资源精确指定哪些其他任务不会导致抢占。
3.2 队列激活(仅针对bcc2)
在大多数情况下,用户将仅在任务处于挂起状态时激活它。但是,用户可能需要实现一个系统,在该系统中,同一任务必须被多次激活,并且连续激活之间的最短时间小于运行该任务所需的时间。
如果发生这种情况,用户将在任务处于就绪状态或正在运行状态时激活该任务。这意味着激活将丢失。要防止激活丢失,必须指定任务所需的最大多次激活次数。
根据autosar os标准,此功能仅适用于基本任务。不能指定 扩展任务的多个激活。
当指定多个激活时,rta-os会自动识别任务为bcc2。构建应用程序时,rta-os将计算每个bcc2任务所需的多激活队列的最大大小。
当bcc2任务共享优先级时,rta-os使用fifo队列来保存挂起的激活。如果bcc2任务在autosar os应用程序中具有唯一的优先级,则rta-os会自动优化排队策略,使其达到最佳优先级激活。计数激活比fifo激活更有效,应尽可能使用。
3.3 自动开始的任务
自动启动主要用于启动waiting event的扩展任务,因为它不需要编写代码来激活任务。
4. 堆栈管理
rta-os使用单栈模型,即所有的task、isrs在同一个堆栈区域上运行。
当任务运行时,其堆栈使用量会像正常情况一样增减。当任务被抢占时,高优先级任务的堆栈使用将在同一堆栈上继续(就像标准函数调用一样)。当任务终止时,它使用的堆栈空间将被回收,然后重新用于下一个优先级最高的任务运行(同样,与标准函数调用一样)。下图显示了单堆栈在声明、抢占和终止任务时的行为。
在单堆栈模型中,堆栈大小与系统中优先级的数量成比例,而不是与任务/isr的数量成比例。这意味着,直接或通过共享内部资源,或通过被配置为非先发制人,共享优先级的任务永远不会同时出现在堆栈上。在硬件上共享优先级的isr也是如此。这意味着用户可以通过简单的配置更改来交换系统响应性,即任务或isr完成所需的时间,以换取堆栈空间。
上图显示了同一任务集的执行情况,具有与上上图相同的到达模式,但这次任务是非抢占式调度的。可以看到,高优先级任务的响应时间比抢占式调度时长得多,但总体堆栈消耗要低得多。
单堆栈模型还显著简化了链接时的堆栈空间分配,因为用户只需为整个系统堆栈分配单个内存部分,就像根本不使用操作系统一样。
4.1 扩展任务的堆栈管理
rta-os独特地扩展了单堆栈模型,在不影响基本任务性能的情况下为扩展任务提供支持。
在rta-os中,扩展任务的生命周期如下:
suspended→ready:任务被添加到ready 序列
ready→running:任务已调度,但与内容位于堆栈顶部的基本任务不同,内容位于堆栈空间中,所有低优先级任务的预先计算的最坏情况抢占深度处。
running→ready:扩展任务被抢占。如果抢占任务是一个基本任务,那么它会像往常一样在堆栈顶部调度;如果抢占任务是一个扩展任务,那么它将按照预先计算的所有低优先级任务的最坏情况抢占深度进行调度。
running→waiting:任务的等待事件堆栈内容(包括操作系统上下文、本地数据、函数调用的堆栈帧等)保存到内部操作系统缓冲区中
waiting→ready:任务添加到ready 队列
running→suspended:任务的“等待事件堆栈”内容将从内部操作系统缓冲区复制回堆栈中所有低优先级任务预先计算的最坏情况抢占深度。
扩展任务管理要求rta-os知道任务和isr使用了多少堆栈。以下各节描述了各种配置参数。
4.2 强制堆栈信息
计算出的最坏情况分派点定义了需要启动扩展任务的字节数,该字节数与调用startos()时堆栈指针的地址有关。这些偏移量作为rom数据存储在扩展任务控制块中,并在运行时添加到堆栈的基址。
4.3 指定任务分配task
在仅包含基本任务的系统中,除非用户正在进行堆栈监控,否则无需告知rta-os任何堆栈分配。只需在链接器/定位器中为应用程序分配足够大的堆栈部分。这是单堆栈体系结构的优点之一。
对于使用扩展任务的应用程序,用户可以像以前一样分配linker部分,但用户还必须为rta-os中每个优先级低于最高优先级扩展任务的任务分配堆栈,即使它们是基本任务。rta-os使用堆栈分配信息为每个离线扩展任务计算最坏情况下的抢占点。
虽然rta-os使用单堆栈模型,但在某些端口上,这并不一定意味着只使用一个物理堆栈。可能是编译器或硬件自动将数据强制到不同的堆栈上。例如,tricore设备使用csa内存快速保存调用context。
即使有多个物理堆栈,rta-os仍然提供了单堆栈体系结构的好处——当任务和/或isr共享优先级时,每个物理堆栈上所需的堆栈空间可以重叠。但是,要使堆栈分配正常工作,需要指定每个堆栈上所需的空间。如果用户配置,rta-os将要求用户提供多个堆栈值
4.4 处理堆栈溢出
如果用户提供给rta-os的堆栈分配太小(运行时错误的潜在来源),有三种错误情况可能发生:
1.当rta-os尝试调度扩展任务时,堆栈指针的当前值高于计算的最坏情况调度点,因此扩展任务无法启动。这意味着堆栈上的一个(或多个)低优先级任务占用了太多空间。
2.扩展任务无法从等待状态恢复,因为堆栈指针高于它应该的值。当为扩展任务正在等待的事件调用setevent()并且扩展任务现在是系统中优先级最高的任务时,可能会发生这种情况。
3.扩展任务无法进入等待状态,因为任务正在使用的堆栈的当前数量大于配置的“waitevent()堆栈”的大小。
当rta-os检测到扩展任务堆栈管理出现问题时,它将调用shutdownos(),错误代码为e_os_stackfault。如果要调试该问题,则可以启用堆栈故障hook。
配置后,rta-os将在堆栈故障发生时调用用户提供的回调os_cbk_stackoverflowhook(),而不是shutdownos()。回调传递了两个参数:溢出的字节数、溢出的原因。
5. 任务的控制
5.1任务执行
任务类似于c函数,在rta-os调用它们时实现某种形式的系统功能。
当任务开始运行时,从任务输入函数开始执行。任务输入函数是使用示例4.2中的c语法编写的。
注意,基本任务是一次性完成的。这意味着他们从固定的任务入口点开始执行,并在完成时终止。
5.2 任务激活
任务激活后变为ready状态,当该任务的优先级为所有ready状态的任务及当前处于running的任务中最高时,开始(或抢占)变成running状态。
任务每次被激活后会运行一次,当激活的次数超过配置次数时会报e_os_limit错误。
任务可以通过tasks或二类中断激活。
5.2.1 直接激活
可以通过多种不同的方式激活任务。任务激活的基本机制是activatetask()api调用,它直接激活任务。activatetask(taskid)调用将命名任务置于就绪状态。chaintask(taskid)终止当前正在运行的任务(参见第4.11节),并将激活指定任务置于就绪状态。
                              #include task(task1) { /* task1 functionality. */ activatetask(task2); terminatetask();}task(task2) { /* task2 functionality. */ activatetask(task3); terminatetask();}task(task3) { /* task3 functionality. */ terminatetask();}  
5.2.2 间接激活
通过alarm激活或通过调度表激活。
通过alarm激活:对于系统中的每个alarm,可以指定一个任务,该任务在每次alarm过期时激活。
调度表激活:对于系统中的每个调度表,可以指定在表上的一个或多个到期点激活的任务。
5.3 任务执行顺序控制
许多情况下,需要控制任务执行的顺序,即某个任务的执行需要基于前一个任务执行的结果。时序的控制可以通过如下三种方式:
•直接激活链;
•优先级;
•不可抢占的任务。
5.3.1 直接激活链
当使用直接激活链控制执行顺序时,任务对必须在发出调用的任务之后执行的任务进行activatetask()调用。
5.3.2 通过任务优先级
将需要优先执行的任务设置更高的优先级,在执行时即可按抢占式完成。
5.4 rta-os中的合作式调度
当任务以非抢占方式运行时,它会阻止任何任务(包括优先级较高的任务)执行。然而,有时对于非抢占式任务来说,提供可以进行重新调度的明确位置是很有用的。这比简单地非抢占式运行更有效,因为高优先级任务对系统刺激的响应时间更短。任务以非抢占方式运行并为重新调度提供点数的系统称为合作调度系统。
                    #include task(cooperative){ function1(); schedule();/* allow preemption */ function2(); schedule();/* allow preemption */ function3(); schedule();/* allow preemption */ function4(); terminatetask();}  
注:该应用形式,在抢占式调度中schedule();没有意义。
5.5.任务终止
在autosar操作系统中终止的任务必须进行api调用,以告知操作系统正在发生这种情况。autosar os标准定义了两个用于任务终止的api调用。其中之一必须用于终止任何任务。这些api调用是:
• terminatetask()
• chaintask(taskid)
当任务完成时,它必须进行其中一个api调用。这确保rta-os可以正确地安排准备运行的下一个任务。
terminatetask()强制调用任务进入挂起状态。rta-os将在ready状态下运行下一个优先级最高的任务。
chaintask(taskid)终止调用任务并激活任务taskid。因此,该api类似于执行terminatetask(),然后立即执行activatetask(taskid)。链接任务会将命名任务置于就绪状态。
5.5.1 rta-os中的终端优化
autosar os标准允许任务在任何时候调用任务终止api调用,包括在一组深度嵌套的函数调用中。这是一种糟糕的编程实践,相当于使用goto。在运行时,rta-os必须存储信息,以便在任务终止于entry函数以外的其他位置时清除堆栈。这通常是使用setjmp/longjmp对完成的。
然而,单堆栈体系结构的一个关键好处是,在其entry函数中终止的任务可以简单地返回terminatetask()而无需执行任何操作。
rta-os允许用户使用快速终止优化(optimizationsôfast terminate)利用良好的应用程序设计。当所有执行terminatetask()或chaintask()api的任务仅在其entry函数中执行时,可以启用此优化。优化告诉rta-os不要生成代码来保存不必要的上下文,从而节省堆栈空间。
5.6 任务的idle机制
在任何抢占式os中,当没有task或中断运行时也必须有些事情要做。在autosar os中是通过idle 机制实现。在rta-os中当没有task或中断执行时,系统将处于繁忙的等待循环中。
用户可以通过声明一个名为os_cbk_idle的回调来提供自己的空闲机制实现,从而覆盖默认行为。
os_cbk_idle的行为较普通task外有如下不同:
不能被激活
不能被终止
不能被链(嵌套)调用
不能使用内部资源
os_cbk_idle的优先级最低,即当没有任何任何及中断运行时才会ready to run。
os_cbk_idle在退出时返回一个布尔值,告诉rta-os是否再次调用os_cbk_idle。当返回true时,rta-os将立即再次调用os_cbk_idle。当返回false时,rta-os停止调用os_cbk_idle并进入繁忙等待循环的默认行为。
6. 任务前与任务后hooks
假设用户需要在每个任务开始之前和/或在每个任务结束之后执行一些代码,例如,以提供执行跟踪。用户可以使用autosar os提供的pretask和posttask hook来实现这一点。
每当任务进入运行状态时,rta-os就会调用预任务hook。这意味着在抢占后,每当任务恢复时,也会调用预任务hook。
每当任务移出运行状态时,rta-os就会调用posttaskhook。任务终止时,每次任务被抢占时,都会调用posttaskhook。
需要配置后才能使用该功能,用于在运行时对应用程序进行配置。
原文标题:rta-os系列介绍-task
文章出处:【微信公众号:汽车ecu开发】欢迎添加关注!文章转载请注明出处。


从Siri看下一代智能系统的变革与商机
华兴联合昕诺飞发布UVC LED商用新品
大众车发动机OBD灯反复报警是什么原因
机器人行业也会有用工荒的现象吗
离线语音识别“自然说”——轻生活科技引领智能语音新时代
RTA-OS实时操作系统中的Task对象
特斯拉超级充电桩在中国大陆数量突破6000桩
真空继电器的性能_真空继电器技术参数
全自动农药残留快速检测仪的操作步骤介绍
英特尔技术是全球通信时代创新和进步的基石
MOSFET作为开关的工作原理和优势 MOSFET开关电路图
索爱XPERIA mini系列开卖及其售价
蒋尚义将于近期回归中芯国际,出任副董事长!
试驾全新发布的 Jeep 指南者
人工智能将迎来发展的黄金时期
【节能学院】安科瑞变电站综合自动化系统在山东凯瑞英材料科技有限公司的应用
透过VR控制与教育 机器人技术新动向
ne5532 lm1875功放电路图
第一颗原生支持光线追踪技术的SoC——天玑1200
华为Mate9、华为P10、华为荣耀9对比评测:麒麟960大对决,为Mate9、华为P10、荣耀9你选谁?