第108章 降维解构（2/2）
直到裴礪走过来。
“架构切开不难，难的是切开之后別漏血。”
他走到屏幕前，指著第二层验证器。
“你的零一验证器证明的是pare-exge网络。可我的超优化器吐出来的东西，不一定老老实实长成比较器。它可能是ov，可能是blend，可能是psd，也可能靠某种未定义行为省一条指令。”
“你怎么证明这些脏东西，真的等价於你抽象层里的pare-exge”
“所以零一验证器只是第一道门。”
江临拿起马克笔在一旁的白板上写下五行字。
抽象网络。
原语语义。
源码实现。
二进位等价。
微架构代价。
“你卡了三年的，不是一块铁板，而是五层东西混在一起，我们得先把它拆开。”
乔越在一旁张大了嘴巴，目光在裴礪和江临之间来回游移。
直到这一刻，他才具象地意识到，眼前这个总是带著平静神情的少年，绝对不仅仅是数学非常厉害那么简单。
他还拥有著对复杂工程进行降维解构的恐怖直觉。
“陈老师，在开始实际搜索之前，我必须先向您確认一个工程上的约束条件。”江临却没有沉浸在旁人的惊嘆中，而是迅速將话题拉回了最硬核的实操层面，“您团队需求的这个sort5，它的核心诉求是单发延迟敏感，还是批量吞吐敏感”
陈启明闻言，微微一怔。
乔越几乎是下意识地接话道：“快不就是快吗，时间短了自然就快了，这还分……”
话刚说了一半，乔越自己就卡壳了，他隱约察觉到自己可能暴露出了底层的认知盲区。
“这两者在现代微架构上，截然不同。”
替乔越把话补全的，是裴礪，语气中带著复杂的感慨。
“如果你一次只排一组五个数字，要求这组数据从输入到输出的时间最短，那么你追求的是最低的延迟。但如果你面对的是海量数据，比如一天要排上亿组，你的目標是单位时间內能处理多少组数据。在现代cpu那些复杂的乱序执行和超標量流水线上，这两个目標往往是互斥的。”
裴礪深深地看了江临一眼。
这个问题，即使是在他们这个专门搞系统底层的课题组里，也鲜少有人在写代码前正经八百地提出来討论过。
所有人在面对优化这个词时，都默认了单一维度的快。
然后下意识去死抠比较器的绝对数量，去计较少写了一条汇编指令。
然而，在拥有多个a埠、复杂分支预测和重排序缓衝区的现代处理器上，最少的指令条数，並不意味著最高的吞吐量。
“我们要跑在批处理的场景里，看重的是极限吞吐。”陈启明没有任何犹豫，直接给出了定调。
“那就好办了。”
江临点了点头，將代价评估后端的配置文件打开，掛上了陈启明之前提供的机器a的硬体埠爭用模型数据。
“我把搜索目標明確设定为最大化吞吐量，然后，在这个特定模型下跑一个受限空间內的定向搜索。”
江临並没有启动全量搜索。
全量搜索整个指令状態空间，在没有算力集群支撑的情况下，是一个需要在算力废土里用几十年的时间去慢慢熬的浩大工程。
他仅仅是在一个被严密数学剪枝后的极窄范围內，让这套三层架构运转了不到五分钟。
工作站的散热风扇发出一阵短暂而急促的轰鸣后，屏幕上吐出了一排排新鲜出炉的候选结果。
“陈老师，您看一下。”
江临调出內置的对比工具，將两段代码並排展示。
“这里头排在第一梯队的，有一个排序网络，它的拓扑结构跟您团队耗费数月手工调优出来的那一版，几乎完全吻合。这个结果首先印证了一点，您团队在底层优化的手艺没有任何毛病。在人类能够凭藉直觉和经验触及的边界內，你们確实已经摸到了比较器数量最优的那一档基准线。”
听到这番话，陈启明紧绷的脸色终於舒缓了许多。
“但是，请看这一个。”江临的滑鼠向下滑动，点开了另一个评分稍高的候选方案，“这套方案的比较器数量同样是九个，一个都不比你们的多，也没有减少。可是它將这九个比较器的指令排布顺序，进行了一种看似反直觉的错位编排。这种错位，恰好避开了机器a在特定周期內的a埠资源拥堵。”
“在机器a上，並且仅仅是在机器a的微架构下，它的极限吞吐量，比你们手工调优的那一版，快了不到百分之三。”
百分之三。
在日常应用的软体开发中，这是一个小到几乎不值一提，很容易就会被环境噪声轻易淹没的数字。
然而裴礪一言不发，在一旁的副屏上调出自己的终端环境，將江临搜索出的那段甚至没有加任何注释的候选代码拷贝了进去。
他亲自动手掛上编译器，开启最高级別的优化选项，连接上lux內置的perf性能分析工具，屏息凝神地连跑了三遍基准测试。
然后锁cpuaffity，关掉睿频波动，把governor固定到perforance，预热缓存，perfstat-r50连跑五十组。
他盯著cycles、strus、uopsissued、branch-isses几列数字看了很久。
三十组之后，趋势还在。
五十组之后，置信区间没有压回原版。
那不到百分之三的差距，终於从噪声里站了出来。
“五分钟”裴礪指著桌上的设备，声音有些发涩，“这就只是在普通的机器上跑了五分钟的结果”
“嗯，五分钟不到，因为设定了严苛的剪枝条件。”江临平静地回答。
陈启明长长地嘆息了一声：“一个仅仅跑了五分钟的自动化受限搜索，就凭藉著针对性的硬体模型，在一个被我们翻来覆去研究过的用例上，硬生生地压过了我们整个团队手工雕琢了大半年的版本。”
一旁的乔越，此时已经完全失去了语言组织能力。
但裴礪毕竟是经歷过无数次架构失败的老兵。
短暂的震撼过后，他的眼神闪动了一下，似乎从这近乎神跡的展示中，敏锐地捕捉到了某个隱秘的破绽。
“等等，sort5终究还是太小了。五个元素的排列组合毕竟有限，靠著精妙的受限搜索，你確实可以在短时间內糊弄过去。”
裴礪紧紧盯著江临的眼睛，语速加快。
“可是，陈导真正想要铺开的，是把这套排序逻辑集成到我们整套底层数据处理內核里。我们需要一次性排八个数，十六个数，甚至更长。你比我清楚，一旦元素数量上升，底层网络的状態空间是呈指数级爆炸的。受限搜索的算力一旦撞上那面指数级的高墙，根本就顶不住。”
这是裴礪在系统架构层面，在这套优美框架上面所能想到的，可能面临的最后一次崩塌危机。
然而，江临没有显露出任何被拆穿的窘迫。
他反而十分赞同地点了点头，仿佛这一切早就在他的推演沙盘之中。
“你说得很准，所以刚才演示的这百分之三的性能提升，是机器a独占的。如果把同样的底层代码扔到微架构不同的机器b或机器c上，这个优势大概率会荡然无存，甚至可能出现负优化。”
江临顺著裴礪的话接了下去。
“这套三层架构真正的价值，並不在於此刻生成了某一段神奇的代码，而是在於那块隨时可以重定向的代价评估后端。”
江临面对著两位资深的系统研究者，语气依旧没有太多的起伏。
“此外，刚才裴师兄用perf实测出来的数字，在真实复杂的作业系统环境中，本身就是带有大量环境噪声的。缓存命中率波动，作业系统调度中断，都会导致同段代码一次跑得快，一次跑得慢。在未来的全量搜索中，代价模型必须进行反覆的模擬与抽样，取最稳健的统计学中位数，否则算法搜出来的最快，只是一座建立在沙滩上的堡垒。”
“当然，还有你刚才提到的一点，当n的规模变大时，状態空间的指数爆炸问题。”
江临看著裴礪，毫不避讳这个技术盲点。
“受限搜索和零一原理確实能轻鬆处理sort5，但绝对应付不了sort16这种量级的怪兽。要想让这套框架在你们庞大的全套微內核上跑出具有系统性顛覆的成果，我们需要更激进的剪枝算法，更贴近硅片物理特性的代价模型，以及前所未有的启发式搜索策略。从前端到后端，每一块板子，都得重新打磨。”
“这部分是块难啃的硬骨头，不可能一蹴而就，我需要一点时间去构建新的数学工具。”
江临用陈述客观事实的语气，为这场展示画上了句號。
裴礪微微张了张嘴，喉咙里发出低微的气音。
他原本准备好的，试图挽回底层工程师顏面的那一记杀招，原来早就在对方的预料之中。
物理边界的限制，性能测试的隨机噪声，以及那座似乎高不可攀的指数级运算大山。
江临一条都没有遗漏，坦诚得令人嘆服。
陈启明定定地看著站在办公桌前的江临。
这个仅仅十八岁的少年，在刚刚过去的半个小时里，用一个不容置疑的绿proved和一段压榨出百分之三性能的机器码，差点让他这个干了大半辈子底层架构的老兵，对自己团队长久以来的手艺和信念產生动摇。
然而，在取得如此压倒性优势的时刻，对方非但没有趁势將话语权全部揽走，更没有大包大揽地吹嘘未来的前景。
相反，他一条一条如履薄冰般地將这套工具现存的边界，硬体底层的客观噪声，以及那座还未翻越的数学大山，冷静地向他们剖析得一清二楚。
在这个浮躁的学术圈里，懂得炫技的人如过江之鯽。
但懂得在光芒最盛的时刻，在最该收敛的地方稳稳收住锋芒的人，凤毛麟角。
“我明白了。”
陈启明重重地点了点头，脸上的神情前所未有地郑重与肃穆。
“这件事情的意义太大，不能只靠我们俩在这个闭塞的办公室里私下拍板。关於后续的署名权，专利归属，以及联合研发的流程，我们必须走最正规最严谨的合作通道。”
“嗯。”江临表示赞同，“陈老师这边可以主导走计算机学院的行政流程。我目前的临时访问人员身份掛靠在物理学院，归陆老师负责。该向院系报备的报备，该签的保密与合作协议，我们一步一步签清楚。”
他稍微停顿了一下，补充道：“我可以先把零一验证夹具的源码授权给您做內部科研验证。它只包含五输入排序网络的0-1测试、日誌输出和接口模板，不包含候选生成器，也不包含完整ps搜索框架。授权范围，是否开源，是否用於论文和后续商业项目，我们写进协议。”
“至於那座由指数爆炸堆砌起来的大山”
江临隨手关掉了工作站上的测试屏幕，拔下那个黑色的u盘，语气平静如水。
“给我一点时间。”
一直在旁边插不上话，憋得满脸通红的乔越，直到这一刻才像是大梦初醒般回过神来。
他急吼吼地往前猛凑了两步，掏出手机：“江师兄，咱们能加个微信吗，以后在框架编译上有不懂的地方，我能隨时请教您吗”
裴礪在旁边看著自己师弟这副模样，忍不住轻嗤了一声。
隨后，他又默默转回身，將终端上那段由江临用五分钟搜出来的候选代码，再一次翻出来，盯著那几条打破常规的比较汇编指令，看第三遍。