一、关于同步理论的一些基本概念
- 临界区:访问或操作共享数据的代码段,比如synchronize大括号中的部分
- 竞争条件:两个线程同时拥有临界区的执行权
- 数据不一致:data unconsistency 由竞争条件引起的数据破坏
- 同步:避免 race conditions
- 锁:完成同步的手段,上锁解锁必须具备原子性
- 原子性:要么全部发生,要么不发生,像原子一样不可分割
- 有序性:禁止指令重排序
- 可见性:一个线程内的修改,另一个线程可见
二、内核同步的常用方法(保证原子性、有序性、可见性)
- 原子操作——内核中类似于AtomicXXX,位于linux/types.h
- 自旋锁——内核中通过汇编语言支持CAS,位于asm/spinlock.h
- 读、写自旋——类似于ReadWriteLock,可同时读,只能一个写,读的时候是共享锁、写的时候是排他锁
- 信号量:类似于Semaphore。重量级锁,线程会进入wait,适合长时间持有锁情况
- 读写信号量:多个写,可分段写,实际比较少用。(分段锁)
- 互斥体(mutex):特殊的信号量(二值信号量)
- 完成变量——特殊的信号量(A发送型号给B,B等待在完成变量上),vfork()在子进程结束是通过完成变量叫醒父进程,类似于( CountDownLatch)
- BKL:大内核锁(早期,现在已经不用了)
- 禁止抢占——preempt_disable()
- 内存屏障