【Java并发】- JUC

目录

什么是JUC

juc中主要内容

AbstractQueuedSynchronizer（AQS）

AQS实现锁的大体过程

AQS核心方法

并发工具包

线程池

线程池执行原理

 常见线程池

线程池7大入参

---

version：jdk1.8

---

什么是JUC

        java并发包名称缩写：JUC (java.util.concurrent)

juc中主要内容

       

AbstractQueuedSynchronizer（AQS）

        AQS，AbstractQueuedSynchronizer，抽象队列同步器，定义了一套多线程访问共享资源的同步器框架，许多并发工具的实现都依赖于它，如常用的ReentrantLock/Semaphore/CountDownLatch。

        AQS使用一个volatile的int类型的成员变量state来表示同步状态，通过CAS修改同步状态的值。当线程调用 lock 方法时 ，如果 state=0，说明没有任何线程占有共享资源的锁，可以获得锁并将 state=1。如果 state=1，则说明有线程目前正在使用共享变量，其他线程必须加入同步队列进行等待。

AQS实现锁的大体过程

1. 通过一个int的state变量来记录锁状态+锁重入次数
2. 对int state使用cas实现抢锁，加锁，解锁，调用navicate方法底层使用 lock cmpxchg 
3. 获取不到锁的线程使用自旋，阻塞，自旋+阻塞，最后放入阻塞队列中
4. 释放锁使用自旋，阻塞唤醒

AQS核心方法

acquire()  获取锁

public final void acquire(int arg) {
    if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

tryAcquire() 尝试获取锁

protected boolean tryAcquire(int arg) {
        throw new UnsupportedOperationException();
    }
	
//ReentantLock的tryAcquire的实现
// 尝试直接获取锁，返回值是boolean，代表是否获取到锁
// 返回true：1.没有线程在等待锁；2.重入锁，线程本来就持有锁，也就可以理所当然可以直接获取
protected final boolean tryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        // state == 0 此时此刻没有线程持有锁
        if (c == 0) {
            // 虽然此时此刻锁是可以用的，但是这是公平锁，既然是公平，就得讲究先来后到，
            // 看看有没有别人在队列中等了半天了
            if (!hasQueuedPredecessors() &&
                // 如果没有线程在等待，那就用CAS尝试一下，成功了就获取到锁了，
                // 不成功的话，只能说明一个问题，就在刚刚几乎同一时刻有个线程抢先了
                // 因为刚刚还没人的，我判断过了
                compareAndSetState(0, acquires)) {

                // 到这里就是获取到锁了，标记一下，告诉大家，现在是我占用了锁
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        // 会进入这个else if分支，说明是重入了，需要操作：state=state+1
        // 这里不存在并发问题
        else if (current == getExclusiveOwnerThread()) {
            int nextc = c + acquires;
            if (nextc < 0)
                throw new Error("Maximum lock count exceeded"