CRC32校验

CRC32 校验概述

CRC32（Cyclic Redundancy Check 32-bit） 是一种用于检测数据传输和存储中错误的校验方法。它通过对数据进行多项式除法运算，生成一个32位的校验码。CRC32 可以有效检测多种类型的错误，包括单比特错误、多比特错误、奇数比特错误、块错误和循环移位错误。

CRC32 能检测什么错误

CRC32 可以有效检测：

• 单个比特错误：单个位的翻转。
• 双比特错误：两个独立位的翻转。
• 奇数比特错误：任意奇数个比特的翻转。
• 块错误：连续多个比特的错误。
• 循环移位错误：数据被循环移位的错误。

CRC32 校验过程

1. 初始化：将CRC值初始化为0xFFFFFFFF。
2. 处理每个字节：遍历数据的每个字节，根据当前CRC值和数据字节进行查表和计算，更新CRC值。
3. 结束：将最终的CRC值与0xFFFFFFFF进行异或，得到最终的校验码。

为什么 CRC32 能检测这些错误

CRC32 之所以能够有效检测上述错误类型，是因为它基于多项式除法，并且使用了特定的生成多项式。具体来说：

1. 多项式除法：CRC 的计算过程实际上是对数据进行一种特殊的多项式除法，CRC 值是这个除法的余数。通过这个过程，可以将数据中的模式转换成一个新的模式，这样即使是细微的变化也会引起 CRC 值的大幅变化。

2. 生成多项式的选择：CRC32 使用的生成多项式（0x04C11DB7）具有良好的数学特性，使得它能够检测出多种常见的错误模式。生成多项式的选择是经过理论分析和实践验证的结果，确保了其高效的错误检测能力。

CRC32 多项式的来源

CRC32 使用的标准生成多项式是：

[ x^{32} + x^{26} + x^{23} + x^{22} + x^{16} + x^{12} + x^{11} + x^{10} + x^8 + x^7 + x^5 + x^4 + x^2 + x + 1 ]

这个多项式在二进制表示中为：

[ 100000100110000110111011110111 ]

将其转化为十六进制表示就是：

[ 0x04C11DB7 ]

这个多项式是通过理论分析和实验选择的，能够高效检测各种常见错误模式。

生成 CRC32 表的代码

头文件 crc32.h

#ifndef __CRC32_H__
#define __CRC32_H__

typedef struct {
    unsigned int crc;
} CRC32_CTX;

void CRC32_Init(CRC32_CTX *ctx);
void CRC32_Update(CRC32_CTX *ctx, const unsigned char *data, unsigned int len);
void CRC32_Final(CRC32_CTX *ctx, unsigned int *md);

#endif  /* __CRC32_H__ */

源文件 crc32.c

#include <stdio.h>
#include <stdint.h>
#include "crc32.h"

#define POLYNOMIAL 0xEDB88320

uint32_t crc32_tbl[256];

void generate_crc32_table() {
    for (uint32_t i = 0; i < 256; i++) {
        uint32_t crc = i;
        for (uint32_t j = 0; j < 8; j++) {
            if (crc & 1) {
                crc = (crc >> 1) ^ POLYNOMIAL;
            } else {
                crc >>= 1;
            }
        }
        crc32_tbl[i] = crc;
    }
}

void CRC32_Init(CRC32_CTX *ctx) {
    ctx->crc = 0xFFFFFFFF;
}

void CRC32_Update(CRC32_CTX *ctx, const unsigned char *data, unsigned int len) {
    while (len--) {
        ctx->crc = (ctx->crc >> 8) ^ crc32_tbl[(ctx->crc ^ *data++) & 0xFF];
    }
}

void CRC32_Final(CRC32_CTX *ctx, unsigned int *md) {
    ctx->crc ^= 0xFFFFFFFF;
    *md = ctx->crc;
}

uint32_t crc32(const uint8_t *data, size_t len) {
    uint32_t crc = 0xFFFFFFFF;
    while (len--) {
        crc = (crc >> 8) ^ crc32_tbl[(crc ^ *data++) & 0xFF];
    }
    return crc ^ 0xFFFFFFFF;
}

int main() {
    generate_crc32_table();

    const uint8_t data[] = "123456789";
    uint32_t crc = crc32(data, sizeof(data) - 1);
    printf("CRC32: %08X\n", crc);

    return 0;
}

详细解释

1. 头文件声明：

   • 定义一个 CRC32_CTX 结构体，用于存储CRC计算的上下文。
   • 声明初始化、更新和最终计算CRC值的函数。

2. 生成CRC32表：

   • generate_crc32_table 函数遍历所有可能的字节值（0-255），并根据多项式 0xEDB88320 生成CRC值，存储在 crc32_tbl 中。

3. 初始化CRC值：

   • CRC32_Init 函数将CRC值初始化为 0xFFFFFFFF。

4. 更新CRC值：

   • CRC32_Update 函数遍历数据的每个字节，根据当前CRC值和数据字节查表并更新CRC值。

5. 最终计算CRC值：

   • CRC32_Final 函数将CRC值与 0xFFFFFFFF 进行异或，得到最终的校验码。

6. 计算数据的CRC值：

   • crc32 函数是一个方便的封装函数，直接计算给定数据的CRC值。
   • main 函数演示了如何生成CRC32表并计算字符串 “123456789” 的CRC值。

总结

CRC32 校验是一种高效的错误检测方法，通过使用预生成的查找表和特定的生成多项式，可以快速计算数据的CRC校验码。上述代码展示了生成CRC32表、初始化和更新CRC值以及最终计算CRC值的具体实现过程。生成多项式 0x04C11DB7 的选择是经过理论分析和实践验证的结果，确保了其高效的错误检测能力。通过将CRC校验值附加到数据末尾，可以在接收端重新计算CRC值并与接收到的CRC值进行比较，从而检测数据传输或存储过程中的错误。