第107章 三十二个证人（1 / 7）
江临原来的计划是，是把这些长远问题全部封存，留待即將到来的废土时间去解决。
但是回到家里，夜深人静，整个人一空閒下来，就还是忍不住把陈启明给的压缩包拖进电脑的工作目录里。
microkernel_rank_sort_baseline.zip。
右键，解压。
文件夹在屏幕的树状图里一层层铺开，其內部结构的整洁程度，比江临原本想像的要乾净得多。
根目录下躺著三个子文件夹。
江临点开/baseline
里面赫然是三套经典的微內核基础算法的基准实现：rank5（五元素求秩）、sort5（五元素完全排序）、top3_of_8（八元素选前三）。
每一套算法，陈启明都严谨地给出了两份截然不同的代码。
一份是没有任何底层优化的纯c语言可读版本，用来锚定逻辑正確性。
另一份，则是陈启明团队经过多年打磨的手写极限优化版。
江临扫了一眼，后者的代码里充斥著晦涩的编译器內联提示，强制循环展开，以及少量依赖特定cpu令集的平台相关写法。
江临退出来，点开/verify。
里面是几十个详尽的验证脚本，涵盖了各种极端的边界测试用例。
最后是那个最让系统工程师头皮发麻的/bench（性能测试）文件夹。
里面只有一份原始的.csv格式的性能计数统计表。
这张表是在三台底层微架构完全不同的企业级伺服器上，经过漫长的马拉松式压测跑出来的。
江临將表格放大。
行末密密麻麻地標註著测试环境的绝对变量：cpu 型號，微码更新版本號，l1/l2缓存的命中率，分支预测失败率，以及频率是否强制锁定。
频率强制锁定这一项让江临颇为讚许。
现代商用cpu都会狡猾地根据温度和负载，动態调整时钟频率。
在进行这种纳米秒级別的內核代码测试时，哪怕cpu的频率发生了一次轻微的抖动，都会导致测试出的时钟周期出现巨大的噪声，从而彻底掩盖掉代码优化带来的那一两纳秒的真实提升。
陈启明那帮人不仅清楚这一点，还暴力地在bios层面锁死了频率。
光这一张数据表就无声地证明了，陈启明这帮人，是真正懂行的老手。
他们已经把人类能够手动控制的变量，极致地推到了物理的极限。
这就有意思了。
江临决定先从看起来最最基础的sort5开始解剖。
题面很简单：给定五个隨机的整数，將它们按从小到大的顺序排列好。
任何一个学会写for循环和if语句的新手，都能在短暂的三分钟內，交出一段基於两层嵌套循环的冒泡排序或者插入排序代码。
当然，这仅仅只是能跑通的玩具。 ↑返回顶部↑
但是回到家里，夜深人静，整个人一空閒下来，就还是忍不住把陈启明给的压缩包拖进电脑的工作目录里。
microkernel_rank_sort_baseline.zip。
右键，解压。
文件夹在屏幕的树状图里一层层铺开，其內部结构的整洁程度，比江临原本想像的要乾净得多。
根目录下躺著三个子文件夹。
江临点开/baseline
里面赫然是三套经典的微內核基础算法的基准实现：rank5（五元素求秩）、sort5（五元素完全排序）、top3_of_8（八元素选前三）。
每一套算法，陈启明都严谨地给出了两份截然不同的代码。
一份是没有任何底层优化的纯c语言可读版本，用来锚定逻辑正確性。
另一份，则是陈启明团队经过多年打磨的手写极限优化版。
江临扫了一眼，后者的代码里充斥著晦涩的编译器內联提示，强制循环展开，以及少量依赖特定cpu令集的平台相关写法。
江临退出来，点开/verify。
里面是几十个详尽的验证脚本，涵盖了各种极端的边界测试用例。
最后是那个最让系统工程师头皮发麻的/bench（性能测试）文件夹。
里面只有一份原始的.csv格式的性能计数统计表。
这张表是在三台底层微架构完全不同的企业级伺服器上，经过漫长的马拉松式压测跑出来的。
江临將表格放大。
行末密密麻麻地標註著测试环境的绝对变量：cpu 型號，微码更新版本號，l1/l2缓存的命中率，分支预测失败率，以及频率是否强制锁定。
频率强制锁定这一项让江临颇为讚许。
现代商用cpu都会狡猾地根据温度和负载，动態调整时钟频率。
在进行这种纳米秒级別的內核代码测试时，哪怕cpu的频率发生了一次轻微的抖动，都会导致测试出的时钟周期出现巨大的噪声，从而彻底掩盖掉代码优化带来的那一两纳秒的真实提升。
陈启明那帮人不仅清楚这一点，还暴力地在bios层面锁死了频率。
光这一张数据表就无声地证明了，陈启明这帮人，是真正懂行的老手。
他们已经把人类能够手动控制的变量，极致地推到了物理的极限。
这就有意思了。
江临决定先从看起来最最基础的sort5开始解剖。
题面很简单：给定五个隨机的整数，將它们按从小到大的顺序排列好。
任何一个学会写for循环和if语句的新手，都能在短暂的三分钟內，交出一段基於两层嵌套循环的冒泡排序或者插入排序代码。
当然，这仅仅只是能跑通的玩具。 ↑返回顶部↑