图文并茂的聊聊ReentrantReadWriteLock的位运算

沙海
沙海
沙海
1532
文章
2
评论
2021年6月2日12:24:55
评论
5 3641字阅读12分8秒
摘要

智能摘要

智能摘要

我相信不少读者,在看JDK源码时,会看到位运算代码,可能有些人是转行的,缺乏计算机相关的基础知识,看的是一头雾水。因为RRW的中的int整型变量state要同时维护读锁、写锁两种状态,所以RRW的是通过高低位切割来实现。比如我们获取到了3次读锁,就是65536*3=196608,转换下公式就是3左移16位等于196608,196608右移16位等于3。虽然我们每次获取到读锁都会+65536,但是获取读锁时会做右移16位,所以效果和+1是一样。

原文约 2224 | 图片 25 | 建议阅读 5 分钟 | 评价反馈

图文并茂的聊聊ReentrantReadWriteLock的位运算

小黑格子屋

以下文章来源于程序猿阿星,作者点击关注 ?

图文并茂的聊聊ReentrantReadWriteLock的位运算

程序猿阿星

一起成长进阶!专注技术原理、源码,通过图解方式输出技术,这里将会分享操作系统、计算机网络、Java、分布式、数据库等精品原创文章

图文并茂的聊聊ReentrantReadWriteLock的位运算

来源:程序猿阿星

我相信不少读者,在看JDK源码时,会看到位运算代码,可能有些人是转行的,缺乏计算机相关的基础知识,看的是一头雾水。

图文并茂的聊聊ReentrantReadWriteLock的位运算

导致有些人直接被劝退,也有些人选择理解字面上的意思,细节跳过。

但是一颗疑惑的种子在我们心中埋了下来「为什么使用位运算就能达到这样的效果?」。

恰好ReentrantReadWriteLock读写状态的设计用到了位运算,我们以此来展开今天的话题。

一段位运算代码

我们来到ReentrantReadWriteLock.Sync内部类,发现了这段代码(后面以RRW简称

        //偏移位数static final int SHARED_SHIFT = 16;//读锁计数基本单位static final int SHARED_UNIT = (1 << SHARED_SHIFT);//读锁、写锁可重入最大数量static final int MAX_COUNT = (1 << SHARED_SHIFT) - 1;//获取低16位的条件static final int EXCLUSIVE_MASK = (1 << SHARED_SHIFT) - 1;//获取读锁重入数static int sharedCount(int c)    { return c >>> SHARED_SHIFT; }//获取写锁重入数static int exclusiveCount(int c) { return c & EXCLUSIVE_MASK; }

上面的这些位运算代码是用来干嘛的?

因为RRW的中的int整型变量state要同时维护读锁、写锁两种状态,所以RRW的是通过高低位切割来实现。

图文并茂的聊聊ReentrantReadWriteLock的位运算

int4个字节,一个字节8位,总共32位,切割一下,高16位表示读,低16位表示写。

这样做的好处就是节约资源,就像现实中老板把你一个人当两个人用是一样的道理。

讲到这里,大家也明白了,上面的位运算代码就是完成高低位切割的。

读锁位运算

//偏移位数static final int SHARED_SHIFT = 16;//读锁计数基本单位static final int SHARED_UNIT = (1 << SHARED_SHIFT);

读锁使用高16位,每次获取读锁成功+1,所以读锁计数基本单位是1的高16位,即1左移16位(1 << 16)。

图文并茂的聊聊ReentrantReadWriteLock的位运算

1左移16位等于65536,每次获取读锁成功都+65536,这时有读者跳出来问,不是+1嘛,怎么变成+65536了,这不对啊。

别急别急,看看下面这段代码

//偏移位数static final int SHARED_SHIFT = 16;//获取读锁重入数static int sharedCount(int c)    { return c >>> SHARED_SHIFT; }

上面sharedCount函数通过位运算是做无符号右移16位获取读锁的重入数,为什么可以获取到呢?

图文并茂的聊聊ReentrantReadWriteLock的位运算

阿星原地向前走16步,再后退16步,又回到原点,1左移16位等于6553665536右移16位等于1

比如我们获取到了3次读锁,就是65536 * 3 = 196608,转换下公式就是3左移16位等于196608196608右移16位等于3

虽然我们每次获取到读锁都会+65536,但是获取读锁时会做右移16位,所以效果和+1是一样。

写锁位运算

//偏移位数static final int SHARED_SHIFT = 16;//获取低16位的条件static final int EXCLUSIVE_MASK = (1 << SHARED_SHIFT) - 1;//获取写锁重入数static int exclusiveCount(int c) { return c & EXCLUSIVE_MASK; }

剩下的写锁就非常简单,获取低16位不用左右移动,只要把高16位全部补0即可。

图文并茂的聊聊ReentrantReadWriteLock的位运算

反推一下,因为不需要左右移动,其实就和正常的数字一样,只不过因为高16位补0,导致数值范围在0~65535,也就是说写锁获取成功直接+1就好了。

图文并茂的聊聊ReentrantReadWriteLock的位运算

我们目光转到EXCLUSIVE_MASK变量,1右移16位后-1,得到6553565535的二进制就是111111111111111

现在来看exclusiveCount函数,该函数内做了位运算&&又称""运算。

""运算是两个二进制,每位数运算,运算规则如下

  • 0&0=0

  • 0&1=0

  • 1&0=0

  • 1&1=1

如果相对应位都是1,则结果为1,否则为0

可能有些读者大大还是不太明白,下面放张图16位二进制""运算图

图文并茂的聊聊ReentrantReadWriteLock的位运算

我们发现""运算时,只要有一方为0,那结果一定是0,所以为了切割低16位,可以使用&来完成。

图文并茂的聊聊ReentrantReadWriteLock的位运算

从上图可以看出,EXCLUSIVE_MASK16位都是0,低16位都是1,和它&的变量,高16位全部会变成0,低16位全部保留下来,最终达到获取低16位效果。

c & EXCLUSIVE_MASK,假设c1&的过程如下图

图文并茂的聊聊ReentrantReadWriteLock的位运算

这样看可能没太大感觉,我们把数值调大点,假设c6553665537&的过程如下图

图文并茂的聊聊ReentrantReadWriteLock的位运算

现在有感觉了吧,c的高16位都会变成0,低16位会原样保留,最终达到获取低16位效果。

EXCLUSIVE_MASK范围在0~65535,所以c的范围也不会超过0~65535,因为超过了也会通过& EXCLUSIVE_MASK回到0~65535

提个问题

阿星」:int如何实现序列化与反序列化?

萌新」:好家伙,我直接用Integer就好了,父类Number实现了序列化接口Serializable

阿星」:不使用Serializable,自己手写一个呢?

萌新」:啊,这。。。。

为了让大家更好的消化之前的内容,阿星手把手带大家实现int与字节的互转。

图文并茂的聊聊ReentrantReadWriteLock的位运算

int4个字节,一个字节8位,总共32位。

int转byte数组

思路很简单,我们只需要从右往左按8位一个一个截取,再存储到byte数组里面,代码如下:

public static byte[] intToBytes(int n) {        //长度4字节的数组        byte[] buf = new byte[4];        for (int i = 0; i < buf.length; i++) {            //循环右移动8位,存储到数组中            buf[i] = (byte) (n >> (8 * i));        }        return buf;    }

过程图如下

图文并茂的聊聊ReentrantReadWriteLock的位运算

byte数组转int

我们从int转换成了byte[],现在要从byte[]转换成int,代码如下

public static int bytesToInt(byte[] buf) {    return buf[0] & 0xff            | ((buf[1] << 8) & 0xff00)            | ((buf[2] << 16) & 0xff0000)            | ((buf[3] << 24) & 0xff000000);}

代码中涉及到了"左移、与、或"位运算,左移我们前面都说了,还有一个一样,只是运算规则不同,的运算规则如下

  • 0&0=0

  • 0&1=1

  • 1&0=1

  • 1&1=1

如果相对应位都是 0,则结果为 0,否则为 1

0xff的二进制是111111110xff后面每追加20,效果等于左移8位,依次类推,所以我们最终是利用<<、|、&、0xff来还原。

过程图如下

图文并茂的聊聊ReentrantReadWriteLock的位运算

小结

ReentrantReadWriteLock中读写状态公用一个状态,巧妙的利用高低位来节约资源,在整个实现过程中,使用了位运算来做高低位切割。

-End-

图文并茂的聊聊ReentrantReadWriteLock的位运算

图文并茂的聊聊ReentrantReadWriteLock的位运算

什么是树状数组?让这个12岁年轻人为你讲解

图文并茂的聊聊ReentrantReadWriteLock的位运算

2020 华为|字节|腾讯|京东|网易|滴滴面经分享(6 个 offer)

图文并茂的聊聊ReentrantReadWriteLock的位运算

史记 · 码农列传

图文并茂的聊聊ReentrantReadWriteLock的位运算 可乐记得加冰,爱我就要置顶 图文并茂的聊聊ReentrantReadWriteLock的位运算

图文并茂的聊聊ReentrantReadWriteLock的位运算

图文并茂的聊聊ReentrantReadWriteLock的位运算

图文并茂的聊聊ReentrantReadWriteLock的位运算素质三连biubiubiu~图文并茂的聊聊ReentrantReadWriteLock的位运算

继续阅读
历史上的今天
6月
2
weinxin
资源分享QQ群
本站是一个IT技术分享社区, 会经常分享资源和教程; 分享的时代, 请别再沉默!
沙海
匿名

发表评论

匿名网友 填写信息

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen: