杂谈：内核同步的机制

一、关于同步理论的一些基本概念

• 临界区：访问或操作共享数据的代码段，比如synchronize大括号中的部分
• 竞争条件：两个线程同时拥有临界区的执行权
• 数据不一致：data unconsistency 由竞争条件引起的数据破坏
• 同步：避免 race conditions
• 锁：完成同步的手段，上锁解锁必须具备原子性
• 原子性：要么全部发生，要么不发生，像原子一样不可分割
• 有序性：禁止指令重排序
• 可见性：一个线程内的修改，另一个线程可见

二、内核同步的常用方法（保证原子性、有序性、可见性）

1. 原子操作——内核中类似于AtomicXXX，位于linux/types.h
2. 自旋锁——内核中通过汇编语言支持CAS，位于asm/spinlock.h
3. 读、写自旋——类似于ReadWriteLock，可同时读，只能一个写，读的时候是共享锁、写的时候是排他锁
4. 信号量：类似于Semaphore。重量级锁，线程会进入wait，适合长时间持有锁情况
5. 读写信号量：多个写，可分段写，实际比较少用。（分段锁）
6. 互斥体（mutex）：特殊的信号量（二值信号量）
7. 完成变量——特殊的信号量（A发送型号给B，B等待在完成变量上），vfork（）在子进程结束是通过完成变量叫醒父进程，类似于（ CountDownLatch）
8. BKL：大内核锁（早期，现在已经不用了）
9. 禁止抢占——preempt_disable()
10. 内存屏障