μC/OS-II的多任务信息流与CAN总线驱动
摘要:阐述μC/OS-II多任务信息流关键技术与中断处理的一般方法和PC体系中断的基本概念;以CAN总线为例,详细分析在x86实模式下基于μC/OS-II的CAN总线驱动的实现过程。
关键词:μC/OS-II RTOS嵌入式系统 设备驱动 中断处理程序(ISR) 进程调度
μC/OS-II是美国人Jean Labrosse编写的一个免费的、源码公开的嵌入式实时内核。对于开发计算机嵌入式应用产品的技术人员来说是一个实用价值很高的实时嵌入式操作系统ERTOS(Embedded Real Time Operation System)。
要开发出完善的ERTOS,就要在多任务的调度和对I/O设备操作的稳定性、协调性方面做出大量的工作,这也是我在开发ERTOS过程中深深体会到的重点所在。希望本文能对开发ERTOS的技术人员在多任务信息流和I/O驱动方面有所启迪。
1 多任务信息流关键技术
在讨论多任务信息流之前,先讨论一下多任务的工作状态。在μC/OS中,每个任务都是无限循环的,每个任务都处在以下五种状态之一:javascript:window.open(this.src);" style="cursor:pointer;"/>休眠态、就绪态、运行态、挂起态和中断态,如图1所示。
在多任务的调度和驱动程序的编写过程中,必然要涉及到公用代码段和共享存储区的保护问题。即使是原有的C函数,可重用性方面在没有得到理论和实践的验证情况下也需要对其进行保护。这样就需要合理的算法对公用代码段、共享存储区进行保护,避免操作系统在运行过程中产生重用性问题而导致运行结果不可预测。
系统在开发过程中,既要考虑到减少系统的复杂程度,也要兼顾其稳定性与运行效率的要求。这就需要我们对各种算法进行合理的选择:在稳定性可以保障的情况下,选择相对简单,占用CPU时间少的算法;在稳定性不能保障的情况下,考虑选择周全的算法。只有这样才能使操作系统在一定的配置环境下达到最高的运行效率。
接下来分别用void CanSendMessageProcess(void *data)、void CanSendMessage(void *data)、void CanReceiveMessageProcess(void *data)和void CanReceiveMessage(void *data)这四个任务来描述在采用消息队列、邮箱和信号量通信机制时的信息流的传递过程。
(1)消息队列通信机制
消息队列在初始化的时候,建立一个指定空间大小的数组,这个数组在使用的时候取得了环形缓冲区的概念。这个数组在运行期间不会被消除,这样就避免了重复建立数组的时候内存空间的泄漏问题。当一个任务向消息队列发送一个信息的时候,相应的指针加1(OSQIn+1),队列满时(OSQEntries = OSQSize),OSQIn则与OSQOut指向同一单元。如果在OSQIn指向的单元内插入新的指向消息的指针,就构成FIFO(First-In-First-Out)队列。相反,如果在OSQOut指向单元的下一个单元插入新的指针,就构成LIFO队列(Last-In-First-Out)。在本实例中,我们定义FIFO队列。消息指针总是从OSQOut指向的单元取出。OSQStart和OSQEnd定义了消息指针数组的头和尾,以便在OSQIn和OSQOut到达队列的边缘时,进行边界检查和必要的指针调整,实现其循环功能。
消息队列数据结构如下:
typedef struct os_q {
struct os_q *OSQPtr; /* 在空闲队列控制块中链接所有的队列控制块*/
void *OSQStart; /*指向消息队列的指针数组的起始地址的指针*/
void *OSQEnd; /* 指向消息队列结束单元的下一个地址的指针*/
void *OSQIn; /* 指向消息队列中插入下一条信息位置的指针*/
void *OSQOut; /* 指向消息队列中下一个取出消息位置的指针*/
INT16U OSQSize; /* 消息队列中总的单元数*/
INT16U OSQEntries; /*消息队列中总的消息数量*/
} OS_Q;
图2为消息队列信息流的演示说明。
① CanSendMessageProcess任务完成信息的计算工作以后,将要发送的信息送进消息队列1。
② CanSendMessage任务负责取得消息队列1里面的信息。
③ 通过CAN总线I/O端口将数据发送到总线上去。如果消息队列中没有信息,则该任务由运行状态进入等待状态,直到从消息队列中接收到信息为止。
④ CanReceiveMessage任务负责读取总线上面的信息。
⑤ CanReceiveMessage任务将读取到的信息送入消息队列2。
⑥ CanReceiveMessageProcess任务是从消息队列2中取出信息开始计算工作,如果消息队列为空的话,该任务进入等待状态。
消息队列适用于一对一、一对多、多对多和多对一的关系。也就是说,消息队列可以作为一块共享的公共区域,为实施互斥,任务间需要同步;为了合作,进程间需要交换信息,这样也就实现了同步和通信。
javascript:window.open(this.src);" style="cursor:pointer;"/>
(2)邮箱通信机制
邮箱的概念和管道(管线)有相似的定义,一个任务或者中断服务子程序向另一个任务发送一个指针型的变量,该指针指向一个包含了特定“消息”的数据结构。在源端的任务只能向邮箱写,在目的端的任务只能从邮箱读。邮箱传输流数据,即连续的字节串或流。因此,访问一个邮箱就像是访问一个顺序文件。邮箱可以用来通知一个事件的发生(发送一条信息),也可以用来共享某些资源,这样邮箱就被当成一个二值信号量。
图3为邮箱信息流的演示说明。
① CanSendMessageProcess任务将计算好的数据发送给CanSendMessag