redis源码分析之集群之一的槽的分配算法crc16原理分析
文章目录
- 前言
- 正文
- 一, 聊一聊 哈希算法
- 二, crc系列的算法
- 三, crc16的表的生成
- 四, crc系列
- 结语
前言
redis中为什么单线程效率怎么高呢, 其中很大一部分是redis使用哈希算法查询的效率都O(1), 今天我们来分析我们redis中集群使用crc16这种哈希算法呢,而不使用正常redis使用siphash,MurmurHash64A这个两个哈希算法呢
正文
一, 聊一聊 哈希算法
哈希算法有分为大致的两种一种是不开破解的,另外一种就可破解
不可破解也不是绝对的相对一些简单是可以破解的
不可破解: md5, sha1等等
可以破解:siphash, MurmurHash64A,crc 的系列等等
正常md5,sha1是用来加密使用, 一个因为他们是很难被破解的,还有他们每次计算都对CPU的消化非常比siphash和MurmurHash64A的时间长,
想siphash和MurmurHash64A哈希算法是用来作为线性分布的一个是线性分布非常均匀性,满射性,确定性, 快速性
而我们本文章主要分析是crc16算法, 也是线性分布的一个是线性分布非常均匀性,满射性,确定性, 而且哈希碰撞比siphash和MurmurHash64A还要小很多, 就是有一个缺点是和md5,sha1算法一样对CPU占用的时间非常长,这就redis为什么集群使用这个crc16算法。
二, crc系列的算法
crc是正常用于网络层差错检测使用的
这就有crc8,crc16,crc32,crc64一些标准
CRC编码的基本思想是:将二进制位串的操作被解释为多项式算法运算。
二进制数据可以看作是一个k-1 次多项式的系数列表,该多项式共有k项,从x(k-1)到x0。这样的多项式被认为是k-1阶多项式。高次(左边)位是x^(k-1)项的系数,接下来的位是x(k-2)项的系数,以此类推。例如: 100101有6位,因此代表了一个有6项的多项式,其系数分别是1、0、0、1、0和1, 即1x^5 + 0x^4 + 0x^3 + 1x^2 + 0x^1 + 1x^0 == x^5 + x^2 + 1。
CRC-8 x8+x5+x4+1 0x31(0x131)
CRC-8 x8+x2+x1+1 0x07(0x107)
CRC-8 x8+x6+x4+x3+x2+x1 0x5E(0x15E)
三, crc16的表的生成
crc16
* Name : "XMODEM", also known as "ZMODEM", "CRC-16/ACORN"
* Width : 16 bit
* Poly : 1021 (That is actually x^16 + x^12 + x^5 + 1) ==>Poly_src 1 0001 0000 0010 0001
* Initialization : 0000
* Reflect Input byte : False
* Reflect Output CRC : False
* Xor constant to output CRC : 0000
* Output for "123456789" : 31C3
对应poly = 1 0001 0000 0010 0001
举例编码串是 0001, 多项式是 1 0001 0000 0010 0001
0001向左16位-> crc1-> 0001 0000 0000 0000 0000 0000
计算
先和编码串crc1 前16位进行或操作
1 0000 0000 0000 0000 0000
^ 1 0001 0000 0010 0001
0 0001 0000 0010 0001
得到 1 0000 0010 0001 -> 把后面4个bit添加得到crc2 -> 1 0000 0010 0001 0000
crc2就是对应表中1下标0x1021的值
现在由于crc2bit小于16就结束了如果不小于16就接着前16位进行或操作
下面是生成 crc16的表的生成的程序
static const uint16_t crc16tab[256]= {
0x0000,0x1021 /*0001 0000 0010 0001*/,0x2042 /*0010 0000 0100 0010*/,0x3063 /*0011 0000 0110 0011*/,0x4084 /*100000010000100*/,0x50a5/*101000010100101*/,0x60c6 /*110000011000110*/,0x70e7/*111000011100111*/,
0x8108,0x9129,0xa14a,0xb16b,0xc18c,0xd1ad,0xe1ce,0xf1ef,
0x1231,0x0210,0x3273,0x2252,0x52b5,0x4294,0x72f7,0x62d6,
0x9339,0x8318,0xb37b,0xa35a,0xd3bd /*1101001110111101*/,0xc39c,0xf3ff,0xe3de,
0x2462,0x3443,0x0420,0x1401,0x64e6,0x74c7,0x44a4,0x5485,
0xa56a,0xb54b,0x8528,0x9509,0xe5ee,0xf5cf,0xc5ac,0xd58d,
0x3653,0x2672,0x1611,0x0630,0x76d7,0x66f6,0x5695,0x46b4,
0xb75b,0xa77a,0x9719,0x8738,0xf7df,0xe7fe,0xd79d,0xc7bc,
0x48c4,0x58e5,0x6886,0x78a7,0x0840,0x1861,0x2802,0x3823,
0xc9cc,0xd9ed,0xe98e,0xf9af,0x8948,0x9969,0xa90a,0xb92b,
0x5af5,0x4ad4,0x7ab7,0x6a96,0x1a71,0x0a50,0x3a33,0x2a12,
0xdbfd,0xcbdc,0xfbbf,0xeb9e,0x9b79,0x8b58,0xbb3b,0xab1a,
0x6ca6,0x7c87,0x4ce4,0x5cc5,0x2c22,0x3c03,0x0c60,0x1c41,
0xedae,0xfd8f,0xcdec,0xddcd,0xad2a,0xbd0b,0x8d68,0x9d49,
0x7e97,0x6eb6,0x5ed5,0x4ef4,0x3e13,0x2e32,0x1e51,0x0e70,
0xff9f,0xefbe,0xdfdd,0xcffc,0xbf1b,0xaf3a,0x9f59,0x8f78,
0x9188,0x81a9,0xb1ca,0xa1eb,0xd10c,0xc12d,0xf14e,0xe16f,
0x1080,0x00a1,0x30c2,0x20e3,0x5004,0x4025,0x7046,0x6067,
0x83b9,0x9398,0xa3fb,0xb3da,0xc33d,0xd31c,0xe37f,0xf35e,
0x02b1,0x1290,0x22f3,0x32d2,0x4235,0x5214,0x6277,0x7256,
0xb5ea,0xa5cb,0x95a8,0x8589,0xf56e,0xe54f,0xd52c,0xc50d,
0x34e2,0x24c3,0x14a0,0x0481,0x7466,0x6447,0x5424,0x4405,
0xa7db,0xb7fa,0x8799,0x97b8,0xe75f,0xf77e,0xc71d,0xd73c,
0x26d3,0x36f2,0x0691,0x16b0,0x6657,0x7676,0x4615,0x5634,
0xd94c,0xc96d,0xf90e,0xe92f,0x99c8,0x89e9,0xb98a,0xa9ab,
0x5844,0x4865,0x7806,0x6827,0x18c0,0x08e1,0x3882,0x28a3,
0xcb7d,0xdb5c,0xeb3f,0xfb1e,0x8bf9,0x9bd8,0xabbb,0xbb9a,
0x4a75,0x5a54,0x6a37,0x7a16,0x0af1,0x1ad0,0x2ab3,0x3a92,
0xfd2e,0xed0f,0xdd6c,0xcd4d,0xbdaa,0xad8b,0x9de8,0x8dc9,
0x7c26,0x6c07,0x5c64,0x4c45,0x3ca2,0x2c83,0x1ce0,0x0cc1,
0xef1f,0xff3e,0xcf5d,0xdf7c,0xaf9b,0xbfba,0x8fd9,0x9ff8,
0x6e17,0x7e36,0x4e55,0x5e74,0x2e93,0x3eb2,0x0ed1 /*1110 1101 0001*/,0x1ef0 /*1 1110 1111 0000*/
};
/**
*获取value二进制的位数
*/
int byte_size(unsigned int value)
{
int byte = 0;
if (value == 0)
{
return byte;
}
while (value >>= 1)
{
++byte;
}
return byte;
}
void show_crc16_table()
{
int i = 0;
int poly = 0X11021;//
//start of calculating the CRC8 table
for (i = 0;i < 256; ++i)
{
table[i] = i;
}
FILE * fp = NULL;
fp = fopen("crc16_table.txt", "w+");
if (!fp)
{
printf("not open file !!!\n");
return -1;
}
for (i = 0;i < 256; ++i)
{
// 把下标的数向左移动16位
unsigned int table1 = table[i] << 16;
int byte = byte_size(table1);
while (byte > 15)
{
byte = byte_size(table1);
//fprintf(fp, "table1 = %u, byte = %u\n", table1, byte);
if (byte > 15)
{ //进行差错计算 [x^16 + x^12 + x^5 + 1]
table1 = ((((table1 >> (byte - 16)) ) ^ poly) &0XFFFF)<< (byte - 16);
}
byte = byte_size(table1);
}
table[i] = table1 ;
}
for (i = 0; i < 256; ++i) // 256
{
if (i % 10)
{
fprintf(fp, "table[%u]=0x%.2x\n", i, table[i]);
printf( "table[%u]=0x%.2x\n", i, table[i]);
}
else
{
fprintf(fp, "table[%u]=0x%.2x\n", i, table[i]);
printf( "table[%u]=0x%.2x\n", i, table[i]);
}
}
if (fp)
{
fclose(fp);
fp = NULL;
}
}
int main(int argc, char **argv)
{
show_crc16_table();
return 0;
}
四, crc系列
几种CRC16计算公式、初始值、标志位等参数汇总
一、CRC16/IBM 或 CRC16/ARC 或 CRC16/LHA:
公式:x16+x15+x2+1
宽度:16
Poly值:0x8005
初始值:0x0000
基准输入:true
基准输出:true
标志位:0x0000
二、CRC16/MAXIM:
公式:x16+x15+x2+1
宽度:16
Poly值:0x8005
初始值:0x0000
基准输入:true
基准输出:true
标志位:0xFFFF
三、CRC16/USB:
公式:x16+x15+x2+1
宽度:16
Poly值:0x8005
初始值:0xFFFF
基准输入:true
基准输出:true
标志位:0xFFFF
四、CRC16/MODBUS(最常见):
公式:x16+x15+x2+1
宽度:16
Poly值:0x8005
初始值:0x0000
基准输入:true
基准输出:true
标志位:0x0000
五、CRC16/CCITT 或 CRC-CCITT 或CRC16/CCITT-TRUE或 CRC16/KERMIT:
公式:x16+x15+x5+1
宽度:16
Poly值:0x1021
初始值:0x0000
基准输入:true
基准输出:true
标志位:0x0000
六、 CRC16/CCITT-FALSE:
公式:x16+x15+x5+1
宽度:16
Poly值:0x1021
初始值:0xFFFF
基准输入:false
基准输出:false
标志位:0x0000
七、CRC16/X25:
公式:x16+x15+x5+1
宽度:16
Poly值:0x1021
初始值:0x0000
基准输入:true
基准输出:true
标志位:0xFFFF
八、CRC16/XMODEM 或 CRC16/ZMODEM 或 CRC16/ACORN:
公式:x16+x15+x5+1
宽度:16
Poly值:0x1021
初始值:0x0000
基准输入:false
基准输出:false
标志位:0x0000
九、CRC16/DNP:
公式:x16+x13+x12+x11+x10+x8+x6+x5+x2+1
宽度:16
Poly值:0x3D65
初始值:0x0000
基准输入:true
基准输出:true
标志位:0xFFFF
使用:M-Bus, ect
附加其它:
1、CRC4/ITU:
公式:x4+x+1
宽度:4
Poly值:0x03
初始值:0x00
基准输入:true
基准输出:true
标志位:0x00
2、CRC5/EPC:
公式:x5+x3+1
宽度:5
Poly值:0x09
初始值:0x09
基准输入:false
基准输出:false
标志位:0x00
3、CRC5/ITU:
公式:x5+x4+x2+1
宽度:5
Poly值:0x15
初始值:0x00
基准输入:true
基准输出:true
标志位:0x00
4、CRC5/USB:
公式:x5+x2+1
宽度:5
Poly值:0x05
初始值:0x1F
基准输入:true
基准输出:true
标志位:0x1F
5、CRC6/ITU:
公式:x6+x+1
宽度:6
Poly值:0x03
初始值:0x00
基准输入:true
基准输出:true
标志位:0x00
6、CRC6/MMC:
公式:x7+x3+1
宽度:7
Poly值:0x09
初始值:0x00
基准输入:false
基准输出:false
标志位:0x00
使用:MutiMediaCard,SD卡, ect
7、CRC-8:
公式:x8+x2+x+1
宽度:8
Poly值:0x07
初始值:0x00
基准输入:false
基准输出:false
标志位:0x00
8、CRC8/ITU:
公式:x8+x2+x+1
宽度:8
Poly值:0x07
初始值:0x00
基准输入:false
基准输出:false
标志位:0x55
9、CRC-8:
公式:x8+x2+x+1
宽度:8
Poly值:0x07
初始值:0x00
基准输入:false
基准输出:false
标志位:0x00
10、CRC8/ROHC:
公式:x8+x2+x+1
宽度:8
Poly值:0x07
初始值:0xFF
基准输入:true
基准输出:true
标志位:0x00
11、CRC8/ROHC 或 DOW-CRC:
公式:x8+x5+x4+1
宽度:8
Poly值:0x31
初始值:0x00
基准输入:true
基准输出:true
标志位:0x00
结语