信号量(semaphore):用来表示可用资源大小,对多个资源访问,实现有序访问,计数值可以从0~max
互斥量(mutex):用于对一个资源的访问,可以优先级继承,有两个值:0、1
优先级反转:假设有高中低优先级的任务,当低优先级的任务在获取semaphore,高优先级的任务也要获取该semaphore时,高优先级的任务会获取失败,此时中优先级的一直运行,高优先级的任务就被中低优先级的任务卡死
优先级继承:假设有高中低优先级的任务,当低优先级的任务在获取mutex,高优先级的任务也要获取该mutex时,高优先级的任务会获取失败,此时会提升Mutex的拥有者的优先级,让原本是低优先级的任务先执行完毕,释放mutex,之后恢复优先级,唤醒高优先级的任务。这样就顺利解决优先级反转的问题
互斥量和信号量的区别
- 互斥量用于线程的互斥,信号量用于线程的同步。
这是互斥量和信号量的根本区别,也就是互斥和同步之间的区别。
互斥:是指某一资源同时只允许一个访问者对其进行访问,具有唯一性和排它性。但互斥无法限制访问者对资源的访问顺序,即访问是无序的。
同步:是指在互斥的基础上(大多数情况),通过其它机制实现访问者对资源的有序访问。在大多数情况下,同步已经实现了互斥,特别是所有写入资源的情况必定是互斥的。少数情况是指可以允许多个访问者同时访问资源
- 互斥量值只能为0/1,信号量值可以为非负整数。
也就是说,一个互斥量只能用于一个资源的互斥访问,它不能实现多个资源的多线程互斥问题。信号量可以实现多个同类资源的多线程互斥和同步。当信号量为单值信号量是,也可以完成一个资源的互斥访问。
- 互斥量的加锁和解锁必须由同一线程分别对应使用,信号量可以由一个线程释放,另一个线程得到。