循环冗余校验中的Adler32算法并没有所说的那么可靠

Adler32已经在很多地方替代了CRC32, 比如Zip

宣称跟CRC32一样可靠而且速度快很多

速度快是可以说得过去,不过使用余式表的CRC32速度也慢不到哪里去,而重要的是可靠性

先看下Adler32的算法(选自V32.dll,游侠基础类库)

V32NAKED VIU V32CALL V32Adler(PCRC32 lpEnv, PVI0 lpVoid, VIU dwSize)
{
//a = 1, b = 0;
//for(index = 0; index < len; ++index)
//{
// a = (a + data[index]) % MOD_ADLER;
// b = (b + a) % MOD_ADLER;
//}
//return (b << 16) | a;

_asm{
push edi
push esi
push ebx
...
pop ebx
pop esi
pop edi
ret 0ch
}
}
(基础类库有关汇编源码目前仍然保密,因此略掉, 实现的与C/C++注释功能相同)
那么问题来了:

V32Adler("0x0201") == 0x0565016C

V32Adler("0x0120") == 0x0565016C

两者居然一样, 相同的长度, 相同的字节内容, 仅仅是顺序不同.
就因为它让我调试了几个小时, 最终一路排除到它.