首页 > 其他分享 >多线程四-Lock锁及其原理分析

多线程四-Lock锁及其原理分析

时间:2024-08-27 23:25:28浏览次数:8  
标签:node Node int Lock 线程 lock 原理 多线程 final

JUC是什么

可能有些不太关注底层代码,会不太理解juc是啥,比如之前的我,只知道是跟并发相关。juc其实就是并发包路径的缩写,java.util.concurrent.而Lock是其中锁的接口,有比如重入锁,读锁,写锁等一些具体实现。
这部分源码理解起来还是有些难度,暂时先理解其大概思路,对于实现有一个印象,比如AQS队列是一个双端队列,那么看代码时遇到相关操作知道是操作双端队列就容易一些了。
个人看新版本jdk的额实现,感觉更不容易理解,可能是因为jdk8网上的文章多一些,可以帮助理解吧。后面有时间还会对这部分进行重新思考。

Lock

lock的基本用法如下

Lock l = ...;  l.lock();
try {    
    // access the resource protected by this lock  
} finally {
    l.unlock();  
}

源码如下

trylock不阻塞,如果发现有人持有锁,则不去执行相应逻辑
lock则会阻塞在lock方法内部

package java.util.concurrent.locks;

import java.util.concurrent.TimeUnit;

public interface Lock {

    void lock();

    void lockInterruptibly() throws InterruptedException;

    boolean tryLock();

    boolean tryLock(long time, TimeUnit unit) throws InterruptedException;

    void unlock();

    Condition newCondition();
}

ReentrantLock和syncronized有什么区别

  • Syncronized是一个关键字,Lock是一个类
  • Lock锁的获取和释放需要手动操作,syncronized是自动的
  • syncronized是JVM层面的,Lock是API层面的
  • syncronized非公平,Lock可以通过参数设置
  • syncronized锁的是对象,锁信息保存在对象头中,而Lock是通过state来标识锁的状态
  • syncronized底层有一个锁升级的过程
  • 都是来解决线程安全问题的

ReentrantLock

重入锁,互斥锁,基本Syncronized都可以用来代替
重入锁是用来解决死锁问题的。

package com.caozz.demo2.thread.concurrent;

import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

public class LockExample {

    static Lock lock=new ReentrantLock();  //取决于这个对象实例的范围(锁的范围)

    private static int count=0;
    public static void inc(){
        lock.lock();// 抢占锁 //如果没有抢占到锁,会阻塞,阻塞在lock方法里面
        try {
            Thread.sleep(1);
            count++;
        } catch (InterruptedException e) {
            e.printStackTrace();
        }finally {
            lock.unlock();//
        }
    }
    public static void main(String[] args) throws InterruptedException {
        for (int i = 0; i < 1000; i++) {
            new Thread(()->LockExample.inc(),"t-"+i).start();
        }
        Thread.sleep(3000);
        System.out.println("result:"+count);
    }
}

ReentrantLock的实现原理

满足互斥特性
意味着同一时刻,只允许一个线程进入到加锁的代码中
多线程环境下,线程的顺序访问。
猜测内部会有一个排号系统,来实现访问的顺序

锁的设计猜想

  • 一定会涉及到锁的抢占,需要一个标记来实现互斥,全局变量
    • 抢占到了锁,怎么处理?
      • 不需要处理,直接返回即可
    • 没有抢占到,怎么处理
      • 需要等待(让处于排队中的线程,如果没有抢占到锁,则直接先阻塞-->释放CPU资源)
        • 如何让线程等待?
          • wait/notify
          • LockSupport.park/unpark
          • Condition
      • 需要排队(允许有N个线程被阻塞,此时线程处于活跃状态)
        • 通过一个数据结构,把这N个排队的线程存储起来
    • 抢占到的锁,释放怎么处理
      • LockSupport.unpark() --> 唤醒处于队列中的制定线程
  • 锁抢占的公平性(是否允许插队)
    • 公平
    • 非公平

锁竞争的实现原理

private volatile int state;状态,或者重入次数,可为0,或者大于0(可能会重入多次)。

公平锁与非公平锁,体现的地方在于,当ThreadA 执行完释放锁后,会把state状态改为0,然后去唤醒队列里面的线程。而在改完状态之后,如果ThreadD 来了,那么公平锁的话,D会加入到队列,非公平锁,则D直接除参与竞争锁。此时可能D会竞争到锁导致B抢不到锁。

AQS

  • state (锁的状态 0代表未加锁,>0则代表已加锁,和重入次数)
  • exclusiveOwnerThread (拥有当前锁的线程)

公平锁与非公平锁

通过ReentrantLock 构造函数,可以看出其默认是非公平锁

  //Sync里面的方法,继承了AQS,有实现类FairSync,NonFairSync分别用来实现公平锁与非公平锁
    public void lock() {
        sync.lock();   
    }

    //AQS里面的方法
    public final void acquire(int arg) {
        if (!tryAcquire(arg) && //抢占锁失败,就去进行排队
            //加入队列并进行自旋等待
            acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
            selfInterrupt();
    }

  • 公平锁
        final void lock() {
            acquire(1);
        }

        //抢占一个标记,成功返回true,失败返回false
        //只有AQS队列没有排队的线程,才会去竞争,这是与非公平锁的区别
        protected final boolean tryAcquire(int acquires) {
            final Thread current = Thread.currentThread();
            int c = getState();
            //为什么不直接在state为0直接改状态?因为操作不是原子;为什么还要判断状态?双检锁
            if (c == 0) {                             //表示无锁状态
                if (!hasQueuedPredecessors() &&      //是否存在AQS队列,不存在才会去竞争锁
                    compareAndSetState(0, acquires)) {   //cas原子操作(底层也是通过加锁保证线程安全的)
                    setExclusiveOwnerThread(current);    //把获得锁的线程保存到exclusiveOwnerThread 
                    return true;
                }
            }
            //如果当前获得锁的线程和当前抢占锁的线程是同一个,则表示重入
            //此时当前线程已经获得锁,所以不用考虑并发
            else if (current == getExclusiveOwnerThread()) {
                int nextc = c + acquires;  // 增加重入次数
                if (nextc < 0)
                    throw new Error("Maximum lock count exceeded");
                setState(nextc);    // 保存State
                return true;
            }
            return false;
        }
  • 非公平锁
        final void lock() {
            //不管当前AQS队列中是否有排队的情况先去插队竞争
            //在前一个线程刚刚释放,队列的线程准备去抢占的临界点,非公平锁在此时竞争
            if (compareAndSetState(0, 1))
                setExclusiveOwnerThread(Thread.currentThread());
            else    //即使抢占失败,调用tryAcquire->nonfairTryAcquire时,一样没有做是否有线程等待,也是直接去竞争
                acquire(1);
        }
        protected final boolean tryAcquire(int acquires) {
            return nonfairTryAcquire(acquires);
        }
        final boolean nonfairTryAcquire(int acquires) {
            final Thread current = Thread.currentThread();
            int c = getState();
            if (c == 0) {
                if (compareAndSetState(0, acquires)) {
                    setExclusiveOwnerThread(current);
                    return true;
                }
            }
            else if (current == getExclusiveOwnerThread()) {
                int nextc = c + acquires;
                if (nextc < 0) // overflow
                    throw new Error("Maximum lock count exceeded");
                setState(nextc);
                return true;
            }
            return false;
        }

tryAcquire 抢占标记
公平锁的抢占多了一个条件, !hasQueuedPredecessors()

加入队列并进行自旋等待

acquireQueued(addWaiter(Node.EXCLUSIVE), arg)

  • addWaiter(Node.EXCLUSIVE) //添加一个互斥锁的节点
  • acquireQueued() //自旋锁和阻塞的操作
    private Node addWaiter(Node mode) {
        //把当前线程封装成一个Node节点
        //后续唤醒线程的时候,需要得到被唤醒的线程
        Node node = new Node(Thread.currentThread(), mode);
        // Try the fast path of enq; backup to full enq on failure
        //逻辑与enq类似,相当于尝试一次,如果未成功由enq来一直尝试
        Node pred = tail;
        if (pred != null) {
            node.prev = pred;
            if (compareAndSetTail(pred, node)) {
                pred.next = node;
                return node;
            }
        }
        enq(node);
        return node;
    }

    //通过尾插法,入队
    //head与tail为全局变量,表示队列的头尾节点
    private Node enq(final Node node) {
        for (;;) {    //自旋
            Node t = tail;
            //刚初始化的队列为空,tail尾节点为空
            if (t == null) { // Must initialize
                if (compareAndSetHead(new Node()))
                    tail = head;
            } else {
                //此时队列有值,t为原本的尾节点,node是这次要添加为尾节点的新的尾节点
                //将新的节点的前一个节点设置为尾节点
                node.prev = t;
                //将新节点node设置为新的尾节点
                if (compareAndSetTail(t, node)) {
                    //将老的尾节点的下一个节点设置为新的尾节点node
                    t.next = node;
                    return t;
                }
            }
        }
    }
    
    //node表示当前来抢占锁的线程,可鞥是队列里的任一线程
    final boolean acquireQueued(final Node node, int arg) {
        boolean failed = true;
        try {
            boolean interrupted = false;
            for (;;) {// 自旋

                //begin   ->尝试去获取锁,如果到 end结束,就相当于syncronized的轻量级锁,在不断的自旋
                final Node p = node.predecessor();  //当前节点的前置节点
                //此时也调用了tryAcquire,非公平锁在这里也会插队
                if (p == head && tryAcquire(arg)) {//如果返回true,则不需要等待,直接返回
                    setHead(node);
                    p.next = null; // help GC
                    failed = false;
                    return interrupted;
                }
                // end

                //否则,让线程去阻塞
                if (shouldParkAfterFailedAcquire(p, node) &&  //shouldParkAfterFailedAcquire是否应该在抢占失败后阻塞
                    parkAndCheckInterrupt())  //通过LockSupport.park来阻塞
                    interrupted = true;
            }
        } finally {
            if (failed)
                cancelAcquire(node);
        }
    }

        /** waitStatus value to indicate thread has cancelled */
        static final int CANCELLED =  1;
        /** waitStatus value to indicate successor's thread needs unparking */
        static final int SIGNAL    = -1;
        /** waitStatus value to indicate thread is waiting on condition */
        static final int CONDITION = -2;
        /**
         * waitStatus value to indicate the next acquireShared should
         * unconditionally propagate
         */
        static final int PROPAGATE = -3;

    private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {
        int ws = pred.waitStatus;//默认节点是0
        if (ws == Node.SIGNAL)  //可以安全的阻塞
            return true;
        if (ws > 0) {  //只有一个CANCELLED ,不需要抢占锁,所以通过循环,将这些节点丢弃
            do {
                node.prev = pred = pred.prev;//从后往前清理
            } while (pred.waitStatus > 0);
            pred.next = node;
        } else {
            compareAndSetWaitStatus(pred, ws, Node.SIGNAL);
        }
        return false;
    }

    private final boolean parkAndCheckInterrupt() {
        LockSupport.park(this);
        return Thread.interrupted();
    }

锁的释放

unlock方法,核心方法为unparkSuccessor(),为AQS里面的方法
先去修改状态,因为有可能存在重入

    public void unlock() {
        sync.release(1);
    }

    //AQS 方法
    public final boolean release(int arg) {
        if (tryRelease(arg)) {
            Node h = head;
            if (h != null && h.waitStatus != 0)
                unparkSuccessor(h);
            return true;
        }
        return false;
    }

        //ReentrantLock的方法
        protected final boolean tryRelease(int releases) {
            int c = getState() - releases;//重入情况下,可能还是大于0
            if (Thread.currentThread() != getExclusiveOwnerThread())
                throw new IllegalMonitorStateException();
            boolean free = false;
            if (c == 0) {
                free = true;
                setExclusiveOwnerThread(null);
            }
            //释放锁的过程,线程安全,因为还持有锁
            setState(c);
            return free;
        }

    private void unparkSuccessor(Node node) {
        int ws = node.waitStatus;
        if (ws < 0)   //表示可以唤醒状态,-2和-3与互斥锁无关
            compareAndSetWaitStatus(node, ws, 0);   //恢复成0

        Node s = node.next;
        if (s == null || s.waitStatus > 0) {//说明线程已经被销毁或出现异常,故将节点移除
            s = null;
            //从tail -> head进行遍历,因为在构建的时候是从prev往前,如果从head开始可能会造成队列不连续
            for (Node t = tail; t != null && t != node; t = t.prev)
                if (t.waitStatus <= 0) //只修改了prev节点状态,未修改自己,所以最后一个节点状态为0
                    s = t;
        }
        if (s != null)
            LockSupport.unpark(s.thread);  //封装在Node中被阻塞的线程
    }
欢迎大家留言,以便于后面的人更快解决问题!另外亦欢迎大家可以关注我的微信公众号,方便利用零碎时间互相交流。共勉!

标签:node,Node,int,Lock,线程,lock,原理,多线程,final
From: https://www.cnblogs.com/caozz/p/18383738/thread0004

相关文章

  • 11. HashSet的内部实现原理是什么?它如何保证元素不重复?
    HashSet是Java集合框架中的一个实现了Set接口的类,它用于存储不重复的元素。HashSet的内部实际上是基于HashMap来实现的。下面是HashSet的内部实现原理和它如何保证元素不重复的细节。1.HashSet的底层数据结构HashSet内部使用一个HashMap实例来存储元素。在HashSet中,每个添......
  • TCP并发服务器多线程和多进程方式以及几种IO模型
    1.阻塞I/O(BlockingI/O)在阻塞I/O模型中,当应用程序发起I/O操作时,整个进程会被阻塞,直到操作完成。在这个过程中,应用程序无法执行其他任务,必须等待I/O操作的完成。特点:简单性:编程简单,逻辑清晰,容易理解和实现。低效性:在高并发场景下,由于每个I/O操作都会阻塞整个进程,资......
  • 生动形象的解释计算机网络中隧道技术实现原理
    隧道技术是计算机网络中一种用于在不同网络之间传输数据的方法。隧道技术的实现原理可以类比于在现实生活中的地铁隧道系统。让我们通过一个生活中的例子来生动形象地解释隧道技术的实现原理。假设你现在在城市A,想要去很远的城市B。城市A和城市B之间有一座大山,无法直接穿越......
  • k8s网络原理之Calico
    什么是Calico:Calico是一个基于BGP的纯三层网络方案,其会为每个容器(pod)分配一个可路由的IP,在通信时不需要解包和拆包,因此网络性能损耗小,易于排查和水平扩展。Calico网络功能强大,可以与istio集成。CalicoIPIP模式与Vxlan类似,也是通过网络隧道技术实现的,与Vxlan的差别就是,VXLAN本质......
  • 生产者消费者模式,以及基于BlockingQueue的快速实现
    生产者消费者模式,以及基于BlockingQueue的快速实现什么是生产者消费者模式,简单来说就是有两个角色,一个角色主要负责生产数据,一个角色主要负责消费(使用)数据。那么生产者直接依赖消费者,然后直接调用是否可以?答案是可以的,但是有些场景无法及时解决,典型的就是生产者消费者的速度无法同......
  • debian12 用systemd和sway-lock实现锁屏后休眠
    systemd-inhibit--whatsleep--why"Lockscreen"--modedelayswaylock&systemctlhibernate命令解析systemd-inhibit--what=sleep--why="Lockscreen"--mode=delayswaylocksystemd-inhibit:这个命令用于阻止或延迟某些系统操作(如关机、重启、休眠等),直到指定的命......
  • TC10B薄型成品天窗气楼:通风原理解析(昱合昇)
    TC10B薄型成品天窗气楼,高度低、抗风压性能强,是现代工业厂房,尤其是沿海台风区比较常用的一类通风设备。TC10B薄型成品天窗气楼性价比高,安装布置位置灵活,既可以安装布置在屋脊位置,也可以进行顺坡布置或是跨屋脊布置。TC10B薄型成品天窗气楼在市场中的广泛应用,与其良好的通风性......
  • 多线程-interrupt
    多线程-interrupt中断一个线程非常简单,只需要在其他线程中对目标线程调用interrupt()方法,目标线程需要反复检测自身状态是否是interrupted状态,如果是,就立刻结束运行。1、案例一packagecom.example.one;/***@authortom*/publicclassMain{publicstatic......
  • 软件系统限流的底层原理解析
    小结:1、//FixedWindowCounter结构体实现固定窗口计数器限流算法。//mu用于同步访问,保证并发安全。//count记录当前时间窗口内的请求数量。//limit是时间窗口内允许的最大请求数量。//window记录当前时间窗口的开始时间。//duration是时间窗口的持续时间。type Fixe......
  • python aiohttp创建很多线程的问题及解决例子解析
    在使用aiohttp进行异步HTTP请求时,创建大量线程可能会导致性能问题。根据搜索结果,这个问题通常与DNS查询有关,因为默认情况下,每次发送请求时aiohttp.ClientSession都会进行DNS查询,这是一个阻塞操作,会为每次查询创建一个新线程。为了解决这个问题,可以通过指定一个AsyncR......