uC/OS-II内核架构解析（5）---uC/OS-II通信与同步

1. 消息邮箱Mbox

Mbox用于多任务间单一消息的传递，uC/OS-II使用ECB管理Mbox的基本信息，OSEventPtr指向创建Mbox时指定的内存空间。事件的创建由具体的事件管理程序实现。主要包含在C源文件OS_MBOX.C中。OS_EVENT *OSMboxCreate(void *msg);

void *OSMboxPend(OS_EVENT *pevent, INT16U timeout, INT8U *err);

void *OSMboxAccept(OS_EVENT *pevent);

INT8U OSMboxPost(OS_EVENT *pevent, void *msg);

INT8U OSMboxPostOpt(OS_EVENT *pevent, void *msg, INT8U opt);

OS_EVENT *OSMboxDel(OS_EVENT *pevent, INT8U opt, INT8U *err);

INT8U OSMboxQuery(OS_EVENT *pevent, OS_MBOX_DATA *);

2. 消息队列msgQ

(1) msgQ基本内容

msgQ是uC/OS-II任务间通信的机制，可实现多条消息传递，即可以同时存储多条消息。uC/OS-II使用循环队列管理机制。主要包含在C源文件OS_Q.C中。 msgQ管理：使用指针数组存储所有消息的位置；使用QCB标识指针数组中消息的基本信息；使用ECB管理整个msgQ。QCB在编译时分配空间，即当前系统中可用的msgQ个数是预先设置的，系统运行时不能修改。

(2) msgQ全局变量

OS_EXT OS_Q *OSQTbl[OS_MAX_QS]; 　　//QCB结构体数组

OS_EXT OS_Q *OSQFreeList; //空闲QCB头指针

typedef struct os_q{ //消息队列控制块

　　　　　　struct os_q *OSQPtr; //用于构建空闲QCB链表　　　　　　void **OSQStart; //指向msgQ指针数组的起始位置　　　　　　void **OSQEnd; //指向msgQ指针数组的结束位置　　　　　　void **OSQIn; //指向msgQ指针数组下一个可以插入消息的位置　　　　　　void **OSQOut; //指向msgQ指针数组下一个可以读出消息的位置　　　　　　INT16U OSQSize; //msgQ指针数组的大小　　　　　　INT16U OSQEntries; //msgQ指针数组当前可以读取的消息个数 }OS_Q;

(3) msgQ管理函数

OS_EVENT *OSQCreate(void **start, INT16U size);

INT8U OSQPost(OS_EVENT *pevent, void *msg); //发送消息到队尾

INT8U OSQPostFront(OS_EVENT *pevent, void *msg); //msg至队首

INT8U OSQPostOpt(OS_EVENT *pevent, void *msg, INT8U opt);

void *OSQPend(OS_EVENT *pevent, INT16U timeout, INT8U *err);

void *OSQAccept(OS_EVENT *pevent, INT8U *err);

OS_EVENT *OSQDel(OS_EVENT *pevent, INT8U opt, INT8U *err);

INT8U OSQQuery(OS_EVENT *pevent, OS_Q_DATA*);

INT8U OSQFlush(OS_EVENT *pevent);

(4) msgQ几个问题

uC/OS-II中，什么是事件？事件是uC/OS-II管理任务间同步与通信的机制。 事件是处理事件的对象感兴趣的，能够感知或捕获到一种事件状态的改变。

3. 信号量Sem

Sem主要用来实现任务间同步及标识某类资源的可用个数，即某个特定资源可供多少任务同时使用。主要包含在C源文件OS_SEM.C中。OS_EVENT *OSSemCreate(INT16U cnt);

void OSSemPend(OS_EVENT *pevent, INT16U timeout, INT8U *err);

INT16U OSSemAccept(OS_EVENT *pevent);

INT8U OSSemPost(OS_EVENT *pevent);

OS_EVENT *OSSemDel(OS_EVENT *pevent, INT8U opt, INT8U *err);

INT8U OSSemQuery(OS_EVENT *pevent, OS_SEM_DATA*);

void OSSemSet(OS_EVENT *pevent, INT16U cnt, INT8U *err);

4. 互斥锁Mutex

(1) Mutex基本原理

Mutex用来实现对资源的排他性访问，可能引起优先级反转。任何任务在占有某个互斥锁事件时，都不能阻塞等待其它任何事件，否则会造成死锁。主要包含在C源文件OS_MUTEX.C中。 优先级反转是指，低优先级任务占有高优先级任务运行所需的资源，而使高优先级不得不等低优先级任务把资源释放才能执行。 uC/OS-II使用ECB管理Mutex，其成员变量OSEventCnt：高8位存储Mutex被使用时提供给任务的prio；低8位在没有任务占有Mutex时为0xFF，否则为占有任务的prio。优先级反转及优先级反转避免分别如下图所示：

(2) 提升/恢复优先级

a) 提升Mutex拥有者任务的优先级的相关操作：如果该任务原来处于就绪状态，则从就绪表中将其删除；如果该任务正在等待某个事件，则从该事件的任务等待表中将其删除；

修改拥有Mutex的TCB，将其OSTCBPrio修改为欲提升的优先级；

如果该任务处于就绪状态，则将提升的优先级加载到任务就绪表中；如果该任务未就绪且正在等待某个事件，则将提升的优先级添加到该事件的任务等待表中，并修改TCB中OSTCBEventPtr；

修改TCB中与优先级相关的成员变量。

b) 恢复Mutex拥有任务的优先级的相关操作：从任务就绪表中删除提升过的优先级值，修改当前TCB中与优先级相关的所有成员变量；

再次保留提升的优先级值控制块入口，避免将其分配给其它任务。

（3）Mutex管理函数#define OS_MUTEX_KEEP_LOWER_8 0x00FF

#define OS_MUTEX_KEEP_UPPER_8 0xFF00

#define OS_MUTEX_AVAILABLE 0x00FF

OS_EVENT *OSMutexCreate(INT8U prio, INT8U *err);

void OSMutexPend(OS_EVENT *pevent, INT16U timeout, INT8U *err);

INT8U OSMutexAccept(OS_EVENT *pevent, INT8U *err);

INT8U OSMutexPost(OS_EVENT *pevent);

OS_EVENT *OSMutexDel(OS_EVENT*, INT8U opt, INT8U *err);

INT8U OSMutexQuery(OS_EVENT*, OS_MUTEX_DATA*);

5. 事件组标志Flag

(1) Flag基本原理

uC/OS-II提供事件组标志实现多事件管理。Flag只是使用0/1来表示某个事件是否发生过，而不能直接被用来传递数据和消息。可以选择性地设置一个Flag最多可以管理的任务同步状态。主要包含在C源文件OS_FLAG.C中。

(2) Flag数据结构

#define OS_FLAGS_NBITS 8/16/32 //定义OS_FLAGS的位数

FCB结构体：

　　　typedef struct os_flag_grp{ 　　　　INT8U OSFlagType; 　//事件类型 　　　　void *OSFlagWaitList; //指向等待的任务链表 　　　　OS_FLAGS OSFlagFlags; 　　//信号列表 　　　　INT8U OSFlagName[OS_FLAG_NAME_SIZE];　　　　}OS_FLAG_GRP;事件标志等待链表结点

　　　typedef struct os_flag_node{ 　　　　void *OSFlagNodeNext; 　　　　void *OSFlagNodePrev; 　　　　void *OSFlagNodeTCB; 　　　　void *OSFlagNodeFlagGrp; //指向此任务所等待的事件组标志 　　　　OS_FLAGS OSFlagNodeFlags; //等待的事件 　　　　INT8U OSFlagNodeWaitType; //等待方式　　　　}OS_FLAG_NODE;OS_EXT OS_FLAG_GRP OSFlagTbl[OS_MAX_FLAGS];

OS_EXT OS_FLAG_GRP *OSFlagFreeList;

OS_FLAG_GRP *OSFlagCreate(OS_FLAGS flags, INT8U *err);

OS_FLAGS OSFlagPend(OS_FLAG_GRP *pgrp, OS_FLAGS flags,

(3) Flag管理函数

INT8U wait_type, INT16U timeout, INT8U *err);

static void OS_FlagBlock(OS_FLAG_GRP *pgrp,

　　　　　　　　　　　　OS_FLAG_NODE *pnode,　　　　　　　　　　　　OS_FLAGS flags,　　　　　　　　　　　　INT8U wait_type, //挂起任务，　　　　　　　　　　　　INT16U timeout); //直到等待的事件或超时 　　类似于：OS_EventTaskWait();void OS_FlagUnlink(OS_FLAG_NODE *pnode); //等待超时删除结点

　　　　　　类似于：OS_EventTO();OS_FLAGS OSFlagAccept(OS_FLAG_GRP *pgrp,

　　　　　　　　　　　　OS_FLAGS flags,　　　　　　　　　　　　INT8U wait_type,　　　　　　　　　　　　INT8U *err);OS_FLAGS OSFlagPost(OS_FLAG_GRP *pgrp,

　　　　　　　　　　　　OS_FLAGS flags,　　　　　　　　　　　　INT8U opt,　　　　　　　　　　　　INT8U *err);static BOOLEAN OS_FLAGTaskRdy(OS_FLAG_NODE *pnode,

　　　　　　　　　　　　OS_FLAGS flags_rdy);OS_FLAG_GRP *OSFlagDel(OS_FLAG_GRP*, INT8U opt, INT8U *err);

OS_FLAGS OSFlagPendGetFlagsRdy(void); //获取任务就绪标志

OS_FLAGS OSFlagQuery(OS_FLAG_GRP*, INT8U *err);

INT8U OSFlagNameGet(OS_FLAG_GRP*, INT8U *pname, INT8U *err);

void OSFlagNameSet(OS_FLAG_GRP*, INT8U *pname, INT8U *err);

6. Task就绪状态判断？？？

a) OSRdyTbl[ptcb->OSTCBY] & ptcb->OSTCBBitX != 0 如：函数OSMutexPend() b) (ptcb->OSTCBStat & OS_STAT_SUSPEND) == OS_STAT_RDY 如：函数OSTimeTick() c) ptcb->OSTCBStat == OS_STAT_RDY 如：函数OS_EventTaskRdy()