Linux并发与竞争
1.原子操作,原子是化学反应中不可再分割的基本粒子 linux内核中定义了叫做atomic_t的结构体来完成整形数据的原子操作,使用原子变量来代替整型变量。 API接口有加减,自加和自减,还有位操作
原子操作可以对整型数进行保护,自旋锁可以对结构体来进行保护,linux内核中使用结构体spinlock_t来表示自旋锁。
- 使用自旋锁的时间不能太长,因为它一直在原地自旋,不休眠,如果临界区比较大,运行时间比较长要选带休眠,比如信号量和互斥体。
- 自旋锁保护的临界区不能调用任何可能导致线程休眠的API函数,否则导致死锁
- 不能递归申请自旋锁,否则导致死锁
- 在获取自旋锁之前一定要先关闭中断,否则中断中使用自旋就会导致死锁
读写自旋锁rwlock_t,读操作和写操作不能同时进行。 顺序锁seqlock_t,允许在写的时候进行读操作,也就是实现同时读写,但是不能同时并发的写操作。
2.信号量semaphore,信号量是同步的一种方式,信号量的值大于1则是计数信号量,如果信号量的值设置为1,那就是一个互斥的二值信号量,和互斥锁差不多。
- 信号量等待资源线程会进入休眠状态
- 信号量不能用于中断中,因为它会引起休眠
- 如果共享资源持有时间比较短,不适合用信号量,它频繁的休眠和切换线程引起的开销远比信号量的带来的那点优势要大。
3.互斥信号量mutex
- mutex可以休眠,不能在中断中使用
- 和信号量一样,muxte保护的临界区可可以调用引起阻塞的API函数
- 因为一次只有一个线程可以持有mutex,因此必须由mutex的持有者释放,不能递归上锁和解锁