第107章 三十二个证人（7 / 7）
不过关的直接打回。
这就是地基。
第二样，是一份边界说明文档。
他把陈启明面临的混沌问题，一分为二。
第一层，是纯组合层面的理论目標。
比较器的总数能不能更少？
依赖链的层数能不能更浅？
对sort5这种规模的小问题，江临承诺，他可以用他的mps框架，把这一层的所有理论最优解完整摸清，连根拔起。
但他也直言不讳地指出，面对更大的n（比如16、32），哪怕是mps，依然会在算力面前发生组合爆炸。
必须引入启发式剪枝。
第二层，是与具体物理硬体绑定的微架构最优。
也就是在陈启明指定的某一台伺服器上，把延迟压到最低。
这一层，需要陈启明的实测夹具，需要海量的候选代码去真机里跑统计。
工作量极大，需要时间。
这绝非现实世界里加几个通宵的班就能够解决的问题。
他会把整套mps-kernel的框架，搬进废土里去打磨。
在那里，他有几十年，去把搜索框架，剪枝策略，代价模型一寸一寸地养肥，调通，跑稳。
当然，前哨站里那台工作站，是他从现实背进去的特定机器。
它跑出来的最快，只是那台机器上的最快。
陈启明的目標，是另外几台型號完全不同的伺服器。
微架构一换，最优解就不一样。
所以，废土那几十年，他真正能带回来的，不会是某一段在废土硬体上飞快的代码。
而是一套被反覆打磨调试，验证过的超级搜索框架，一套成熟的代价建模方法论，外加一个经过数学验证和现实实测双重筛选的候选网络结构库。
如此计划妥当，江临將打包好的文档和脚本重命名为j_mps_phase1_deliverables.zip。
窗外天光已经泛白，江城那场憋了一夜的雨，到底没落下来。 ↑返回顶部↑
这就是地基。
第二样，是一份边界说明文档。
他把陈启明面临的混沌问题，一分为二。
第一层，是纯组合层面的理论目標。
比较器的总数能不能更少？
依赖链的层数能不能更浅？
对sort5这种规模的小问题，江临承诺，他可以用他的mps框架，把这一层的所有理论最优解完整摸清，连根拔起。
但他也直言不讳地指出，面对更大的n（比如16、32），哪怕是mps，依然会在算力面前发生组合爆炸。
必须引入启发式剪枝。
第二层，是与具体物理硬体绑定的微架构最优。
也就是在陈启明指定的某一台伺服器上，把延迟压到最低。
这一层，需要陈启明的实测夹具，需要海量的候选代码去真机里跑统计。
工作量极大，需要时间。
这绝非现实世界里加几个通宵的班就能够解决的问题。
他会把整套mps-kernel的框架，搬进废土里去打磨。
在那里，他有几十年，去把搜索框架，剪枝策略，代价模型一寸一寸地养肥，调通，跑稳。
当然，前哨站里那台工作站，是他从现实背进去的特定机器。
它跑出来的最快，只是那台机器上的最快。
陈启明的目標，是另外几台型號完全不同的伺服器。
微架构一换，最优解就不一样。
所以，废土那几十年，他真正能带回来的，不会是某一段在废土硬体上飞快的代码。
而是一套被反覆打磨调试，验证过的超级搜索框架，一套成熟的代价建模方法论，外加一个经过数学验证和现实实测双重筛选的候选网络结构库。
如此计划妥当，江临將打包好的文档和脚本重命名为j_mps_phase1_deliverables.zip。
窗外天光已经泛白，江城那场憋了一夜的雨，到底没落下来。 ↑返回顶部↑