Java 并发编程

注：本系列博文为 《Java 并发编程的艺术》的笔记，内容大多来源于此书。

一、并发编程的挑战

1、上下文切换

CPU 通过时间片分配算法来循环执行任务，任务从保存再到加载的过程就是一次上下文切换。并发执行的速度并不一定比串行快，因为线程有创建和切换上下文的开销。

如何减少上下文切换

• 无锁并发编程：多线程锁竞争会引起上下文的切换，可用一些方法来避免使用锁。

• CAS 算法：Java Atmoic 包使用 CAS 算法来更新数据，无需加锁。

• 使用最少的线程：避免创建不必要的线程。

• 协程：在单线程里实现多任务调度，并在单线程里维持多个任务间的切换。

2、死锁

避免死锁的几个常用方法：

• 避免一个线程同时获取多个锁。

• 避免在一个线程锁内同时占用多个资源，尽量保证每个锁只占用一个资源。

• 尝试使用定时锁，使用 lock.tryLock(timeout) 来替代内部锁机制。

• 对于数据库锁，加锁和解锁必须在一个数据库连接里，否则会出现解锁失败的情况。

二、Java 并发机制的底层实现原理

1、volatile 的应用

在并发编程中，volatile 是轻量级的 synchronized，保证了在多处理器下的共享变量的可见性，即当一个线程修改了共享变量，其他线程能读到这个修改的值。volatile 不会引起上下文的切换和调度，使用恰当的话，它比 synchronized 的使用和执行成本更低。

1.1 volatile 的实现原理

使用 volatile 修饰的共享变量，在对其进行写操作的时候，编译生成的汇编指令会多出一条 Lock 前缀的指令，在多核环境下，有两个作用：

• 将当前处理器缓存行的数据写回主内存。

• 回写操作会使其他 CPU 缓存了该内存地址的数据无效。

2、synchronized 的实现原理和应用

利用 synchronized 实现同步的基础：Java 中的每一个对象都可以作为锁，具体表现为：

• 对于普通同步方法，锁就是对象本身。

• 对于静态同步方法，锁是当前类的 Class 对象。

• 对于同步方法块，锁是 synchronized 括号里配置的对象。

JVM 基于进入和退出 monitor 对象来实现方法同步和代码块同步。使用 synchronized 修饰后的代码块，编译后会在代码块开始和结束位置插入两条指令 monitorenter 和 monitorexit。当线程执行到 monitorenter 指令时，将会尝试获取对象对应的 monitor 的所有权，即尝试获取对象的锁；执行到 monitorexit 会释放对象的锁。