第8章 互斥信量管理.docVIP

互斥型信号量管理 任务可以用互斥型信号量实现对共享资源的独占式处理。mutex是二值信号量。 mutex可以在应用程序中用于降解优先级反转问题。 互斥型信号量由3个元素组成： 1个标志，指示mutex是否可以使用（0或1）； 1个优先级，准备一旦高优先级的任务需要这个mutex，赋给占有mutex的任务； 1个等待该mutex的任务列表。 对于互斥型信号量提供6种服务：OSMutexCreate()，OSMutexDel()，OSMutexPend()，OSMutexPost()，OSMutexAccept()，OSMutexQuery()。 mutex只能供任务使用，用于处理共享资源。 8.00 建立一个互斥型信号量, OSMutexCreate() 程序清单 L8.2建立一个信号量 OS_EVENT *OSMutexCreate (INT8U prio, INT8U *err) { #if OS_CRITICAL_METHOD == 3 OS_CPU_SR cpu_sr; #endif OS_EVENT *pevent; if (OSIntNesting 0) { *err = OS_ERR_CREATE_ISR; return ((OS_EVENT *)0); } #if OS_ARG_CHK_EN 0 if (prio = OS_LOWEST_PRIO) { *err = OS_PRIO_INVALID; return ((OS_EVENT *)0); } #endif OS_ENTER_CRITICAL(); if (OSTCBPrioTbl[prio] != (OS_TCB *)0) { OS_EXIT_CRITICAL(); *err = OS_PRIO_EXIST; return ((OS_EVENT *)0); } OSTCBPrioTbl[prio] = (OS_TCB *)1; pevent = OSEventFreeList; if (pevent == (OS_EVENT *)0) { OSTCBPrioTbl[prio] = (OS_TCB *)0; OS_EXIT_CRITICAL(); *err = OS_ERR_PEVENT_NULL; return (pevent); } OSEventFreeList = (OS_EVENT *)OSEventFreeList-OSEventPtr; OS_EXIT_CRITICAL(); pevent-OSEventType = OS_EVENT_TYPE_MUTEX; pevent-OSEventCnt = (prio 8) | OS_MUTEX_AVAILABLE; pevent-OSEventPtr = (void *)0; OS_EventWaitListInit(pevent); *err = OS_NO_ERR; return (pevent); } 8.01 删除一个互斥型信号量, OSMutexDel() #if OS_MUTEX_DEL_EN OS_EVENT *OSMutexDel (OS_EVENT *pevent, INT8U opt, INT8U *err) { #if OS_CRITICAL_METHOD == 3 OS_CPU_SR cpu_sr; #endif BOOLEAN tasks_waiting; INT8U pip; if (OSIntNesting 0) {