.title { text-align: center }
.todo { font-family: monospace; color: red }
.done { color: green }
.tag { background-color: #eee; font-family: monospace; padding: 2px; font-size: 80%; font-weight: normal }
.timestamp { color: #bebebe }
.timestamp-kwd { color: #5f9ea0 }
.right { margin-left: auto; margin-right: 0px; text-align: right }
.left { margin-left: 0px; margin-right: auto; text-align: left }
.center { margin-left: auto; margin-right: auto; text-align: center }
.underline { text-decoration: underline }
#postamble p,#preamble p { font-size: 90%; margin: .2em }
p.verse { margin-left: 3% }
pre { border: 1px solid #ccc; padding: 8pt; font-family: monospace; overflow: auto; margin: 1.2em }
pre.src { position: relative; overflow: visible; padding-top: 1.2em }
pre.src::before { display: none; position: absolute; background-color: white; top: -10px; right: 10px; padding: 3px; border: 1px solid black }
pre.src:hover::before { display: inline }
pre.src-sh::before { content: "sh" }
pre.src-bash::before { content: "sh" }
pre.src-emacs-lisp::before { content: "Emacs Lisp" }
pre.src-R::before { content: "R" }
pre.src-perl::before { content: "Perl" }
pre.src-java::before { content: "Java" }
pre.src-sql::before { content: "SQL" }
table { border-collapse: collapse }
caption.t-above { caption-side: top }
caption.t-bottom { caption-side: bottom }
td,th { vertical-align: top }
th.right { text-align: center }
th.left { text-align: center }
th.center { text-align: center }
td.right { text-align: right }
td.left { text-align: left }
td.center { text-align: center }
dt { font-weight: bold }
.footpara:nth-child(0n+2) { display: inline }
.footpara { display: block }
.footdef { margin-bottom: 1em }
.figure { padding: 1em }
.figure p { text-align: center }
.inlinetask { padding: 10px; border: 2px solid gray; margin: 10px; background: #ffffcc }
#org-div-home-and-up { text-align: right; font-size: 70%; white-space: nowrap }
textarea { }
.linenr { font-size: smaller }
.code-highlighted { background-color: #ffff00 }
.org-info-js_info-navigation { border-style: none }
#org-info-js_console-label { font-size: 10px; font-weight: bold; white-space: nowrap }
.org-info-js_search-highlight { background-color: #ffff00; color: #000000; font-weight: bold }
code { color: #FF0000 }
pre.src { background-color: #002b36; color: #839496 }
Java并发编程:Concurrent锁机制解析
Table of Contents
- 1. Lock
- 2. ReentrantLock
- 3. ReadWriteLock
- 4. ReentrantReadWriteLock
前面,我们讲了Java自带的对象锁机制。因为我们的方法必然是在一个对象中的,所以,通过对象的锁,可以很好的控制对方法的调用。当对象的锁被一个线程持有后,其他线程想要调用该对象的该方法,就必须进入等待池,等待当前线程执行完毕后,由系统来决定选中谁接下来继续执行。这种方法非常的直观,原理也非常的清晰。
那么,Doug Lea为什么会额外再开发一个并行包呢?
首先,我们从他的Lock锁来看一下,这么做带来的好处。
我觉得最主要的好处是:
- Lock可以查询到更多的信息,包括当前持有的线程,排队等待的线程数量等,这一点很关键,极大的提高了适用范围,这是后面很多的并发类的基础;
- 读写锁的分离,相当于在原有的独占锁的基础上,增加了共享锁。对于不需要同步的方法,使用共享锁,所有线程可以同时调用,仅对外部方法进行同步,这一点可以极大的提高性能。
1 Lock
Concurrent包中的Lock只是一个接口类,本身并没有实现。它定义了三个主要的方法,lock(),unlock(),newCondition()。lock()用于线程获取锁,执行到该方法时,如果锁没有被线程占有,则把锁分配给线程,如果已经分配,则等待;unlock()用于解除线程锁定;newCondition()用于创建条件。线程获取锁还有三种其他的方式,如是获取之后是否可以被中断,以试探的方式去获取锁等。
public interface Lock { void lock(); void lockInterruptibly() throws InterruptedException; boolean tryLock(); boolean tryLock(long time, TimeUnit unit) throws InterruptedException; void unlock(); Condition newCondition(); }
2 ReentrantLock
ReentrantLock是对Lock接口类的一种实现,本质是一种独占锁。使用一个state来保存一个线程调用lock()的次数。当state为0时,锁可以被线程持有,持有之后将state改为1,这样其他线程就不能再次获得该锁了,只有该线程可以再次持有,这就是重入,也就是这个锁的名字的由来。当该线程调用unlock()时,state值减1,直到state再次等于0,表示该线程完全释放了锁。
这个状态量是用一个int来保存的,并且当值超过int表示的最大正整数,就会溢出变为负数,小于0就会报错。所以,同一个锁最多能重入Integer.MAX_VALUE次,也就是2147483647。
int nextc = c + acquires; if (nextc < 0) throw new Error("Maximum lock count exceeded");
至于底层的实现方式,如果看过源代码的话,就会发现基本上是基于CAS实现的,就是compare and swap。就是有一个期望值,当比较当前值与期望值是否相等,当相等时,将值进行更新。所以,当多个线程同时去改变一个值的时候,肯定只有一个线程是可以成功的。因为,这些线程的期望值肯定都是一样的,当其中一个线程修改值之后,其他线程的期望值就对比不成功了。所以,每次最多一个线程能够执行成功。
3 ReadWriteLock
ReadWriteLock同样是一个接口类,有两个方法,分别返回一个读锁和一个写锁,但它们共用一个AQS队列。
Lock readLock(); Lock writeLock();
4 ReentrantReadWriteLock
读写锁的分离意义太重大了,因为很多时候,我们大部分的操作都是在读数据,只有少数情况是需要写数据,如果直接使用同步或者是重入锁,那么性能和效率会非常低。
读锁和写锁有本质的区别,读锁是共享锁,写锁是独占锁。
- 读操作其实是不需要同步的,只有当写操作在进行中时才需要同步等待,所以当没有写操作时,是空锁,所有线程可以同时调用。
- 写操作是必须同步的,所以,一次只有一个线程可以占有写锁。
- 读锁和写锁不能同时被持有,不管是单个线程还是不同的线程。当有读锁在读数据时,写锁也是不能被持有的,必须等待所有的读操作完成,再获得写锁。同样,当写锁被持有时,读锁也不能被持有。
实际上,读锁和写锁是共用一个AQS队列,状态量state也是共用一个。低16位表示写锁,高16位表示读锁。所以,写锁和读锁的可重入数最多锁65535个。
不同的是,获取锁的方式不同:
// 读锁获取锁的方式,是获取共享锁 public void lock() { sync.acquireShared(1); } // 写锁获取锁的方式,是获取独占锁 public void lock() { sync.acquire(1); }
Date: 2017-07-08 10:22
Author: WEN YANG
Created: 2017-07-09 Sun 23:16
Emacs 25.2.1 (Org mode 8.2.10)