实现原理

ThreadPoolExecutor执行execute：

1. 如果当前运行的线程少于corePoolSize，则创建新线程来执行任务（需要获取全局锁）。
2. 如果运行的线程等于或多余corePoolSize，则将任务加入BlockingQueue
3. 如果无法将任务加入BlockingQueue（队列已满），则创建新的线程来处理任务（需要获取全局锁）。
4. 如果创建新线程将使当前运行的线程超过maximumPoolSize，任务将被拒绝，并调用RejectedExecutionHandler.rejectedExecution()方法。

主要介绍ConcurrentHashMap、ConcurrentLinkedQueue、阻塞队列、Fork/Join框架

CountDownLatch

依赖于AbstractQueuedSynchronizer实现的共享同步器

Lock

1
2
3
4
5
6
7

Lock lock = new ReentrantLock();
lock.lock();
try{
    ...
}finally{
    lock.unlock();
}

1、灵活
2、尝试非阻塞地获取锁

1
2
3

public boolean tryLock() {
    return sync.nonfairTryAcquire(1);
}

3、能被中断地获取锁

1
2
3
4

// 中断获取的一部分，parkAndCheckInterrupt 调用的是LockSupport.park(this); LockSupport 具有中断返回的特性。 
if (shouldParkAfterFailedAcquire(p, node) &&
    parkAndCheckInterrupt())
    throw new InterruptedException();

4、能超时获取锁

1

lock.tryLock(1, TimeUnit.SECONDS);

5、独占或共享的方式

线程的状态

驾驶安全最关键的是在极端情况下的车辆控制，包括爆胎、雪天车辆打滑的情况。只有保证自己在极端情况下，具有控制车辆的能力，才能称得上是一个合格的驾驶者。

JMM

Java内存模型定义了多线程之间共享变量的可见性以及如何在需要的时候对共享变量进行同步。

Java内存模型定义了volatile和synchronized的行为，更重要的是保证了同步的java程序在所有的处理器架构下面都能正确的运行。

并发编程模型的两个关键问题

线程之间如何通信和同步。

如何通信

1. 共享内存
2. 消息传递

如何同步

1. 显式
2. 隐式

在共享内存并发模型中，同步是显式进行的。程序员必须显式指定某个方法或某段代码需要在线程之间互斥执行。在消息传递的并发模型里，由于消息的发送必须在消息的接受之前，因此同步是隐式进行的。