第118章 大杀器（1 / 4）
宿主大人，新的剧情任务已开启。
💎 自动续章
开启后章尾自动进入下一项剧情任务
💎 开启系统续章
剧情到底自动跳转，宿主不必手动操作。
第二张图，是的工具链图。
关於软体与底层微內核的博弈，是从废土第五年正式打响的。
江临没有再碰sort5。
那个问题已经在陈启明的办公室里演示过。
办公室那半个小时的惊艷，解决的仅仅是学术界最基础的问题：“这条路在理论上能不能走通？”
第九次废土要解决的，是：“这套系统，到底能不能放大？”
现实总是毫不留情。
第一版试图规模化的搜索器，在第六年迎来了轰轰烈烈的全面崩溃。
系统崩溃的原因，並非零一验证器证明速度太慢，也不是他建立的硬体代价模型不够精確。
而是候选指令还没有来得及排队进入验证器，前端的生成器就已经因为组合爆炸，將状態空间膨胀到了一个工作站內存根本无法承受的黑洞级別。
sort8还能靠著压榨交换文件的i/o勉强跑完。
可一旦触及median9，状態树就开始扭曲变形。
等他试著展开一个哪怕附加了限制条件的top-k小內核时，生成器吐出的垃圾候选代码在几个小时內把几块tb级企业硬碟彻底写满，交换分区被打穿，日誌系统开始报错，最终进程被oom killer杀掉，工作站在持续i/o雪崩中卡死。
这次失败，不仅没有让江临沮丧，反而让他感到兴奋。
裴礪的判断是精准的。