第107章 三十二个证人（1 / 7）

  江临原来的计划是，是把这些长远问题全部封存，留待即將到来的废土时间去解决。

  但是回到家里，夜深人静，整个人一空閒下来，就还是忍不住把陈启明给的压缩包拖进电脑的工作目录里。

  microkernel_rank_sort_。

  右键，解压。

  文件夹在屏幕的树状图里一层层铺开，其內部结构的整洁程度，比江临原本想像的要乾净得多。

  根目录下躺著三个子文件夹。

  江临点开/baseline

  里面赫然是三套经典的微內核基础算法的基准实现：rank5（五元素求秩）、sort5（五元素完全排序）、top3_of_8（八元素选前三）。

  每一套算法，陈启明都严谨地给出了两份截然不同的代码。

  一份是没有任何底层优化的纯c语言可读版本，用来锚定逻辑正確性。

  另一份，则是陈启明团队经过多年打磨的手写极限优化版。

  江临扫了一眼，后者的代码里充斥著晦涩的编译器內联提示，强制循环展开，以及少量依赖特定cpu令集的平台相关写法。

  江临退出来，点开/verify。

  里面是几十个详尽的验证脚本，涵盖了各种极端的边界测试用例。

  最后是那个最让系统工程师头皮发麻的/bench（性能测试）文件夹。