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()