Java Concurrent ReentrantReadWriteLock(Java 10)

前言

首先明确一点,ReentrantReadWriteLock 指的并不是一个锁,而是管理着读锁&写锁这样的一组锁,读锁是可共享的(shared),写锁是独占的。这么设计是有原因的,读操作之前互不影响,而写操作需要确保对于读操作是完整且结果可见的。其中ReentrantReadWriteLock实现上跟ReentrantLock类似,可选择公平&非公平,可重入等,里面持有的readlock和writelock都持有继承自AQS的Sync,依赖于AQS实现对应的功能。

public class ReentrantReadWriteLock
        implements ReadWriteLock, java.io.Serializable {
    private static final long serialVersionUID = -6992448646407690164L;
    /** Inner class providing readlock */
    private final ReentrantReadWriteLock.ReadLock readerLock;
    /** Inner class providing writelock */
    private final ReentrantReadWriteLock.WriteLock writerLock;
    /** Performs all synchronization mechanics */
    final Sync sync;

使用

使用上,我们可以定义一个ReentrantLock来获取对应的ReadLock及WriteLock完成对应的功能,下面是一个简单的demo,可以执行一下,看一下具体的效果。

demo

public class ReadWriteLockDemo {
    static SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss.SSS");
    public static void main(String[] args) {
        Data data = new Data();
        Worker t1 = new Worker(data, false);
        //写
        Worker t2 = new Worker(data, true);
        //读
        Worker t3 = new Worker(data, true);
        //读
        t1.start();
        t2.start();
        t3.start();
    }
    static class Worker extends Thread {
        Data data;
        Boolean read;
        public Worker(Data data, Boolean read) {
            this.data = data;
            this.read = read;
        }
        public void run() {
            if (read)
                data.read(); else
                data.write();
        }
    }
    static class Data {
        ReadWriteLock lock = new ReentrantReadWriteLock();
        Lock read = lock.readLock();
        Lock write = lock.writeLock();
        public void write() {
            try {
                Thread.sleep(2000);
                //
            }
            catch (Exception e) {
            }
            write.lock();
            System.out.println(Thread.currentThread() + " write:begin "
                    + sdf.format(new Date()));
            try {
                Thread.sleep(5000);
                //
            }
            catch (Exception e) {
            }
            finally {
                System.out.println(Thread.currentThread() + " write:end "
                        + sdf.format(new Date()));
                write.unlock();
            }
        }
        public int read() {
            read.lock();
            System.out.println(Thread.currentThread()+ " read :begin "
                    + sdf.format(new Date()));
            try {
                Thread.sleep(5000);
                //
            }
            catch (Exception e) {
            }
            finally {
                System.out.println(Thread.currentThread() + " read :end "
                        + sdf.format(new Date()));
                read.unlock();
            }
            return 1;
        }
    }
}

说原理之前先说结论:

取锁:

1、如果当前没有写锁或读锁时,第一个获取锁的线程都会成功。
2、如果当前已经有了读锁,那么这时获取写锁将失败,获取读锁有可能成功也有可能失败。
3、如果当前已经有了写锁,那么这时获取读锁或写锁,如果线程相同(可重入),那么成功

释放:

1、如果当前是写锁被占有了,只有当写锁的标示数据降为0时才认为释放成功,否则失败。因为只要有写锁,那么除了占有写锁的那个线程,其他线程即不可以获得锁。
2、如果当前是读锁被占有了,那么只有在写锁的个数为0时才认为释放成功。

原理

与Reentrant相同的实现部分不做介绍,主要说不同之处:
读写锁里面存在这样几个静态内部类:
Sync entends AQS(内含:ThreadLocalHoldCounter extends ThreadLocal、HoldCounter)、FairLock extends SyncNonFairLock extends SyncReadLockWriteLoc、(其中ReadLock、WriteLock 分别持有一个Sync)在Sync中维护了Read和Write的使用之间的关系,并且Read、Write全部依赖于Sync中的逻辑,内部类中并没有具体的逻辑实现,所以说看整个ReentrantReadWriteLock 看Sync的核心实现就OK了。

Sync

内部state分为两个无符号的short,读锁锁定的高16位,低16位为写锁锁定,以这个为基础维护读锁及写锁之间的关系:
并且内部维持这些静态属性:

static final int SHARED_SHIFT   = 16;
static final int SHARED_UNIT    = (1 << SHARED_SHIFT);
static final int MAX_COUNT      = (1 << SHARED_SHIFT) - 1;
static final int EXCLUSIVE_MASK = (1 << SHARED_SHIFT) - 1;
WriteLock

state变量的低16位,当state低16位为0,表示当前写锁没有被占有,反之表示写锁被某个写线程占有。
占用条件&过程
1、读锁未被占用(state高16位为0) ,写锁未被占用(state低16位为0)或 占用写锁的线程是当前线程
2、writerShouldBlock()方法返回false,即不阻塞写线程
3、写锁占有量小于最大值(2^16 -1),否则抛出Error("Maximum lock count exceeded")
4、通过CAS竞争将写锁状态+1(将state低16位同步+1)

protected final boolean tryAcquire(int acquires) {
    Thread current = Thread.currentThread();
    int c = getState();
    int w = exclusiveCount(c);
    if (c != 0) {
        // (Note: if c != 0 and w == 0 then shared count != 0)
        if (w == 0 || current != getExclusiveOwnerThread())
            return false;
        if (w + exclusiveCount(acquires) > MAX_COUNT)
            throw new Error("Maximum lock count exceeded");
        // Reentrant acquire
        setState(c + acquires);
        return true;
    }
    if (writerShouldBlock() ||
        !compareAndSetState(c, c + acquires))
        return false;
    setExclusiveOwnerThread(current);
    return true;
}

释放过程:
写锁的释放过程是state低16位同步递减为0的过程,当state的高16位都为0表示写锁释放完毕,唤醒head节点下一个SIGNAL状态的节点的线程。如果该写锁占有线程未释放写锁前还占用了读锁,那么写锁释放后该线程就完全转换成了读锁的持有线程。
调用的AQS 原生方法:

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

当state的高16位等于0,表示当前读锁未被占有;当state的高16位大于0,表示当前读锁可能被一个或多个线程占有,多于一个占有读锁的线程,允许重入。
占用条件&过程:
1、当前的写锁未被占有(state低16位为0) 或者当前线程是写锁占有的线程
2、readerShouldBlock()方法返回false
3、当前读锁占有量小于最大值(2^16 -1)
4、成功通过CAS操作将读锁占有量+1(AQS的state高16位同步加1)

protected final int tryAcquireShared(int unused) {
    Thread current = Thread.currentThread();
    int c = getState();
    if (exclusiveCount(c) != 0 &&
        getExclusiveOwnerThread() != current)
        return -1;
    int r = sharedCount(c);
    if (!readerShouldBlock() &&
        r < MAX_COUNT &&
        compareAndSetState(c, c + SHARED_UNIT)) {
        if (r == 0) {
            firstReader = current;
            firstReaderHoldCount = 1;
        } else if (firstReader == current) {
            firstReaderHoldCount++;
        } else {
            HoldCounter rh = cachedHoldCounter;
            if (rh == null ||
                rh.tid != LockSupport.getThreadId(current))
                cachedHoldCounter = rh = readHolds.get();
            else if (rh.count == 0)
                readHolds.set(rh);
            rh.count++;
        }
        return 1;
    }
    return fullTryAcquireShared(current);
}

如果逻辑结果小于0,表示当前无条件获得,则将该线程加入阻塞队列(doAcquireShared)
释放过程:
读锁的释放过程即AQS的state高16位同步递减为0的过程,当state的高16位都为0表示读锁释放完毕,如果此时写锁状态为0(即该读锁不是写锁降级来的),唤醒head节点下一个SIGNAL状态的节点的线程。如果读锁的占有数不为0,表示读锁未完全释放。或者写锁的占有数不为0,表示释放的读锁是写锁降级来的。

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

看完ReentrantLock&ReentrantReadWriteLock,是不是发现满满的都是CAS和for ;;,这就是非阻塞的一种实现原理,有利有弊吧。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 205,236评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 87,867评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,715评论 0 340
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,899评论 1 278
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,895评论 5 368
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,733评论 1 283
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,085评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,722评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,025评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,696评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,816评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,447评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,057评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,009评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,254评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,204评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,561评论 2 343

推荐阅读更多精彩内容