java多线程与并发-原理

线程安全问题

1. 主要诱因

• 存在共享数据（临界资源）
• 存在多条线程共同操作这些共享数据

2. 解决-互斥锁

解决方案：同一时刻有且仅有一个线程在操作共享数据，其他线程必须等到该线程处理完数据后再对共享数据进行操作，引入互斥锁（Java中使用synchronized）

互斥锁的特性：

• 互斥性：即同一时间只允许一个线程持有某个对象锁
• 可见性：必须确保在锁被释放之前，对共享变量所做的修改，对于随后获得该锁的另一个线程是可见的

Synchronized

synchronized锁的不是代码，锁的都是对象

1. 对象锁和类锁

根据获取锁的分类：获取对象锁和获取类锁（二者互不干扰）
a 获取对象锁

• 同步代码块（synchronized(this) , synchronized(类实例对象)），锁是小括号()中的实例对象
• 同步非静态方法（synchronized method），锁是当前对象的实例对象

b 获取类锁

• 同步代码块（synchronized(类.class)），锁是小括号()中的类对象（class对象）
• 同步静态方法（synchronized static method），锁是当前对象的类对象（class对象）

对象锁和类锁总结：

• 有线程访问对象的同步代码块时，另外的线程可以访问该对象的非同步代码块
• 若锁住的是同一对象，一个线程在访问对象的同步代码块时，另一个访问对象的同步代码块的线程会被阻塞
• 若锁住的是同一对象，一个线程在访问对象的同步方法时，另一个访问对象同步方法的线程会被阻塞
• 若锁住的是同一对象，一个线程在访问对象的同步代码块时，另一个访问对象同步方法的线程会被阻塞，反之亦然
• 同一个类的不同对象的对象锁互不干扰
• 类锁由于也是一种特殊的对象锁，因此表现和上述1，2，3，4一致，而由于一个类只有一把对象锁，所以同一类的不同对象使用类锁将会同步
• 类锁和对象锁互不干扰

2. 实现

实现synchronized的基础

• Java对象头（对象在内存中的布局包括：对象头。实例数据，对齐填充）
  – Mark word：默认存取对象的hashCode，分代年龄，锁类型，锁标志位等信息
  – Class Metadata Address：类型指针指向对象的类元类型，JVM通过这个指针确定该对象是哪个类的数据
  
• Monitor
  – 每个java对象天生自带了一把看不见的锁
  – 对象头中锁指针指向了monitor的头指针
  

字节码层面的实现：

• 对于同步块，使用 monitorenter 和 monitorexit 包围
• 对于方法体，是隐式的，通过ACC_SYNCHRONIZED标志来记录

3. 改进

为什么会对synchronized嗤之以鼻

• 早期版本，synchronized属于重量级锁，依赖于底层操作系统的Mutex Lock实现
• 线程之间的切换需要从用户态转换到核心态，开销较大（线程的挂起和恢复需要核心态完成）

改进-自旋锁

• 许多情况下，共享数据的锁定状态持续时间较短，切换线程不值得
• 通过让线程执行忙循环等待锁的释放，不让出CPU
• 缺点：若锁被其他线程长时间占用，会带来许多性能上的开销

改进-自适应自旋锁

• 自旋的次数不再固定
• 由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定

改进-锁消除

• JIT编译时，对运行上下文进行扫描，去除不可能存在竞争的锁

改进-锁粗化

• 通过扩大加锁的范围，避免反复加锁和解锁

4. synchronized的四种状态
   

• 无锁

• 偏向锁（大多数情况下，锁不存在多线程竞争，总是由同一线程多次获得）：如果一个线程获得了锁，那么锁就进入偏向模式，此时Mark word的结构也变为偏向锁结构，当该线程再次请求锁时，无需再做任何同步操作，即获取锁的过程只需要检查mark word的锁标记位为偏向锁以及当前线程ID等于mark word的ThreadID即可，这样就省去了大量有关锁申请的操作。

• 轻量级锁（适用于线程交替执行同步块）：是由偏向锁升级来的，偏向锁运行在一个线程进入同步块的情况下，当第二个线程加入锁争用的时候，偏向锁就会升级为轻量级锁。

• 重量级锁：当存在同一时间访问同一锁的情况，就会导致轻量级锁膨胀为重量级锁。