《Java并发编程的艺术》精要整理

目录

1 Java并发机制的原理... 1

2 Jdk提供的并发组件及框架... 2

2.1 队列同步器... 3

2.2并发容器... 3

2.3并发工具类... 3

2.4Executor框架... 3

 

 

1 Java并发机制的原理

 

并发编程的两个问题：线程间的通信和同步。同步是指多个线程之间操作的相对顺序。

 

存在两种并发编程模型：①隐式通信，显式同步，Java即属于此类。

                      ②显式通信，隐式同步。（ 发送消息时就已经存在一个发送和接收的先后顺序）。

 

 

原子操作：一个或一系列无法分割的操作。

 

Cpu如何实现原子操作：

①   锁定总线

②   锁定缓存

 

Java中如何实现原子操作：①循环cas（一种无锁并发技术）

②使用锁

 

Volatile关键字：对volaile变量的写操作会立即刷新到共享内存，保证所有线程都可以看到最新的值。

 

锁的内存语意：一个线程释放锁时，会将前面的共享变量全部刷新到主内存，后续某个线程获取锁时，会重新从主内存读取共享变量的最新值。锁的释放和获取实际上是通过主内存实现了线程间的通信。

 

Volatile写-volatile读具有和释放锁-获取锁相同的内存语意。

 

Java 内存模型规范对数据竞争的定义如下。在一个线程中写一个变量，在另一个线程读同一个变量，而且写和读没有通过同步来排序。

当代码中包含数据竞争时，程序的执行往往产生违反直觉的结果。

JMM对正确同步的多线程程序的内存一致性做了如下保证。如果程序是正确同步的，程序的执行将具有顺序一致性（SequentiallyConsistent）——即程序的执行结果与该程序在顺序一致性内存模型中的执行结果相同。

 

顺序一致性内存模型是一个被计算机科学家理想化了的理论参考模型，它为程序员提供了极强的内存可见性保证。顺序一致性内存模型有两大特性。

1）一个线程中的所有操作必须按照程序的顺序来执行。

2）（不管程序是否同步）所有线程都只能看到一个单一的操作执行顺序。在顺序一致性内存模型中，每个操作都必须原子执行且立刻对所有线程可见。

 

 

重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。

 

as-if-serial语义的意思是：不管怎么重排序（编译器和处理器为了提高并行度），（单线程）程序的执行结果不能被改变。

 

Jvm会通过禁止特定的重排序来保证正确同步的多线程的顺序一致性：

①   设定规则来禁止编译器的重排序

②   在最终生成的汇编指令中插入内存屏障来禁止处理器的重排序。

 

 

《JSR-133:JavaMemoryModelandThreadSpecification》定义了如下happens-before规则。1）程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。2）监视器锁规则：对一个锁的解锁，happens-before于随后对这个锁的加锁。

3）volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。

4）传递性：如果Ahappens-beforeB，且Bhappens-beforeC，那么Ahappens-beforeC。

5）start()规则：如果线程A执行操作ThreadB.start()（启动线程B），那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。

6）join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。

 

 

·as-if-serial语义保证单线程内程序的执行结果不被改变，happens-before关系保证正确同步的多线程程序的执行结果不被改变。

·as-if-serial语义给编写单线程程序的程序员创造了一个幻境：单线程程序是按程序的顺序来执行的。

happens-before关系给编写正确同步的多线程程序的程序员创造了一个幻境：正确同步的多线程线程程序是按happens-before指定的顺序来执行的。

 

 

2 Jdk提供的并发组件及框架

 

2.1 队列同步器

 

队列同步器AbstractQueuedSynchronizer（以下简称同步器），是用来构建锁或者其他同步组件的基础框架，它使用了一个int成员变量表示同步状态，通过内置的FIFO队列来完成资源获取线程的排队工作。

 

2.2并发容器

ConcurrentHashMap：使用锁分段技术。首先将数据分成一段一段地存储，然后给每一段数据配一把锁，当一个线程占用锁访问其中一个段数据的时候，其他段的数据也能被其他线程访问。

 

ConcurrentLinkedQueue是一个基于链接节点的无界线程安全队列，它采用先进先出的规则对节点进行排序，当我们添加一个元素的时候，它会添加到队列的尾部；当我们获取一个元素时，它会返回队列头部的元素。它采用了“wait-free”算法（即CAS算法）来实现，该算法在Michael&Scott算法上进行了一些修改。

 

2.3并发工具类

CountDownLatch允许一个或多个线程等待其他线程完成操作。主要方法：countDown(),await().

 

同步屏障CyclicBarrier：可循环使用（Cyclic）的屏障（Barrier）。它要做的事情是，让一组线程到达一个屏障（也可以叫同步点）时被阻塞，直到最后一个线程到达屏障时，屏障才会开门，所有被屏障拦截的线程才会继续运行。

主要方法：await().

 

控制并发线程数的Semaphore:Semaphore（信号量）是用来控制同时访问特定资源的线程数量，它通过协调各个线程，以保证合理的使用公共资源。

主要方法：aquire().(请求许可证)

 

 

2.4Executor框架

Executor框架把工作单元与执行机制分离开来。

 

合理地使用线程池能够带来3个好处。

第一：降低资源消耗。通过重复利用已创建的线程降低线程创建和销毁造成的消耗。

第二：提高响应速度。当任务到达时，任务可以不需要等到线程创建就能立即执行。

第三：提高线程的可管理性。线程是稀缺资源，如果无限制地创建，不仅会消耗系统资源，还会降低系统的稳定性，使用线程池可以进行统一分配、调优和监控。

 

Executor框架的两级调度模型如下图：

 

 

 

 

FixedThreadPool：可重用固定线程数的线程池。

 

适用于为了满足资源管理的需求，而需要限制当前线程数量的应用场景，它适用于负载比较重的服务器。

 

SingleThreadExecutor是使用单个worker线程的Executor。

 

适用于需要保证顺序地执行各个任务；并且在任意时间点，不会有多个线程是活动的应用场景。

 

 

CachedThreadPool是一个会根据需要不断创建新线程的线程池。

 

是大小无界的线程池，适用于执行很多的短期异步任务的小程序，或者是负载较轻的服务器。

 

 

 

ScheduledThreadPoolExecutor继承自ThreadPoolExecutor。它主要用来在给定的延迟之后运行任务，或者定期执行任务。ScheduledThreadPoolExecutor的功能与Timer类似，但ScheduledThreadPoolExecutor功能更强大、更灵活。

 

·ScheduledThreadPoolExecutor。包含若干个线程的ScheduledThreadPoolExecutor。

 

适用于需要多个后台线程执行周期任务，同时为了满足资源管理的需求而需要限制后台线程的数量的应用场景。下面是Executors提供的，创建单个线程的

 

·SingleThreadScheduledExecutor。只包含一个线程的ScheduledThreadPoolExecutor。

 

适用于需要单个后台线程执行周期任务，同时需要保证顺序地执行各个任务的应用场景。