阳泉 网站建设合作,求一个能用的网站,网站建设_微信开发,医院网站php源码一个无论多么小的系统#xff0c;都会有大系统的缩影#xff0c;就像俗话说“麻雀虽小五脏俱全”。
嵌入式实时操作系统中除了基本调度机制#xff08;创建线程、调度线程、挂起线程等#xff09;#xff0c;事件处理机制#xff08;中断管理、时钟管理#xff09;、内…一个无论多么小的系统都会有大系统的缩影就像俗话说“麻雀虽小五脏俱全”。
嵌入式实时操作系统中除了基本调度机制创建线程、调度线程、挂起线程等事件处理机制中断管理、时钟管理、内存管理机制外也有一般操作所具有的线程交互机制如 互斥机制、同步机制、通信机制等。
并发线程可共享系统中的各类资源如全局变量、表格、队列、打印机等这些资源被称为临界资源当诸线程在访问这些临界资源时必须互斥访问。
互斥顾名思义大家都要相互排斥因此在同一个时刻只能有一个任务拥有互斥量。
大家把每个线程中访问临界资源的那段代码称为临界区把线程刚开始执行临界区代码和退出临界区代码的那一刻称为临界点。
临界区的代码需要互斥访问即不允许多个线程中断同时执行临界区域代码
HAL_INTR ENABLE:CPSIE imov pc,lrHAL_INTR_DISABLE:CPSID imov pc,lr线程和中断处理程序互斥当线程在临界点关了中断线程在执行临界区代码时中断肯定不会发生所以不会出现中断和线程同时访问临界区代码的情况。
互斥机制
除了HAL_ENTER_CRITICAL、HAL_EXIT_CRITICAL临界点机制可实现互斥外还可以用互斥量机制实现互斥。
临界点机制是整个临界区域都关中断而互斥量只是申请互斥量和释放互斥量时关中断同时互斥量机制可能会引起线程挂起导致线程切换
使用互斥量机制时临界区代码往往都比较长对于线程之间互斥的代码区域如果这段区域很小小到执行时间少于线程切换的时间优先使用临界点。
互斥量
使用互斥量Mutex可以有效管理系统中的独占资源进而利用这一特性来实现对临界资源的管理以便一个核上的多个任务多个核上的多个任务在访问临界资源不会互相干扰产生异常结果。 aCoral互斥量的实现依赖于事件控制块。
typedef enum{ACORAL_EVENT_SEM, //信号量ACORAL_EVENT_MUTEX //互斥量
}acoralEventEnum;typedef struct{acoral_res_t res; //event也是一种资源unsigned char type;int count;//共用型变量当type值不同时count代表的意思也不同当为互斥量时16~24位代表这个互斥量的优先级天花板这个值在互斥量被创建的时候就确定了并且不会改变低16位中的高8位表示这个互斥量被占用时因为尝试申请互斥量而被阻塞的线程中最高的优先级低8位在互斥量没有被上锁时为全1表示互斥量可用在被上锁也就是被占用时会赋值为占用它的线程的原始优先级。之所以说是原始优先级是因为占用线程在使用互斥量的过程中可能被提升优先级那么在释放互斥量之后就要恢复之前的优先级从count的低八位取指。acoral_list_t wait_queue; //等待使用这个event的线程队列char *name; //名字void *data; //当event是mutex或semaphore时指向占用线程当event是消息队列时存放传递的消息
}acoral_evt_t;创建互斥量 创建互斥量的时候需要指定的第一个参数为互斥量的优先级这个优先级为使用该互斥量的所有线程中最高的优先级指定该参数是为了避免优先级反转支持优先级继承而第二个参数是该接口的返回信息用来通知信号量创建者在创建过程的状态。 当创建成功时返回指向该互斥量的指针
acoral_evt_t *acoral_mutex_create(unsigned char prio, unsigned int *err)
{acoral_evt_t *evt;evt acoral_alloc_evt();//从资源内存池中分配一个事件块分配的方式和线程控制块类似if(NULL evt){*err MUTEX_ERR_NULL;return NULL;}evt-count (prio 16) | MUTEX_AVAI | MUTEX_U_MASK;evt-type ACORAL_EVENT_MUTEX;evt-data NULL;acoral_evt_init(evt);//初始化互斥量创建互斥量的最后一步是对其进行初始化return evt;
}acoral_evt_t *acoral_alloc_evt()
{return (acoral_evt_t *)acoral_get_res(acoral_evt_pool_ctrl);
}void acoral_evt_init(acoral_evt_t *evt)
{acoral_init_list(evt-wait_queue);
}优先级反转 T1的优先级大于T2大于T3T1与T3会访问共享资源ST2不会。
T3在时刻0到达并立即得以运行随后在t0时刻开始进入临界区访问共享资源S。在时刻t1T1到达系统T1抢占T3获得运行权t2时刻T1欲访问共享资源S而此时S被T3占用T1被切换到等待队列CPU的执行权重新交给T3T3继续访问S。在时刻t3T2到达系统T2抢占T3获得运行权直到时刻t4T2执行结束CPU执行权交给T3。时刻t5T3结束共享资源的访问释放共享资源S这样T1获得CPU使用权直到t6。
虽然T2优先级小于T1但T2延迟了T1的运行T2先于T1执行完该现象在RTOS中被称为优先级反转。
在多个任务需要访问共享资源的情况下可能会出现高优先级任务被低优先级任务阻塞并等待低优先级任务运行在此过程中高优先级任务需要等待低优先级任务释放共享资源而低优先级任务又在等待不访问共享资源的中等优先级任务的现象称为优先级反转。
优先级反转造成了调度的不确定性。
优先级继承指当一个任务阻塞了一个或多个高优先级任务时该任务将不使用原来的优先级而暂时使用被阻塞任务中的最高优先级作为执行临界区的优先级当该任务退出临界区时再恢复到其最初优先级。
基本步骤如下
如果任务T为具有最高优先级的就绪任务则T将获得运行权。在任务T进入临界区前首先需要通过RTOS提供的API请求获得该临界区的互斥量Sacoral_mutex_pend()如果互斥量S已经被上锁则任务T的请求被拒绝。在该情况下任务T被拥有互斥量S的任务所阻塞。如果互斥量S未被上锁则任务获得互斥量S而进入临界区。当任务T退出临界区时使用临界区过程中所上锁的信号被解锁acoral_mutex_post()此时如果有其它任务因为请求临界区而被阻塞则其中具有最高优先级的任务将被激活处于就绪状态。任务T将保持被分配的原有优先级不变除非任务T进入了临界区并阻塞了更高优先级的任务。则T将继承被任务T阻塞的所有任务的最高优先级直到任务T退出临界区。当T退出临界区时将恢复到进入临界区前的原有优先级。优先级继承具有传递性。
是否存在优先级反转的条件
已占有互斥量的线程优先级不是创建互斥量时设置的最高优先级。且已占有互斥量的线程优先级小于当前线程的优先级。且已占有互斥量的线程和当前线程并发使用一个CPU时。
acoralMutexRetVal acoral_mutex_post(acoral_evt_t *evt)
{unsigned char ownerPrio;unsigned char highPrio;acoral_thread_t *thread;acoral_thread_t *cur;acoral_enter_critical();if (NULL evt){acoral_print(mutex NULL\n);acoral_exit_critical();return MUTEX_ERR_NULL; /*error*/}highPrio (unsigned char)(evt-count 8);ownerPrio (unsigned char)(evt-count MUTEX_L_MASK);cur acoral_cur_thread;if(highPrio ! 0 cur-prio ! highPrio cur-prio ! ownerPrio){acoral_print(mutex prio err\n);acoral_exit_critical();return MUTEX_ERR_UNDEF;}cur-evt NULL;if(cur-prio ! ownerPrio){acoral_change_prio_self(ownerPrio);}thread acoral_evt_high_thread(evt);if(thread NULL){evt-count | MUTEX_AVAI;evt-data NULL;acoral_exit_critical();return MUTEX_SUCCED;}timeout_queue_del(thread);acoral_evt_queue_del(thread);evt-count MUTEX_U_MASK;evt-count | thread-prio;evt-data thread;acoral_rdy_thread(thread);acoral_exit_critical();acoral_sched();return MUTEX_SUCCED;
}删除互斥量当互斥量不再使用时需要对其进行删除以回收内存空间删除互斥量的接口acoralMutexRetVal acoral_mutex_del(acoral_evt_t *evt, unsigned int opt) 需要传递对应的指向互斥量结构的指针同时需要指定删除时的属性当opt的值为ACORAL_MUTEX_FORCEDEL时不管有无线程在等待都会删除互斥量归还互斥量块到事件块缓冲池中。 当opt的值为ACORAL_NORMALDEL时如果有线程在等待则不会进行删除通过返回值通知删除状态。
acoralMutexRetVal acoral_mutex_del(acoral_evt_t *evt, unsigned int opt)
{if(NULL evt){return MUTEX_ERR_NULL;}if(ACORAL_EVENT_MUTEX ! evt-type){return MUTEX_ERR_TYPE;}acoral_enter_critical();if(acoral_evt_queue_empty(evt)){acoral_exit_critical();return MUTEX_SUCCED;}else{/*有等待任务*/acoral_exit_critical();return MUTEX_ERR_TASK_EXIST;}
}对于多核嵌入式平台aCoral提供了另一种互斥机制自旋锁。 原来的临界点机制仅仅通过关中断是没法实现多核环境下互斥访问的因为临界点机制只能保证同一个核上的线程之间线程和中断的互斥。 而在多核情况下线程是可同时在不同核上运行的这就需要一种核间互斥的机制也就是自旋锁。
