时间触发模式下的ProtothreadS设计应用
嵌入式行业的飞速发展使得嵌入式芯片的容量和功能都在不断地提升。以工业应用最为常见的8位微控制器为例，其ROM和RAM的容量都在不断扩大，甚至一些高端的8位处理器可以使用简单的操作系统(OS)来进行开发。同时，32位处理器的广泛普及也使得其价格逐渐逼近8位处理器。所以对很多应用来说，开发的简化和迅速成为最主要的目标。尤其是当使用一款新的处理器或者硬件电路时，快速的搭建其开发的框架变得尤其重要。在嵌入式系统中，通常会采用两种不同的任务管理和调度方式：事件触发和时间触发。事件触发方式以事件的发生为核心，往往会采用多级中断的方法来实现，其发生的时间具有随机性。所以事件触发方式具有较好的实时性，但是这样也意味着该系统具有较高的复杂度。而且，事件触发方式的开销往往是很大的。Alexander Metzner的研究指出：一个包含27个任务、采用RM(Rate Mono―tonic)调度算法的事件触发系统，CPU的实际利用率仅为18％。
而时间触发方式开发的系统，保证了在同一时刻只处理一个事件，虽然牺牲了并发处理的实时性，但是保证了系统的可靠性，并且使得程序员能很好地预测程序的流程。Kopetz就指出：使用基于时间触发的合作式调度器会使得系统有非常好的可预测性。在本项目中，嵌入式系统的功能主要集中在控制一些具有一定时隙间隔的外围设备上面。键盘的扫描、显示的刷新、数据缓冲的存储等都是需要定期完成的任务，而这些任务的实时要求也并不高，所以选用时间触发方式的合作式调度器成为系统设计的首选。
Protothrcads利用隐式的return提供了阻塞的功能，经过Protothrcads封装的任务，其程序的逻辑更加接近处理事件的上层逻辑，大大简化了编程。而且使用简单的宏就可以实现Protothrcads，其开销也是很小的。本文就对使用Protothrcads应用于时间触发模式的合作式调度器做一些讨论。
2 Protothreads简介
Protothrcads是由瑞典计算机科学研究所的科学家Adam Dunkels所创的一种新的线程编程方法。按AdamDunkels所说，Protothreads是专为资源紧张的系统设计的一种耗费资源少，且不使用堆栈的线程模型，它可以不使用复杂的状态机机制来实现顺序流的控制。Proto―thrcads也可以用于操作系统当中。
简单地说，Protothrcads借鉴了用c语言实现协同(co―routine)的原理，它应用switch―case语句的直接跳转功能，实现了有条件阻塞(conditional block)，最终实现了虚拟的并行处理功能(concurrent)。实际上，Protothrcads并不是真正的线程，在多任务的切换中并不会真正涉及上下文的切换，其线程的调度也仅仅是依靠隐式的return，进而退出函数体来完成的。但是Protothreads的优点却是实实在在的。首先它不需要堆栈空间，而正如笔者用宏实现的那样，Protothrcads也实现了很多只有线程编程方法才能实现的机制，比如阻塞。而用宏进行了封装之后，使用者完全可以像使用线程一样使用它们，而且其逻辑更加简化，这大大增加了程序的清晰度，并降低了开发维护的难度。
在对实时性要求比较高或者说要求并行处理的场合，往往需要在任务A执行到一定程度、等待事件C发生时，退出当前任务A并转而执行任务B；当事件C发生之后，系统继续回到任务A，继续方才的执行。所以必须将任务A上次执行到地方的环境存储起来，以便重回任务A后可以接着打断的地方继续运行。线程的上下文切换可以达到这个目的，Simon Tatham用C语言实现的co―routine也可以。Protothreads正是借鉴了这一原理，如以下任务函数所示：
可以看出，在进行了宏扩展之后，下面的程序段和上面的程序段是完全相同的，但是宏封装很好地构建了一个上层的逻辑体系。这正是Protothreads的核心所在。同时，这也决定了Protothreads具有一定的局限：
①Protothreads中使用的必须是静态变量或者全局变量；
②避免与switch语句的合用(Protothreads的实现已经用了switch语句)；
③因为编译器会将__LINE__解释为当前所在的行号，所以不能将多个“返回”置于同一行。
3 调度器设计
时间触发方式的嵌入式系统是根据定时器产生的恒定间隔的中断来触发和管理任务的。系统依靠一个基准的时间中断，以此中断为任务处理的节奏和“节拍”，任务的调度发生在“节拍”规定的时刻。中断服务子程序也同样占用这个时间间隔，为了系统的稳定性，一方面要使中断服务子程序尽可能短，以节省任务的执行时间；另一方面，执行的任务也应该尽可能短，一些比较耗时的任务可以细分为若干个子任务加以调度。同时，这也要求调度器的设计尽可能简单。本文的设计思想就是对于系统仅仅定义一个任务控制块(TCB)队列，每个任务对应于队列中的一个节点，由中断服务子程序更改TCB队列中的记录，调度函数根据此TCB来进行调度。可以略微修改Proto―threads中的结构体pt，以满足作为TCB队列节点的需要。当然，此结构也需要声明为全局变量或者静态变量。其数据结构如下所示：
评论