您好,欢迎访问一九零五行业门户网

一文搞懂redis的bitmap

本篇文章给大家带来了关于redis的相关知识,其中主要介绍了bitmap问题,redis 为我们提供了位图这一数据结构,位图数据结构其实并不是一个全新的玩意,我们可以简单的认为就是个数组,只是里面的内容只能为0或1而已,希望对大家有帮助。
推荐学习:redis视频教程
1.位图简介如果我们需要记录某一用户在一年中每天是否有登录我们的系统这一需求该如何完成呢?如果使用kv存储,每个用户需要记录365个,当用户量上亿时,这所需要的存储空间是惊人的。
redis 为我们提供了位图这一数据结构,每个用户每天的登录记录只占据一位,365天就是365位,仅仅需要46字节就可存储,极大地节约了存储空间。
位图数据结构其实并不是一个全新的玩意,我们可以简单的认为就是个数组,只是里面的内容只能为0或1而已(二进制位数组)。
2.命令实战redis提供了setbit、getbit、bitcount、bitop四个常用命令用于处理二进制位数组。
setbit:为位数组指定偏移量上的二进制位设置值,偏移量从0开始计数,二进制位的值只能为0或1。返回原位置值。getbit:获取指定偏移量上二进制位的值。bitcount:统计位数组中值为1的二进制位数量。bitop:对多个位数组进行按位与、或、异或运算。127.0.0.1:6379> setbit first 0 1    # 0000 0001(integer) 0127.0.0.1:6379> setbit first 3 1    # 0000 1001(integer) 0127.0.0.1:6379> setbit first 0 0    # 0000 1000(integer) 1127.0.0.1:6379> getbit first 0(integer) 0127.0.0.1:6379> getbit first 3(integer) 1127.0.0.1:6379> bitcount first      # 0000 1000(integer) 1127.0.0.1:6379> setbit first 0 1    # 0000 1001(integer) 0127.0.0.1:6379> bitcount first      # 0000 1001(integer) 2127.0.0.1:6379> setbit first 1 1    # 0000 1011(integer) 0127.0.0.1:6379> bitcount first      # 0000 1011(integer) 3127.0.0.1:6379> setbit x 3 1        (integer) 0127.0.0.1:6379> setbit x 1 1        (integer) 0127.0.0.1:6379> setbit x 0 1        # 0000 1011(integer) 0127.0.0.1:6379> setbit y 2 1        (integer) 0127.0.0.1:6379> setbit y 1 1        # 0000 0110(integer) 0127.0.0.1:6379> setbit z 2 1        (integer) 0127.0.0.1:6379> setbit z 0 1        # 0000 0101(integer) 0127.0.0.1:6379> bitop and andres x y z    #0000 0000(integer) 1127.0.0.1:6379> bitop or orres x y z      #0000 1111(integer) 1127.0.0.1:6379> bitop xor x y z           #0000 1000(integer) 1# 对给定的位数组进行按位取反127.0.0.1:6379> setbit value 0 1(integer) 0127.0.0.1:6379> setbit value 3 1            #0000 1001(integer) 0127.0.0.1:6379> bitop not notvalue value    #1111 0110(integer) 1
3.bitmap源码分析3.1 数据结构如下展示了一个用 sds 表示的一字节(8位)长的位图:
扩展:redis 中的每个对象都是有一个 redisobject 结构表示的。
typedef struct redisobject {// 类型unsigned type:4;// 编码unsigned encoding:4;unsigned lru:redis_lru_bits; /* lru time (relative to server.lruclock) */// 引用计数int refcount;// 执行底层实现的数据结构的指针void *ptr;} robj;
type 的值为 redis_string表示这是一个字符串对象sdshdr.len 的值为1表示这个sds保存了一个1字节大小的位数组buf数组中的buf[0]实际保存了位数组buf数组中的buf[1]为自动追加的\0字符为了便于我们观察,buf数组的每个字节都用一行来表示,buf[i]表示这是buf数组的第i个字节,buf[i]之后的8个格子表示这个字节上的8位。
为再次拉齐各位思想,如下展示了另外一个位数组:
位数组由buf[0]、buf[1]和buf[2]三个字节保存,真实数据为1111 0000 1100 0011 1010 0101
3.2 getbitgetbit用于返回位数组在偏移量上的二进制位的值。值得我们注意的是,getbit的时间复杂度是o(1)。
getbit命令的执行过程如下:
计算$ byte = \lfloor offset\p8 \rfloor $ (即>>3),byte 值表示指定的                                 o                         f                         f                         s                         e                         t                            offset                 offset 位于位数组的哪个字节(计算在第几行);指定                                 b                         u                         f                         [                         i                         ]                            buf[i]                 buf[i] 中的                                 i                            i                 i了,接下来就要计算在8个字节中的第几位呢?使用 $ bit = (offset\ %\ 8)+1 $计算可得;根据                                 b                         y                         t                         e                            byte                 byte 和                                 b                         i                         t                            bit                 bit 在位数组中定位到目标值返回即可。getbit命令源码如下所示:
void getbitcommand(client *c) {    robj *o;    char llbuf[32];    uint64_t bitoffset;    size_t byte, bit;    size_t bitval = 0;    // 获取offset    if (getbitoffsetfromargument(c,c->argv[2],&bitoffset,0,0) != c_ok)        return;    // 查找对应的位图对象    if ((o = lookupkeyreadorreply(c,c->argv[1],shared.czero)) == null ||        checktype(c,o,obj_string)) return; // 计算offset位于位数组的哪一行    byte = bitoffset >> 3;    // 计算offset在一行中的第几位,等同于取模    bit = 7 - (bitoffset & 0x7);    // #define sdsencodedobject(objptr) (objptr->encoding == obj_encoding_raw || objptr->encoding == obj_encoding_embstr)    if (sdsencodedobject(o)) {        // sds 是raw 或者 embstr类型        if (byte < sdslen(o->ptr))            // 获取指定位置的值            // 注意它不是真正的一个二维数组不能用((uint8_t*)o->ptr)[byte][bit]去获取呀~            bitval = ((uint8_t*)o->ptr)[byte] & (1 << bit); } else { // sds 是 redis_encoding_int 类型的整数,先转为string if (byte < (size_t)ll2string(llbuf,sizeof(llbuf),(long)o->ptr))            bitval = llbuf[byte] & (1 << bit); } addreply(c, bitval ? shared.cone : shared.czero);}
举个栗子以getbit array 3为例,array表示上图中三个字节的位数组。
1. $byte = \lfloor 3 \p8 \rfloor$ 得到值为0,说明在 $buf[0]$ 上2. $bit = (3\ mod\ 8 ) + 1$得到值为43. 定位到 $buf[0]$ 字节的从左至右第4个位置上
因为 getbit 命令执行的所有操作都可以在常数时间内完成,所以该命令的算法复杂度为o(1)。
3.3 setbitsetbit用于将位数组在偏移量的二进制位的值设为value,并向客户端返回旧值。
sitbit命令的执行过程如下:
计算 l e n = ⌊ o f f s e t ÷ 8 ⌋ + 1 len = \lfloor offset÷8\rfloor + 1 len=⌊offset÷8⌋+1, l e n len len值记录了保存 o f f s e t offset offset偏移量指定的二进制位至少需要多少字节检查位数组的长度是否小于 l e n len len,如果是的话,将sds的长度扩展为len字节,并将所有新扩展空间的二进制位设置为0计算 b y t e = ⌊ o f f s e t ÷ 8 ⌋ byte = \lfloor offset÷8\rfloor byte=⌊offset÷8⌋, b y t e byte byte值表示指定的 o f f s e t offset offset位于位数组的那个字节(就是计算在那个 b u f [ i ] buf[i] buf[i]中的 i i i)使用 b i t = ( o f f s e t m o d 8 ) + 1 bit = (offset\ mod\ 8)+1 bit=(offset mod 8)+1计算可得目标 b u f [ i ] buf[i] buf[i]的具体第几位根据 b y t e byte byte和 b i t bit bit的值,首先保存 o l d v a l u e oldvalue oldvalue,然后将新值 v a l u e value value设置到目标位上返回旧值因为setbit命令执行的所有操作都可以在常数时间内完成,所以该命令的算法复杂度为o(1)。
setbit命令源码如下所示:
void setbitcommand(client *c) { robj *o; char *err = "bit is not an integer or out of range"; uint64_t bitoffset; ssize_t byte, bit; int byteval, bitval; long on; // 获取offset if (getbitoffsetfromargument(c,c->argv[2],&bitoffset,0,0) != c_ok)        return;    // 获取我们需要设置的值    if (getlongfromobjectorreply(c,c->argv[3],&on,err) != c_ok)        return;    /* 判断指定值是否为0或1 */    if (on & ~1) {        // 设置了0和1之外的值,直接报错        addreplyerror(c,err);        return;    }    // 根据key查询sds对象(会自动扩容)    if ((o = lookupstringforbitcommand(c,bitoffset)) == null) return;    /* 获得当前值 */    byte = bitoffset >> 3;    byteval = ((uint8_t*)o->ptr)[byte];    bit = 7 - (bitoffset & 0x7);    bitval = byteval & (1 << bit); /* 更新值并返回旧值 */ byteval &= ~(1 << bit); byteval |= ((on & 0x1) << bit); ((uint8_t*)o->ptr)[byte] = byteval;    // 发送数据修改通知    signalmodifiedkey(c,c->db,c->argv[1]);    notifykeyspaceevent(notify_string,setbit,c->argv[1],c->db->id);    server.dirty++;    addreply(c, bitval ? shared.cone : shared.czero);}
举个栗子1.0array表示上图中的三个字节位数组。以setbit array 10 1为例:
$ len = \lfloor10÷8\rfloor + 1$得到值为2,说明至少需要2字节长的位数组检查是否需要扩容,不需要计算$byte = 1                                 ,                         计                         算                            ,计算                 ,计算bit = 3                                 ,                         保                         存                            ,保存                 ,保存oldvalue$,设置新值返回                                 o                         l                         d                         v                         a                         l                         u                         e                            oldvalue                 oldvalue
举个栗子2.0假设目标位数组为1字节长度。执行setbit array 12 1,执行如下:
                                l                         e                         n                         =                         ⌊                         12                         ÷                         8                         ⌋                         +                         1                            len = ⌊12÷8⌋ + 1                 len=⌊12÷8⌋+1 得到值为2,说明需要2字节长的 sds检查是否需要扩容,需要呀!由 sds 的自动扩容机制可知, sds 将按新长度的两倍扩容。计算 $byte = 1 $计算 $bit = 5 $保存                                 o                         l                         d                         v                         a                         l                         u                         e                            oldvalue                 oldvalue,设置新值返回                                 o                         l                         d                         v                         a                         l                         u                         e                            oldvalue                 oldvalue
3.4 bitcountbitcount命令用于统计给定位数组中值为1的二进制位的数量。功能似乎不复杂,但实际上要高效地实现这个命令并不容易,需要用到一些精巧的算法。
统计一个位数组中非0二进制位的数量在数学上被称为计算汉明重量。
3.4.1 暴力遍历实现bitcount命令最简单直接的方法,就是遍历位数组中的每个二进制位,并在遇到值为1的二进制位时将计数器加1。
小数据量还好,大数据量直接pass!
3.4.2 查表法对于一个有限集合来说,集合元素的排列方式是有限的,并且对于一个有限长度的位数组来说,它能表示的二进制位排列也是有限的。根据这个原理,我们可以创建一个表,表的键为某种排列的位数组,而表的值则是相应位数组中值为1的二进制位的数量。
对于8位长的位数组来说,我们可以创建下表,通过这个表格我们可以一次从位数组中读入8位,然后根据这8位的值进行查表,直接知道这个值包含了多少个1。
可惜,查表法耗内存呀!
3.4.3 二进制位统计算法:variable-precision swar目前已知效率最好的通用算法为variable-precision swar算法,该算法通过一系列位移和位运算操作,可以在常数时间(这就很牛逼了)内计算多个字节的汉明重量,并且不需要使用任何额外的内存。
swar算法代码如下所示:
uint32_t swar(uint32_t i) {    // 5的二进制:0101    i = (i & 0x55555555) + ((i >> 1) & 0x55555555);    // 3的二进制:0011    i = (i & 0x33333333) + ((i >> 2) & 0x33333333);    i = (i & 0x0f0f0f0f) + ((i >> 4) & 0x0f0f0f0f);    i = (i*(0x01010101) >> 24);    return i;      i = i - ((i >> 1) & 0x55555555);    i = (i & 0x33333333) + ((i >> 2) & 0x33333333);    return (((i + (i >> 4)) & 0x0f0f0f0f) * 0x01010101) >> 24;}
下面描述一下这几步都干了啥:
步骤一计算出的值i的二进制表示可以按每两个二进制位为一组进行分组,各组的十进制表示就是该组的1的数量;步骤二计算出的值i的二进制表示可以按每四个二进制位为一组进行分组,各组的十进制表示就是该组的1的数量;步骤三计算出的值i的二进制表示可以按每八个二进制位为一组进行分组,各组的十进制表示就是该组的1的数量;步骤四的i*0x01010101语句计算出bitarray中1的数量并记录在二进制位的最高八位,而>>24语句则通过右移运算,将bitarray的汉明重量移动到最低八位,得出的结果就是bitarray的汉明重量。举个栗子对于调用swar(0xfbb4080b),步骤一将计算出值0xa6640406,这个值表的每两个二进制位的十进制表示记录了0xfbb4080b每两个二进制位的汉明重量。
步骤二将计算出值0x43310103,这个值表的每四个二进制位的十进制表示记录了0xfbb4080b每四个二进制位的汉明重量。
步骤三将计算出值0x7040103,这个值表的每八个二进制位的十进制表示记录了0xfbb4080b每八个二进制位的汉明重量。
步骤四首先计算0x7040103 * 0x01010101 = 0xf080403,将汉明重量聚集到二进制位的最高八位。
之后计算0xf080403 >> 24,将汉明重量移动到低八位,得到最终值0x1111,即十进制15。
如果您是java程序员,可以去看看integer.bitcount方法,也是基于swar算法的思想哦!
大家也可以看看stackflow上大神对它的讲解:[how does this algorithm to count the number of set bits in a 32-bit integer work?](https://stackoverflow.com/questions/22081738/how-does-this-algorithm-to-count-the-number-of-set-bits-in-a-32-bit-integer-work)3.4.4 源码分析
redis 中通过调用redispopcount方法统计汉明重量,源码如下所示:
long long redispopcount(void *s, long count) {    long long bits = 0;    unsigned char *p = s;    uint32_t *p4;    // 为查表法准备的表    static const unsigned char bitsinbyte[256] = {0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8};    // cpu一次性读取8个字节,如果4字节跨了两个8字节,需要读取两次才行    // 所以考虑4字节对齐,只需读取一次就可以读取完毕    while((unsigned long)p & 3 && count) {        bits += bitsinbyte[*p++];        count--;    }    // 一次性处理28字节,单独看一个aux就容易理解了,其实就是swar算法    // uint32_t:4字节    p4 = (uint32_t*)p;    while(count>=28) {        uint32_t aux1, aux2, aux3, aux4, aux5, aux6, aux7;        aux1 = *p4++;// 一次性读取4字节        aux2 = *p4++;        aux3 = *p4++;        aux4 = *p4++;        aux5 = *p4++;        aux6 = *p4++;        aux7 = *p4++;        count -= 28;// 共处理了4*7=28个字节,所以count需要减去28        aux1 = aux1 - ((aux1 >> 1) & 0x55555555);        aux1 = (aux1 & 0x33333333) + ((aux1 >> 2) & 0x33333333);        aux2 = aux2 - ((aux2 >> 1) & 0x55555555);        aux2 = (aux2 & 0x33333333) + ((aux2 >> 2) & 0x33333333);        aux3 = aux3 - ((aux3 >> 1) & 0x55555555);        aux3 = (aux3 & 0x33333333) + ((aux3 >> 2) & 0x33333333);        aux4 = aux4 - ((aux4 >> 1) & 0x55555555);        aux4 = (aux4 & 0x33333333) + ((aux4 >> 2) & 0x33333333);        aux5 = aux5 - ((aux5 >> 1) & 0x55555555);        aux5 = (aux5 & 0x33333333) + ((aux5 >> 2) & 0x33333333);        aux6 = aux6 - ((aux6 >> 1) & 0x55555555);        aux6 = (aux6 & 0x33333333) + ((aux6 >> 2) & 0x33333333);        aux7 = aux7 - ((aux7 >> 1) & 0x55555555);        aux7 = (aux7 & 0x33333333) + ((aux7 >> 2) & 0x33333333);        bits += ((((aux1 + (aux1 >> 4)) & 0x0f0f0f0f) +                    ((aux2 + (aux2 >> 4)) & 0x0f0f0f0f) +                    ((aux3 + (aux3 >> 4)) & 0x0f0f0f0f) +                    ((aux4 + (aux4 >> 4)) & 0x0f0f0f0f) +                    ((aux5 + (aux5 >> 4)) & 0x0f0f0f0f) +                    ((aux6 + (aux6 >> 4)) & 0x0f0f0f0f) +                    ((aux7 + (aux7 >> 4)) & 0x0f0f0f0f))* 0x01010101) >> 24;    }    /* 剩余的不足28字节,使用查表法统计 */    p = (unsigned char*)p4;    while(count--) bits += bitsinbyte[*p++];    return bits;}
不难发现 redis 中同时运用了查表法和swar算法完成bitcount功能。
4.面试题:40亿qq号去重如果没有1gb的内存限制,我们可以使用排序和set完成这个算法:
排序:① 首先将40亿个qq号进行排序;② 从小到大遍历,跳过重复元素只取第一个元素。set:将40亿个qq号统统放进set集合中,自动完成去重,perfect这样回答是要gg的节奏呀!
对40亿个qq号进行排序需要多少时间?这个存储了40亿qq号的数组容量已经超过1gb了,同理set集合存储这么多的qq号也导致内存超限了。
bitmap去重**这不巧了么~我们可以使用刚刚学的bitmap来去重呀!**一个字节可以记录8个数是否存在(类似于计数排序),将qq号对应的offset的值设置为1表示此数存在,遍历完40亿个qq号后直接统计bitmap上值为1的offset即可完成qq号的去重。
如果是对40亿个qq号进行排序也是可以用位图完成的哦~一样的思想
5.位图实战既然我们深入了解了bitmap,那不进行个实战项目可说不过去呀!
我们使用bitmap实现github中统计每天提交次数的这个小功能,基于springboot+echarts实现
如果是记录登录状态我们可以很方便的使用0和1记录,如果是记录提交次数就显得bitmap无用了,没关系,我们可以使用一个字节来记录提交次数,只是在业务上需要处理好十进制和二进制直接的转换而已。
生成模拟数据public void gentestdata() {    if(redisutils.isexist(commonconstant.key)){        return;    }    // 获取当前年的总天数    int days = getdays();    for (int i = 0; i < days; i++) { int random = threadlocalrandom.current().nextint(64); // 生成随机数表示每天的pr次数 string binarystring = integer.tobinarystring(random); if (binarystring.length() < 8) { // 填充0 if(binarystring.length() == 0){binarystring = "00000000";} else if(binarystring.length() == 1){binarystring = "0000000"+binarystring;} else if(binarystring.length() == 2){binarystring = "000000"+binarystring;} else if(binarystring.length() == 3){binarystring = "00000"+binarystring;} else if(binarystring.length() == 4){binarystring = "0000"+binarystring;} else if(binarystring.length() == 5){binarystring = "000"+binarystring;} else if(binarystring.length() == 6){binarystring = "00"+binarystring;} else if(binarystring.length() == 7){binarystring = "0"+binarystring;} } char[] chars = binarystring.tochararray(); for (int j = 0; j < chars.length; j++) { // 设置bitmap redisutils.setbit(commonconstant.key,i*8+j,chars[j]); } }}/** * 获取当前年的总天数 * @return days 总天数 */private int getdays(){ calendar calone = calendar.getinstance(); int year = calone.get(calendar.year); system.out.println(year); calendar caltwo = new gregoriancalendar(year, 11, 31); return caltwo.get(calendar.day_of_year);}
获取数据public list<string> getpushdata() {    list<string> res = new arraylist<>(366);    // 没有数据就先造数据    gentestdata();    int days = getdays();    for(long i=0;i<days;i++){ stringbuilder sb = new stringbuilder(); for (int j = 0; j < 8; j++) { string bit = redisutils.getbit(commonconstant.key, i * 8 + j); sb.append(bit); } // 直接返回二进制串,前端转换为十进制 res.add(sb.tostring()); } return res;}
这里觉得可以直接将所有的bit统统返回,在前端进行分割处理
前端渲染<script type="text/javascript">    var chartdom = document.getelementbyid('main');    var mychart = echarts.init(chartdom);    var option;    function getvirtuldata(year) {        var date = +echarts.number.parsedate(year + '-01-01');        var end = +echarts.number.parsedate(+year + 1 + '-01-01');        var daytime = 3600 * 24 * 1000;        var data = [];        $.ajax({            url:'http://localhost:8080/test/getpushdata',            async:false, // ajax同步获取            success:function (res){                for (let time = date,k=0; time < end && k < res.data.length; time += daytime,k++) { data.push([ echarts.format.formattime('yyyy-mm-dd', time), parseint(res.data[k],2)//客户端完成进制转换,不放在服务端完成 ]); } } }) return data; } option = { title: { top: 30, left: 'left', text: 'bitmap demo' }, tooltip: {}, visualmap: { min: 0, max: 32, type: 'piecewise', orient: 'horizontal', left: 'right', top: 220, pieces: [ {min: 0, max: 0,label:"less"}, {min: 1, max: 10,label:" "}, {min: 1, max: 20,label:" "}, {min: 21, max: 40,label:" "}, {min: 41, max: 64,label:"more"}, ], inrange: { color: [ '#eaedf0', '#9ae9a8', '#41c363', '#31a14e', '#206d38' ],//颜色设置 coloralpha: 0.9,//透明度 } }, calendar: { top: 120, left: 30, right: 30, cellsize: 13, range: '2022', splitline: { show: false },//不展示边线 itemstyle: { borderwidth: 0.5 }, yearlabel: { show: false } }, series: { type: 'heatmap', coordinatesystem: 'calendar', data: getvirtuldata('2022') } }; option && mychart.setoption(option);</script>
推荐学习:redis视频教程
以上就是一文搞懂redis的bitmap的详细内容。
其它类似信息

推荐信息