格格党

手机浏览器扫描二维码访问

第308章 迷雾中的眼睛（第1页）

王磊发现算法漏洞的那天，是六月七号，高考第一天。

凌晨三点，他趴在实验室的桌子上睡着了，梦里全是数学公式。

突然惊醒，电脑屏幕还亮着，上面是昨天晚上写的代码——逻辑验证模块的一个子函数。

他盯着那几行代码，总觉得哪里不对。

揉了揉眼睛，重新看。

这是一个递归函数，用来检查电路网表的一致性。

输入是节点的连接关系，输出是真或假。

算法本身没问题，但……王磊拿起笔，在草稿纸上画了个简单的例子：三个节点，两两相连。

代入函数，计算。

第一次递归，真。

第二次递归，真。

第三次……他的笔停住了。

函数陷入死循环——因为三个节点形成环，递归无法终止。

这是一个边界情况，出现的概率极低，但理论上存在。

而在芯片设计中，一旦出现，整个验证流程会卡死，不报错，不退出，就像掉进无底洞。

王磊的心脏怦怦跳。

他赶紧写了个测试程序，模拟各种极端情况。

运行了半小时，果然，在模拟到第七万三千四百五十一种拓扑结构时，程序卡死了。

漏洞。

一个隐藏极深的漏洞。

如果是平时发现，他会很高兴——又解决了一个隐患。

但现在，他的心情复杂。

因为这个漏洞所在的模块，正是李锐负责开发的。

而李锐，带着这个模块的代码，去了美国。

王磊看了一眼时间，凌晨三点半。

他犹豫了几秒，然后拿起电话，拨通了吴思远的宿舍号码。

电话响了很久才接起，吴思远的声音带着睡意：“喂？”

“吴工，是我，王磊。

我发现了一个漏洞……”

听完王磊的描述，吴思远彻底清醒了：“你确定？”

“确定。

测试程序跑了三十遍，每次都复现。”

电话那头沉默。

王磊能听到吴思远呼吸的声音。

“李锐知道这个漏洞吗？”

吴思远问。