• Java中的显示锁ReentrantLock使用与原理(转)


    考虑一个场景,轮流打印0-100以内的技术和偶数。通过使用 synchronize 的 wait,notify机制就可以实现,核心思路如下:
    使用两个线程,一个打印奇数,一个打印偶数。这两个线程会共享一个数据,数据每次自增,当打印奇数的线程发现当前要打印的数字不是奇数时,执行等待,否则打印奇数,并将数字自增1,对于打印偶数的线程也是如此

    //打印奇数的线程

    //打印奇数的线程
    private static class OldRunner implements Runnable{
        private MyNumber n;
    
        public OldRunner(MyNumber n) {
            this.n = n;
        }
    
        public void run() {
            while (true){
                n.waitToOld();  //等待数据变成奇数
                System.out.println("old:" + n.getVal());
                n.increase();
                if (n.getVal()>98){
                    break;
                }
            }
        }
    }
    //打印偶数的线程
    private static class EvenRunner implements Runnable{
        private MyNumber n;
    
        public EvenRunner(MyNumber n) {
            this.n = n;
        }
    
        public void run() {
            while (true){
                n.waitToEven();            //等待数据变成偶数
                System.out.println("even:"+n.getVal());
                n.increase(); 
                if (n.getVal()>99){
                    break;
                }
            }
        }
    }

    共享的数据如下

    private static class MyNumber{
        private int val;
    
        public MyNumber(int val) {
            this.val = val;
        }
    
        public int getVal() {
            return val;
        }
        public synchronized void increase(){
            val++;
            notify(); //数据变了,唤醒另外的线程
        }
        public synchronized void  waitToOld(){
            while ((val % 2)==0){
                try {
                    System.out.println("i am "+Thread.currentThread().getName()+" ,but now is even:"+val+",so wait");
                    wait(); //只要是偶数,一直等待
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }
        public synchronized void waitToEven(){
            while ((val % 2)!=0){
                try {
                    System.out.println("i am "+Thread.currentThread().getName()+"  ,but now old:"+val+",so wait");
                    wait(); //只要是奇数,一直等待
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }
    }

    运行代码如下

    MyNumber n = new MyNumber(0);
    Thread old=new Thread(new OldRunner(n),"old-thread");
    Thread even = new Thread(new EvenRunner(n),"even-thread");
    old.start();
    even.start();


    运行结果如下

    i am old-thread ,but now is even:0,so wait
    even:0
    i am even-thread  ,but now old:1,so wait
    old:1
    i am old-thread ,but now is even:2,so wait
    even:2
    i am even-thread  ,but now old:3,so wait
    old:3
    i am old-thread ,but now is even:4,so wait
    even:4
    i am even-thread  ,but now old:5,so wait
    old:5
    i am old-thread ,but now is even:6,so wait
    even:6
    i am even-thread  ,but now old:7,so wait
    old:7
    i am old-thread ,but now is even:8,so wait
    even:8

    上述方法使用的是 synchronize的 wait notify机制,同样可以使用显示锁来实现,两个打印的线程还是同一个线程,只是使用的是显示锁来控制等待事件

    private static class MyNumber{
        private Lock lock = new ReentrantLock();
        private Condition condition = lock.newCondition();
        private int val;
    
        public MyNumber(int val) {
            this.val = val;
        }
    
        public int getVal() {
            return val;
        }
        public  void increase(){
            lock.lock();
            try {
                val++;
                condition.signalAll(); //通知线程
            }finally {
                lock.unlock();
            }
    
        }
        public  void  waitToOld(){
            lock.lock();
            try{
                while ((val % 2)==0){
                    try {
                        System.out.println("i am should print old ,but now is even:"+val+",so wait");
                        condition.await();
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }finally {
                lock.unlock();
            }
        }
        public void waitToEven(){
            lock.lock(); //显示的锁定
            try{
                while ((val % 2)!=0){
                    try {
                        System.out.println("i am should print even ,but now old:"+val+",so wait");
                        condition.await();//执行等待
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }finally {
                lock.unlock(); //显示的释放
            }
    
        }
    }

    同样可以得到上述的效果

    显示锁的功能
    显示锁在java中通过接口Lock提供如下功能


    lock: 线程无法获取锁会进入休眠状态,直到获取成功
    lockInterruptibly: 如果获取成功,立即返回,否则一直休眠到线程被中断或者是获取成功
    tryLock:不会造成线程休眠,方法执行会立即返回,获取到了锁,返回true,否则返回false
    tryLock(long time, TimeUnit unit) throws InterruptedException : 在等待时间内没有发生过中断,并且没有获取锁,就一直等待,当获取到了,或者是线程中断了,或者是超时时间到了这三者发生一个就返回,并记录是否有获取到锁
    unlock:释放锁
    newCondition:每次调用创建一个锁的等待条件,也就是说一个锁可以拥有多个条件
    Condition的功能
    接口Condition把Object的监视器方法wait和notify分离出来,使得一个对象可以有多个等待的条件来执行等待,配合Lock的newCondition来实现。

    await:使当前线程休眠,不可调度。这四种情况下会恢复 1:其它线程调用了signal,当前线程恰好被选中了恢复执行;2: 其它线程调用了signalAll;3:其它线程中断了当前线程 4:spurious wakeup (假醒)。无论什么情况,在await方法返回之前,当前线程必须重新获取锁
    awaitUninterruptibly:使当前线程休眠,不可调度。这三种情况下会恢复 1:其它线程调用了signal,当前线程恰好被选中了恢复执行;2: 其它线程调用了signalAll;3:spurious wakeup (假醒)。
    awaitNanos:使当前线程休眠,不可调度。这四种情况下会恢复 1:其它线程调用了signal,当前线程恰好被选中了恢复执行;2: 其它线程调用了signalAll;3:其它线程中断了当前线程 4:spurious wakeup (假醒)。5:超时了
    await(long time, TimeUnit unit) :与awaitNanos类似,只是换了个时间单位
    awaitUntil(Date deadline):与awaitNanos相似,只是指定日期之后返回,而不是指定的一段时间
    signal:唤醒一个等待的线程
    signalAll:唤醒所有等待的线程
    ReentrantLock
    从源码中可以看到,ReentrantLock的所有实现全都依赖于内部类Sync和ConditionObject。
    Sync本身是个抽象类,负责手动lock和unlock,ConditionObject则实现在父类AbstractOwnableSynchronizer中,负责await与signal
    Sync的继承结构如下


    Sync的两个实现类,公平锁和非公平锁

    公平的锁会把权限给等待时间最长的线程来执行,非公平则获取执行权限的线程与线程本身的等待时间无关

    默认初始化ReentrantLock使用的是非公平锁,当然可以通过指定参数来使用公平锁

    public ReentrantLock() {
       sync = new NonfairSync();
    }


    当执行获取锁时,实际就是去执行 Sync 的lock操作:

    public void lock() {
        sync.lock();
    }


    对应在不同的锁机制中有不同的实现

    公平锁实现

    final void lock() {
        acquire(1);
    }


    非公平锁实现

    final void lock() {
        if (compareAndSetState(0, 1)) //先看当前锁是不是已经被占有了,如果没有,就直接将当前线程设置为占有的线程
            setExclusiveOwnerThread(Thread.currentThread());
        else        
            acquire(1); //锁已经被占有的情况下,尝试获取
    }


    二者都调用父类AbstractQueuedSynchronizer的方法

    public final void acquire(int arg) {
        if (!tryAcquire(arg) &&
            acquireQueued(addWaiter(Node.EXCLUSIVE), arg)) //一旦抢失败,就会进入队列,进入队列后则是依据FIFO的原则来执行唤醒
            selfInterrupt();
    }


    当执行unlock时,对应方法在父类AbstractQueuedSynchronizer中

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


    公平锁和非公平锁则分别对获取锁的方式tryAcquire 做了实现,而tryRelease的实现机制则都是一样的

    公平锁实现tryAcquire
    源码如下

    protected final boolean tryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState(); //获取当前的同步状态
        if (c == 0) {
            //等于0 表示没有被其它线程获取过锁
            if (!hasQueuedPredecessors() &&
                compareAndSetState(0, acquires)) {
                //hasQueuedPredecessors 判断在当前线程的前面是不是还有其它的线程,如果有,也就是锁sync上有一个等待的线程,那么它不能获取锁,这意味着,只有等待时间最长的线程能够获取锁,这就是是公平性的体现
                //compareAndSetState 看当前在内存中存储的值是不是真的是0,如果是0就设置成accquires的取值。对于JAVA,这种需要直接操作内存的操作是通过unsafe来完成,具体的实现机制则依赖于操作系统。
                //存储获取当前锁的线程
                setExclusiveOwnerThread(current);
                return true;
            }
        }
        else if (current == getExclusiveOwnerThread()) {
            //判断是不是当前线程获取的锁
            int nextc = c + acquires;
            if (nextc < 0)//一个线程能够获取同一个锁的次数是有限制的,就是int的最大值
                throw new Error("Maximum lock count exceeded");
            setState(nextc); //在当前的基础上再增加一次锁被持有的次数
            return true;
        }
        //锁被其它线程持有,获取失败
        return false;
    }


    非公平锁实现tryAcquire
    获取的关键实现为nonfairTryAcquire,源码如下

    final boolean nonfairTryAcquire(int acquires) {
        final Thread current = Thread.currentThread();
        int c = getState();
        if (c == 0) {
            //锁没有被持有
            //可以看到这里会无视sync queue中是否有其它线程,只要执行到了当前线程,就会去获取锁
            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;
    }

    释放锁的机制

    protected final boolean tryRelease(int releases) {
        int c = getState() - releases;
        if (Thread.currentThread() != getExclusiveOwnerThread()) //只能是线程拥有这释放
            throw new IllegalMonitorStateException();
        boolean free = false;
        if (c == 0) {
            //当占有次数为0的时候,就认为所有的锁都释放完毕了
            free = true; 
            setExclusiveOwnerThread(null);
        }
        setState(c); //更新锁的状态
        return free;
    }


    从源码的实现可以看到

    ReentrantLock获取锁时,在锁已经被占有的情况下,如果占有锁的线程是当前线程,那么允许重入,即再次占有,如果由其它线程占有,则获取失败,由此可见,ReetrantLock本身对锁的持有是可重入的,同时是线程独占的。
    公平与非公平就体现在,当执行的线程去获取锁的时候,公平的会去看是否有等待时间比它更长的,而非公平的就优先直接去占有锁
    ReentrantLock的tryLock()与tryLock(long timeout, TimeUnit unit):

    public boolean tryLock() {
    //本质上就是执行一次非公平的抢锁
       return sync.nonfairTryAcquire(1); 
    }


    有时限的tryLock核心代码是 sync.tryAcquireNanos(1, unit.toNanos(timeout));,由于有超时时间,它会直接放到等待队列中,他与后面要讲的AQS的lock原理中acquireQueued的区别在于park的时间是有限的,详见源码 AbstractQueuedSynchronizer.doAcquireNanos

    为什么需要显示锁
    内置锁功能上有一定的局限性,它无法响应中断,不能设置等待的时间
    ————————————————
    版权声明:本文为CSDN博主「爬蜥」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
    原文链接:https://blog.csdn.net/weixin_39687783/article/details/84495381

  • 相关阅读:
    Redis宣言
    软件工程
    分布式编程
    编程泛型
    tcp/ip高效编程总结
    IP协议详解
    gevent程序员指南
    网站架构
    这些话,是乔布斯给世间留下的真正伟大礼物
    Flink/Spark 如何实现动态更新作业配置
  • 原文地址:https://www.cnblogs.com/wangbin2188/p/16550473.html
Copyright © 2020-2023  润新知