【漫画】JAVA并发编程 J.U.C Lock包之Reentra

作者: 胖滚猪学编程 | 来源:发表于2020-05-12 22:15 被阅读0次

原创声明：本文来源于公众号【胖滚猪学编程】转载请注明出处

在JAVA并发编程如何解决原子性问题的最后，我们卖了个关子，互斥锁不仅仅只有synchronized关键字，还可以用J.U.C中的Locks的包来实现，并且它非常强大！今天就来一探究竟吧！

image

ReentrantLock

顾名思义，ReentrantLock叫做可重入锁，所谓可重入锁，顾名思义，指的是线程可以重复获取同一把锁。

ReentrantLock也是互斥锁，因此也可以保证原子性。

先写一个简单的demo上手吧，就拿原子性问题中两个线程分别做累加的demo为例，现在使用ReentrantLock来改写：

    private void add10K() {
        // 获取锁
        reentrantLock.lock();
        try {
            int idx = 0;
            while (idx++ < 10000) {
                count++;
            }
        } finally {
            // 保证锁能释放
            reentrantLock.unlock();
        }

    }

ReentrantLock在这里可以达到和synchronized一样的效果，为了方便你回忆，我再次把synchronized实现互斥的代码贴上来：

    private synchronized void add10K(){
        int start = 0;
        while (start ++ < 10000){
            this.count ++;
        }
    }

ReentrantLock与synchronized的区别

1、重入
synchronized可重入，因为加锁和解锁自动进行，不必担心最后是否释放锁；ReentrantLock也可重入，但加锁和解锁需要手动进行，且次数需一样，否则其他线程无法获得锁。

2、实现
synchronized是JVM实现的、而ReentrantLock是JDK实现的。说白了就是，是操作系统来实现，还是用户自己敲代码实现。

3、性能
在 Java 的 1.5 版本中，synchronized 性能不如 SDK 里面的 Lock，但 1.6 版本之后，synchronized 做了很多优化，将性能追了上来。

4、功能
ReentrantLock锁的细粒度和灵活度，都明显优于synchronized ，毕竟越麻烦使用的东西肯定功能越多啦！

特有功能一：可指定是公平锁还是非公平锁，而synchronized只能是非公平锁。

公平的意思是先等待的线程先获取锁。可以在构造函数中指定公平策略。

    // 分别测试为true 和 为false的输出。为true则输出顺序一定是A B C 但是为false的话有可能输出A C B
    private static final ReentrantLock reentrantLock = new ReentrantLock(true);
    public static void main(String[] args) throws InterruptedException {
        ReentrantLockDemo2 demo2 = new ReentrantLockDemo2();
        Thread a = new Thread(() -> { test(); }, "A");
        Thread b = new Thread(() -> { test(); }, "B");
        Thread c = new Thread(() -> { test(); }, "C");
        a.start();b.start();c.start();

    }
    public static void test() {
        reentrantLock.lock();
        try {
            System.out.println("线程" + Thread.currentThread().getName());
        } finally {
            reentrantLock.unlock();//一定要释放锁
        }
    }

在原子性文章的最后，我们还卖了个关子，以转账为例，说明synchronized会导致死锁的问题，即两个线程你等我的锁，我等你的锁，两方都阻塞，不会释放！为了方便，我再次把代码贴上来：

    static void transfer(Account source,Account target, int amt) throws InterruptedException {
        // 锁定转出账户  Thread1锁定了A Thread2锁定了B
        synchronized (source) {
            Thread.sleep(1000);
            log.info("持有锁{} 等待锁{}",source,target);
            // 锁定转入账户  Thread1需要获取到B,可是被Thread2锁定了。Thread2需要获取到A，可是被Thread1锁定了。所以互相等待、死锁
            synchronized (target) {
                if (source.getBalance() > amt) {
                    source.setBalance(source.getBalance() - amt);
                    target.setBalance(target.getBalance() + amt);
                }
            }
        }
    }

而ReentrantLock可以完美避免死锁问题，因为它可以破坏死锁四大必要条件之一的：不可抢占条件。这得益于它这么几个功能：

特有功能二：非阻塞地获取锁。如果尝试获取锁失败，并不进入阻塞状态，而是直接返回false，这时候线程不用阻塞等待，可以先去做其他事情。所以不会造成死锁。

// 支持非阻塞获取锁的 API 
boolean tryLock();

现在我们用ReentrantLock来改造一下死锁代码

    static void transfer(Account source, Account target, int amt) throws InterruptedException {
        Boolean isContinue = true;
        while (isContinue) {
            if (source.getLock().tryLock()) {
                log.info("{}已获取锁 time{}", source.getLock(),System.currentTimeMillis());
                try {
                    if (target.getLock().tryLock()) {
                        log.info("{}已获取锁 time{}", target.getLock(),System.currentTimeMillis());
                        try {
                            log.info("开始转账操作");
                            source.setBalance(source.getBalance() - amt);
                            target.setBalance(target.getBalance() + amt);
                            log.info("结束转账操作 source{} target{}", source.getBalance(), target.getBalance());
                            isContinue=false;
                        } finally {
                            log.info("{}释放锁 time{}", target.getLock(),System.currentTimeMillis());
                            target.getLock().unlock();
                        }
                    }
                } finally {
                    log.info("{}释放锁 time{}", source.getLock(),System.currentTimeMillis());
                    source.getLock().unlock();
                }
            }
        }
    }

tryLock还支持超时。调用tryLock时没有获取到锁，会等待一段时间，如果线程在一段时间之内还是没有获取到锁，不是进入阻塞状态，而是throws InterruptedException，那这个线程也有机会释放曾经持有的锁，这样也能破坏死锁不可抢占条件。
boolean tryLock(long time, TimeUnit unit)

特有功能三：提供能够中断等待锁的线程的机制

synchronized 的问题是，持有锁 A 后，如果尝试获取锁 B 失败，那么线程就进入阻塞状态，一旦发生死锁，就没有任何机会来唤醒阻塞的线程。

但如果阻塞状态的线程能够响应中断信号，也就是说当我们给阻塞的线程发送中断信号的时候，能够唤醒它，那它就有机会释放曾经持有的锁 A。这样就破坏了不可抢占条件了。ReentrantLock可以用lockInterruptibly方法来实现。

    public static void main(String[] args) throws InterruptedException {
        ReentrantLockDemo5 demo2 = new ReentrantLockDemo5();
        Thread th1 = new Thread(() -> {
            try {
                deadLock(reentrantLock1, reentrantLock2);
            } catch (InterruptedException e) {
                System.out.println("线程A被中断");
            }
        }, "A");
        Thread th2 = new Thread(() -> {
            try {
                deadLock(reentrantLock2, reentrantLock1);
            } catch (InterruptedException e) {
                System.out.println("线程B被中断");
            }
        }, "B");
        th1.start();
        th2.start();
        th1.interrupt();

    }


    public static void deadLock(Lock lock1, Lock lock2) throws InterruptedException {
        lock1.lockInterruptibly(); //如果改成用lock那么是会一直死锁的
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        lock2.lockInterruptibly();
        try {
            System.out.println("执行完成");
        } finally {
            lock1.unlock();
            lock2.unlock();
        }

    }

特有功能四、可以用J.U.C包中的Condition实现分组唤醒需要等待的线程。而synchronized只能notify或者notifyAll。这里涉及到线程之间的协作，在后续章节会详细讲解，敬请关注公众号【胖滚猪学编程】。

ReentrantLock如何保证可见性

刚刚我们证明了ReentrantLock能保证原子性，那可以保证可见性吗？答案是必须的。

回忆下JAVA并发编程如何解决可见性和有序性问题。我们说 Java 里多线程的可见性是通过 Happens-Before 规则保证的，比如 synchronized 之所以能够保证可见性，也是因为有一条 synchronized 相关的规则：synchronized 的解锁 Happens-Before 于后续对这个锁的加锁。

那 Java SDK 里面 Lock 靠什么保证可见性呢？Java SDK 里面锁的实现非常复杂，但是原理还是需要简单介绍一下：它是利用了 volatile 相关的 Happens-Before 规则。

ReentrantLock的同步其实是委托给AbstractQueuedSynchronizer的。加锁和解锁是通过改变AbstractQueuedSynchronizer的state属性，这个属性是volatile的。

image

获取锁的时候，会读写 state 的值；解锁的时候，也会读写 state 的值。类比volatile是如何保证可见性的就可以解决这个问题了！如果不清楚可以回顾一下【漫画】JAVA并发编程如何解决可见性和有序性问题

总结

synchronized 在JVM层面实现了对临界资源的同步互斥访问，但 synchronized 粒度有些大，在处理实际问题时存在诸多局限性，比如响应中断等。

Lock 提供了比 synchronized更广泛的锁操作，它能以更优雅更灵活的方式处理线程同步问题。

我们以ReentrantLock为例子进入了Lock的世界，**最重要的是记住ReentrantLock的特有功能，比如中断、超时、非阻塞锁等。当你的需求符合这些特有功能的时候，那你只能选择Lock而不是synchronized **

附文中代码github地址：https://github.com/LYL41011/java-concurrency-learning

原创声明：本文来源于公众号【胖滚猪学编程】转载请注明出处

本文转载自公众号【胖滚猪学编程】用漫画让编程so easy and interesting！欢迎关注！

【漫画】JAVA并发编程 J.U.C Lock包之Reentra

ReentrantLock

ReentrantLock与synchronized的区别

ReentrantLock如何保证可见性

总结

相关文章

网友评论

延伸阅读

深度阅读

栏目导航

热点阅读