手机浏览器扫描二维码访问
王磊发现算法漏洞的那天,是六月七号,高考第一天。
凌晨三点,他趴在实验室的桌子上睡着了,梦里全是数学公式。
突然惊醒,电脑屏幕还亮着,上面是昨天晚上写的代码——逻辑验证模块的一个子函数。
他盯着那几行代码,总觉得哪里不对。
揉了揉眼睛,重新看。
这是一个递归函数,用来检查电路网表的一致性。
输入是节点的连接关系,输出是真或假。
算法本身没问题,但……王磊拿起笔,在草稿纸上画了个简单的例子:三个节点,两两相连。
代入函数,计算。
第一次递归,真。
第二次递归,真。
第三次……他的笔停住了。
函数陷入死循环——因为三个节点形成环,递归无法终止。
这是一个边界情况,出现的概率极低,但理论上存在。
而在芯片设计中,一旦出现,整个验证流程会卡死,不报错,不退出,就像掉进无底洞。
王磊的心脏怦怦跳。
他赶紧写了个测试程序,模拟各种极端情况。
运行了半小时,果然,在模拟到第七万三千四百五十一种拓扑结构时,程序卡死了。
漏洞。
一个隐藏极深的漏洞。
如果是平时发现,他会很高兴——又解决了一个隐患。
但现在,他的心情复杂。
因为这个漏洞所在的模块,正是李锐负责开发的。
而李锐,带着这个模块的代码,去了美国。
王磊看了一眼时间,凌晨三点半。
他犹豫了几秒,然后拿起电话,拨通了吴思远的宿舍号码。
电话响了很久才接起,吴思远的声音带着睡意:“喂?”
“吴工,是我,王磊。
我发现了一个漏洞……”
听完王磊的描述,吴思远彻底清醒了:“你确定?”
“确定。
测试程序跑了三十遍,每次都复现。”
电话那头沉默。
王磊能听到吴思远呼吸的声音。
“李锐知道这个漏洞吗?”
吴思远问。
关于凶灵秘闻录一处诡异空间隐藏着太多谜团,这里充满危险,遍布危机,死亡无处不在,而凡是进入这里的人只会存在一种念头,那就是活下去!(书友,126871809)...
元执第一次遇见宋积云的时候,宋积云在和她的乳兄谋夺家业元执第二次遇见宋积云的时候,宋积云在和她的乳兄栽赃陷害别人元执第三次遇见宋积云的时候,宋积云那个乳兄终于不在她身边了,可她却在朝他的好兄弟抛媚眼士可忍,他不能忍。元执决定以身饲虎,收了宋积云这妖女!...
关于沧海正道商道即人道,情道即世道。商海浮沉,世道沧桑。追爱的女人前仆后继,受伤的女人接二连三,一个人背井离乡,没有牵绊,没有约束,杀伐果断。一手握着正道,一手拿着屠刀...
...
关于巫医传人!穿成废柴嫡女逆天改命江婉是22世纪巫医传人,出车祸后穿越到了北晋国一个样貌丑陋的嫡女的身上。别人说她丑超强医术治好体内多年的暗毒,绝美容颜惊艳旁人,一举成为京城第一美女。别人说她蠢琴棋书画样样精通,医毒蛊占卜暗器不在话下。当朝皇子心仪于她,她不嫁!巨贾求娶于她,老娘比你有钱!皇上让她当将军,她就果断拿下敌国,意外把空间升级成超能街区。各国权贵巴结她,她视若无睹,一心搞钱搞事业,带着百姓发家致富。...
斗破乾坤龙王求亲排队...