多任务合作工作的过程中,操作系统应解决两个问题:
一是各任务间应具有一种互斥关系,即对于某个共享资源,如果一个任务正在使用,则其他任务只能等待,等到该任务释放该资源后,等待的任务之一才能使用它;
二是相关的任务在执行上要有先后次序,一个任务要等其伙伴发来通知,或建立了某个条件后才能继续执行,否则只能等到。
任务之间的这种制约性的合作运行机制叫做任务间的同步
任务间通信和同步机制:
二值信号量、互斥信号量:对(全局变量等)共享资源的访问,防止冲突而设立的; 同步任务
消息队列 :任务间传递消息用的,FIFO
事件标志组 :同步多个任务而设立的,标志位都置1了,才执行某操作
互斥信号量——优先级继承,防止优先级反转
优先级倒置(反转)的问题,比如:一个低优先级的线程3某一时刻已经占有互斥量,而此时一个高优先级线程1申请此互斥量,此时级线程1就只能等待,这时如果有一个中优先级线程2已经就绪,那线程2就会中断线程3,从而就会出现线程2先于线程1而执行,这种现象就是优先级倒置问题。
如何避免优先级倒置?可以让线程3申请的互斥量使用优先级继承的选项来解决这个问题。而优先级继承就是:当出现这种情况(一个低优先级的线程3某一时刻已经占有互斥量,而此时一个高优先级线程1申请此互斥量,此时级线程1就只能等待)时,低优先级线程3就继承高优先级线程的优先级,直到线程3释放互斥量后才恢复其优先级,这样就可以避免优先级倒置的问题。
互斥信号量和二值信号量的区别
1.占用资源多、运行速度慢:如果互斥对程序很关键,那么就该使用互斥量;如果互斥不是程序中的主要因素,那么就使用信号量,因为它比互斥量稍快,使用系统资源比较少。
2.互斥信号量:是特殊的信号量:计数器只有0和1
二值信号量:信号量计数器可以任意
消息队列 和信号量 的线程同步的区别
消息队列的线程间通信是用于传递数据,而信号量的线程同步侧重的是信号量的指示作用