Adler-32是Mark Adler提出的一种校验和算法,与同等长度的CRC校验算法相比,它具有更好的执行效率。与此同时,它比Fletcher-16可靠,但稍逊于Fletcher-32。
Adler-32通过求解两个16位的数值A、B实现,并将结果连结成一个32位整数(不过,Adler-32算法也有其弱点,那就是对于较短的消息其结果未必可靠。)。其算法描述如下:
A = 1 + D1 + D2 + ... + Dn (mod 65521)
B = (1 + D1) + (1 + D1 + D2) + ... + (1 + D1 + D2 + ... + Dn) (mod 65521)
= n×D1 + (n-1)×D2 + (n-2)×D3 + ... + Dn + n (mod 65521)
Adler-32(D) = B × 65536 + A
在en.Wiki中有他的案例,如:
C语言简易实现如下:
const int MOD_ADLER = 65521;
uint32_t adler32(unsigned char *data, int32_t len) /* where data is the location of the data in physical memory and len is the length of the data in bytes */
{
uint32_t a = 1, b = 0;
int32_t index;
/* Process each byte of the data in order */
for (index = 0; index < len; ++index)
{
a = (a + data[index]) % MOD_ADLER;
b = (b + a) % MOD_ADLER;
}
return (b << 16) | a;
}
对于Java语言,有一个叫做Adler32的类,实现了此算法,不过,当中的核心函数是用了native关键字,表明该实现是在JVM的底层中进行的。
☆说起来,在FFMPEG项目中,是按照这样的原型给出的:
unsigned long av_adler32_update(unsigned long adler, const uint8_t *buf, unsigned int len) av_pure;
相比之下多了adler这个数,并且在函数的具体实现中,有DOT这样的宏转换。
#define DO1(buf) { s1 += *buf++; s2 += s1; }
#define DO4(buf) DO1(buf); DO1(buf); DO1(buf); DO1(buf);
#define DO16(buf) DO4(buf); DO4(buf); DO4(buf); DO4(buf);
可以看出在libavutil下面FFMPEG根据需要对adler32算法有了一些自己的改进。