并发编程---进阶篇

常用的并发工具类

CountDownLatch
作用：是一组线程等待其他的线程完成工作以后在执行，加强版join
await用来等待，countDown负责计数器的减一
CyclicBarrier
让一组线程达到某个屏障，被阻塞，一直到组内最后一个线程达到屏障时，屏障开放，所有被阻塞的线程会继续运行CyclicBarrier(int parties)
CyclicBarrier(int parties, Runnable barrierAction)，屏障开放，barrierAction定义的任务会执行
CountDownLatch和CyclicBarrier辨析

1. countdownlatch放行由第三者控制，CyclicBarrier放行由一组线程本身控制
2. countdownlatch放行条件》=线程数，CyclicBarrier放行条件=线程数

Semaphore
控制同时访问某个特定资源的线程数量，用在流量控制

Exchange
两个线程间的数据交换，

Callable、Future和FutureTask
isDone，结束，正常还是异常结束，或者自己取消，返回true；
isCancelled 任务完成前被取消，返回true；
cancel（boolean）：

1. 任务还没开始，返回false
2. 任务已经启动，cancel（true），中断正在运行的任务，中断成功，返回true，cancel（false），不会去中断已经运行的任务
3. 任务已经结束，返回false

原子操作CAS

Atom（不可分割）

什么是原子操作？如何实现原子操作？
syn基于阻塞的锁的机制，
1、被阻塞的线程优先级很高，
2、拿到锁的线程一直不释放锁怎么办？
3、大量的竞争，消耗cpu，同时带来死锁或者其他安全。
CAS的原理
CAS(Compare And Swap)，指令级别保证这是一个原子操作
三个运算符： 一个内存地址V，一个期望的值A，一个新值B
基本思路：如果地址V上的值和期望的值A相等，就给地址V赋给新值B，如果不是，不做任何操作。
循环（死循环，自旋）里不断的进行CAS操作

CAS的问题
A—》B----》A，版本号: A1B2-A3
CAS操作长期不成功，cpu不断的循环

Jdk中相关原子操作类的使用
AtomicMarkableReference，boolean 有没有动过
AtomicStampedReference 动过几次

显式锁和AQS

显式锁
Lock接口和核心方法

Lock接口和synchronized的比较
synchronized 代码简洁，Lock：获取锁可以被中断，超时获取锁，尝试获取锁，读多写少用读写锁
可重入锁ReentrantLock、所谓锁的公平和非公平
如果在时间上，先对锁进行获取的请求，一定先被满足，这个锁就是公平的，不满足，就是非公平的
非公平的效率一般来讲更高
ReadWriteLock接口和读写锁ReentrantReadWriteLock
ReentrantLock和Syn关键字，都是排他锁，
读写锁：同一时刻允许多个读线程同时访问，但是写线程访问的时候，所有的读和写都被阻塞，最适宜与读多写少的情况

Condition接口

用Lock和Condition实现等待通知

了解LockSupport工具

park开头的方法
负责阻塞线程
unpark(Thread thread)方法
负责唤醒线程

AbstractQueuedSynchronizer深入分析

什么是AQS？学习它的必要性
AQS使用方式和其中的设计模式
继承，模板方法设计模式
了解其中的方法
模板方法：
独占式获取
accquire
acquireInterruptibly
tryAcquireNanos
共享式获取
acquireShared
acquireSharedInterruptibly
tryAcquireSharedNanos
独占式释放锁
release
共享式释放锁
releaseShared
需要子类覆盖的流程方法
独占式获取 tryAcquire
独占式释放 tryRelease
共享式获取 tryAcquireShared
共享式释放 tryReleaseShared
这个同步器是否处于独占模式 isHeldExclusively

同步状态state：
getState:获取当前的同步状态
setState：设置当前同步状态
compareAndSetState 使用CAS设置状态，保证状态设置的原子性

AQS中的数据结构-节点和同步队列

竞争失败的线程会打包成Node放到同步队列，Node可能的状态里：
CANCELLED：线程等待超时或者被中断了，需要从队列中移走
SIGNAL：后续的节点等待状态，当前节点，通知后面的节点去运行
CONDITION :当前节点处于等待队列
PROPAGATE：共享，表示状态要往后面的节点传播
0，表示初始状态

节点在同步队列中的增加和移出

独占式同步状态获取与释放

其他同步状态获取与释放

Condition分析

声明：本文经作者授权转载，如需转载请联系原作者。