对于并发工作,你需要某种方式来防止两个任务访问相同的资源,至少在关键阶段不能出现这种冲突情况。防止这种冲突的方法就是当资源被一个任务使用时,在其上加锁。在前面的文章--synchronized学习中,我们学习了Java中内建的同步机制synchronized的基本用法,在本文中,我们来学习Java中另一种锁ReentrantLock。

ReentrantLock介绍

  ReentrantLock,通常译为再入锁,是Java 5中新加入的锁实现,它与synchronized基本语义相同。再入锁通过代码直接调用lock()方法获取,代码书写更加灵活。与此同时,ReentrantLock提供了很多实用的方法,能够实现很多synchronized无法做到的细节控制,比如可以控制fairness,也就是公平性,或者利用定义条件等。但是,编码中也需要注意,必须要明确调用unlock()方法释放锁,不然就会一直持有该锁。

  我们先看一个简单例子体验一下:

public class ReLockTest {

    private Lock lock = new ReentrantLock();

    public int shareState;

    public void add() {
shareState ++ ;
} public void printState() {
System.out.println("shareState-->" + shareState);
} public static void main(String[] args) throws Exception{
ReLockTest reLockTest = new ReLockTest();
Thread t1 = new Thread(()->{
for(int i = 0; i<10000 ; i++)
reLockTest.add();
});
Thread t2 = new Thread(()->{
for(int i = 0; i<10000 ; i++)
reLockTest.add();
});
t1.start();
t2.start();
t1.join();
t2.join();
Thread.sleep(2000);
reLockTest.printState();
}
} /** 输出结果
* shareState-->14012
*/

  我们看到输出结果小于20000,这就是线程不安全,我们加上同步之后再看结果:

public class ReLockTest {

    private Lock lock = new ReentrantLock();

    public int shareState;

    public void add() {
lock.lock();
try {
shareState ++ ;
}catch(Exception e) {
e.printStackTrace();
}finally {
lock.unlock();
}
} public void printState() {
System.out.println("shareState-->" + shareState);
} public static void main(String[] args) throws Exception{
ReLockTest reLockTest = new ReLockTest();
Thread t1 = new Thread(()->{
for(int i = 0; i<10000 ; i++)
reLockTest.add();
});
Thread t2 = new Thread(()->{
for(int i = 0; i<10000 ; i++)
reLockTest.add();
});
t1.start();
t2.start();
t1.join();
t2.join();
Thread.sleep(2000);
reLockTest.printState();
}
}
/** 输出结果
* shareState-->20000
*/

  

  我们看到在将自增操作上锁之后,输出结果就达到预期了。这就是ReentrantLock的基本用法,为了保证锁释放,每个lock()动作都对应一个try-catch-finally,这可以说是一个惯用法:

ReentrantLock lock = new ReentrantLock();
lock.lock();
try {
// do something
} finally {
lock.unlock();
}

ReentrantLock用法

  ReentrantLock相比synchronized,虽然所需的代码比synchronized关键字要多,但也是因为可以像普通对象一样使用,所以可以利用其提供的各种便利方法,进行精细的同步操作,甚至是synchronized难以表达的用例,如:

带超时的获取锁尝试

  通过tryLock(long timeout, TimeUnit unit)方法实现,这是一个具有超时参数的尝试申请锁的方法,阻塞时间不会超过给定的值;如果成功则返回true。

可以指定公平性

  在创建ReentrantLock对象时往构造器中传入true即指定创建公平锁,这里所谓的公平是指在竞争场景中,当公平性为真时,会倾向于将锁赋予等待时间最久的线程。公平性是减少线程“饥饿”(个别线程长期等待锁,但始终无法获取)情况的发生的一个办法。

  如果使用synchronized,我们根本无法进行公平性的选择,其永远是不公平的,这也是主流操作系统线程调度的选择。通用场景中,公平性未必有想象中的那么重要,Java默认的调度策略很少会导致“饥饿”发生。与此同时,若要保证公平性则会引入额外开销,自然会导致一定的吞吐量下将。所以,只有当程序确实有公平性需要的时候,才有必要指定它。

可以响应中断请求

  通过lockInterruptibly()获得锁,但是会不确定地发生阻塞。如果线程被中断,抛出一个InterruptedException异常。

可以创建条件变量,将复杂晦涩的同步操作转变为直观可控的对象行为

  如果说ReentrantLock是synchronized的替代选择,Conition则是将wait、notify、notifyAll等操作转化为相应的对象,将复杂而晦涩的同步操作转变为直观可控的对象行为。

  可以通过Condition上调用await()来挂起一个任务,当外部条件发生变化,你可以通过调用signal()来通知这个任务,从而唤醒一个任务,或者调用signAll()来唤醒所有在这个Condition上被其自身挂起的任务,这是Condition最常见的用法。一个典型的应用场景就是标准类库中的ArrayBlockingQueue,下面我们结合部分其源码来分析一下:

  首先,在构造函数中初始化lock,在从lock中创建两个条件变量Condition分别是notEmpty和notFull。

/** Main lock guarding all access */
final ReentrantLock lock; /** Condition for waiting takes */
private final Condition notEmpty; /** Condition for waiting puts */
private final Condition notFull; public ArrayBlockingQueue(int capacity, boolean fair) {
if (capacity <= 0)
throw new IllegalArgumentException();
this.items = new Object[capacity];
lock = new ReentrantLock(fair);
notEmpty = lock.newCondition();
notFull = lock.newCondition();
}

  然后在take方法中,判断和等待条件满足:

public E take() throws InterruptedException {
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
while (count == 0)
notEmpty.await();
return dequeue();
} finally {
lock.unlock();
}
}

  在take方法中,如果队列为空,ArrayBlockingQueue的本义是获取对象的线程会阻塞,等待入队的发生,而不是直接返回,代码中是通过调用Condition的await方法来实现的,而当有元素入队之后又是如何触发被阻塞的take操作的呢?我们看看enqueue:

private void enqueue(E x) {
// assert lock.getHoldCount() == 1;
// assert items[putIndex] == null;
final Object[] items = this.items;
items[putIndex] = x;
if (++putIndex == items.length)
putIndex = 0;
count++;
notEmpty.signal();  // 通知等待的线程
}

  最后一行代码中就是通知等待的线程,这行执行结束后,被take阻塞的线程就会继续执行了。

  通过signal/await的组合,完成了条件判断和通知等待线程,非常顺畅就完成了状态流转。signal和await成对调用非常重要,不然假设只有await动作,线程会一直等待直到被打断(interrupt)。

ReentrantLock与Synchronized

  使用synchronized关键字时,需要写的代码量更少,而ReentrantLock的使用往往和try-catch-finally一起配套使用,代码量增加了。

  从性能角度,synchronized早期的实现比较低效,对比ReentrantLock,大多数场景性能都相差较大。但是在Java 6中对其进行了非常多的改进(可以参考synchronized底层实现学习),在高竞争情况下,ReentrantLock仍然有一定优势。

  我们知道synchronized获取的锁是monitor对象,而ReentrantLock获取的锁是什么呢,是否也是同一把锁呢?下文中,我们会深入源码去探究ReentrantLock获取锁的实现细节。

ReentrantLock学习的更多相关文章

  1. java并发之ReentrantLock学习理解

    简介 java多线程中可以使用synchronized关键字来实现线程间同步互斥,但在jdk1.5中新增加了ReentrantLock类也能实现同样的效果,并且在扩展功能上也更加强大,比如具有嗅探锁定 ...

  2. ReentrantLock 学习笔记

    有篇写的很不错的博客:https://blog.csdn.net/aesop_wubo/article/details/7555956    基于JDK1.8 参考着看源码 ,弄清楚lock()和un ...

  3. ReentrantLock 学习

    Java接口Lock有三个实现类:ReentrantLock.ReentrantReadWriteLock.ReadLock和ReentrantReadWriteLock.WriteLock.Lock ...

  4. ReentrantLock学习笔记

    参考:https://www.jianshu.com/p/4358b1466ec9 前言: 先来想象一个场景:手把手的进行锁获取和释放,先获得锁A,然后再获取锁B,当获取锁B后释放锁A同时获取锁C,当 ...

  5. Java并发编程总结3——AQS、ReentrantLock、ReentrantReadWriteLock(转)

    本文内容主要总结自<Java并发编程的艺术>第5章——Java中的锁. 一.AQS AbstractQueuedSynchronizer(简称AQS),队列同步器,是用来构建锁或者其他同步 ...

  6. Java并发编程总结3——AQS、ReentrantLock、ReentrantReadWriteLock

    本文内容主要总结自<Java并发编程的艺术>第5章——Java中的锁. 一.AQS AbstractQueuedSynchronizer(简称AQS),队列同步器,是用来构建锁或者其他同步 ...

  7. ThreadLocal使用和原理简析

    1. 解决共享资源冲突 对于并发工作,需要某种方式来防止两个任务同时访问相同的资源,至少在关键阶段不能出现这种冲突情况. 方法之一就是当资源被一个任务使用时,在其上加锁.第一个访问某项资源的任务必须锁 ...

  8. JUC之AQS

    AbstractQueuedSynchronizer(AQS) AQS是并发容器里的同步器,从jdk1.5开始引入了并发包,java.util.concurrent,提供了一个基于first in f ...

  9. ReentrantLock原理学习

    上文我们学习了ReentrantLock的基本用法,在最后我们留下了一个问题,ReentrantLock获取的锁是什么锁呢?本文我们就从源码的角度来一探究竟.本文涉及到的源码对应JDK版本为1.8. ...

随机推荐

  1. 《Spark大数据处理》---Spark原理

  2. Vray

    VRay是由chaosgroup和asgvis公司出品,中国由曼恒公司负责推广的一款高质量渲染软件.

  3. Java IO 整理

    1.Java IO中的操作类之间的继承关系 2.在java中使用File类表示文件本身,可以直接使用此类完成文件的各种操作,如创建.删除 3.RandomAccessFile类可以从指定位置开始读取数 ...

  4. Java的四种引用——强引用、软引用、弱引用、虚引用

    目录 强引用 软引用 弱引用 虚引用 强引用 拥有强引用的对象永远不会被GC,可以根据引用的get方法获取到被引用对象 软引用 在内存充足的额时候,拥有软引用的对象不会被GC:即将内存溢出的时候,会对 ...

  5. nodejs编译遇到的问题

    src\node_contextify.cc:631: Assertion 'args[1]->IsString()' failed. node 10 版本会出现这个问题, 安装natives后 ...

  6. [转]XModem协议

    出处:XModem协议 XModem协议介绍:XModem是一种在串口通信中广泛使用的异步文件传输协议,分为XModem和1k-XModem协议两种,前者使用128字节的数据块,后者使用1024字节即 ...

  7. let和const

    ES6新增了let取代var,let主要有以下特点. 1 只在代码块内有效,代码块外不能使用let声明的变量.let很适合声明循环体的变量. 它可以解决一些闭包的问题存在的问题比如: var a = ...

  8. unittest测试用例的执行顺序

    unittest的测试顺序为:有几个测试用例,测试固件就会执行多少次. 例如:只有一个测试用例时: setup--testcase1--teardown import unittest class F ...

  9. Hadoop 集群安装(主节点安装)

    1.下载安装包及测试文档 切换目录到/tmp view plain copy cd /tmp 下载Hadoop安装包 view plain copy wget http://192.168.1.100 ...

  10. 【MyBatis源码分析】环境准备

    前言 之前一段时间写了[Spring源码分析]系列的文章,感觉对Spring的原理及使用各方面都掌握了不少,趁热打铁,开始下一个系列的文章[MyBatis源码分析],在[MyBatis源码分析]文章的 ...